Logic Model Analysis
A logic model is a systematic, visual representation of how a program is understood to work: it lays out the logical relationships among the resources invested (inputs), the things done (activities), the products of those activities (outputs), and the changes expected to follow (outcomes and impact). Logic model analysis is the practice of building, examining and using these models to plan programs, guide implementation, and structure evaluation. Popularised by the United Way and codified in the W.K. Kellogg Foundation's widely used 2004 Logic Model Development Guide, it has become the workhorse framework of program planning and evaluation.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.