About: Loop variant

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Decreasing function used to proof termination of a loop

Property	Value
dbo:description	decreasing function used to proof termination of a loop (en) monoton fallende Funktion, die benutzt werden kann, um zu beweisen, dass eine Schleife terminiert (de)
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbr:State_(computer_science) dbr:Transfinite_number dbc:Formal_methods dbr:Function_(mathematics) dbr:Integer dbr:Universal_quantification dbr:Gödel's_incompleteness_theorems dbr:Termination_analysis dbc:Control_flow dbr:Μ_operator dbr:Halting_problem dbr:Order_type dbr:For_loop dbr:Transfinite_induction dbr:While_loop dbr:Descending_chain_condition dbr:C_(programming_language) dbr:Computer_science dbr:Recursion_(computer_science) dbr:Kurt_Gödel dbr:Correctness_(computer_science) dbr:Pseudocode dbr:Computational_complexity_theory dbr:Well-founded_relation dbr:Well-order dbr:Large_countable_ordinal dbr:Partial_order dbr:Loop_invariant dbr:Turing_machine dbr:Axiom_of_choice dbr:Predicate_transformer_semantics dbr:Infinite_descending_chain dbr:First_uncountable_ordinal dbr:Ackermann's_function dbr:Μ-recursive_function dbr:Tractable_problem dbr:Floyd–Hoare_logic dbr:Partial_correctness
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Math dbt:Var dbt:Mvar dbt:Tmath
dct:subject	dbc:Formal_methods dbc:Control_flow
gold:hypernym	dbr:Function
rdfs:label	Loop variant (en)
owl:sameAs	yago-res:Loop variant freebase:Loop variant wikidata:Loop variant dbpedia-global:Loop variant
prov:wasDerivedFrom	wikipedia-en:Loop_variant?oldid=1040388185&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Loop_variant
is dbo:wikiPageRedirects of	dbr:Bound_function
is dbo:wikiPageWikiLink of	dbr:Minkowski's_question-mark_function dbr:Control_flow dbr:Termination_analysis dbr:For_loop dbr:Recursion_(computer_science) dbr:Bound_function dbr:Hoare_logic dbr:Loop_invariant dbr:Microsoft_and_open_source dbr:Dafny
is foaf:primaryTopic of	wikipedia-en:Loop_variant