About: Least fixed point

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Smallest fixed point of a function from a poset

Property	Value
dbo:description	Smallest fixed point of a function from a poset (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Puntos_fijos.svg?width=300
dbo:wikiPageWikiLink	dbr:Fixed-point_logic dbr:File:Puntos_fijos.svg dbr:File:ScottDomain_svg.svg dbr:Fixed_point_(mathematics) dbr:Function_(mathematics) dbr:Real_number dbr:First-order_logic dbr:Set_(mathematics) dbr:Parity_(mathematics) dbr:Knaster–Tarski_theorem dbr:Fixed-point_theorem dbr:Mathematics dbr:Directed_graph dbr:Domain_theory dbr:Empty_string dbr:Denotational_semantics dbr:C_(programming_language) dbr:Computer_science dbc:Order_theory dbr:Neil_Immerman dbr:Intersection_(set_theory) dbr:Power_set dbr:Kleene_fixed-point_theorem dbr:Linear_order dbr:Context-free_grammar dbr:Maximal_element dbr:Strongly_connected_component dbr:Partially_ordered_set dbr:P_(complexity) dbc:Fixed_points_(mathematics) dbr:Order_theory dbr:Leonid_Libkin dbr:Descriptive_Complexity dbr:Moshe_Y._Vardi dbr:Corecursive dbr:Descriptive_complexity dbr:FO(LFP) dbr:Recursive
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Sqrt dbt:Short_description
dct:subject	dbc:Order_theory dbc:Fixed_points_(mathematics)
gold:hypernym	dbr:Point
rdfs:label	Least fixed point (en) 最小不動点 (ja) 最小不动点 (zh)
owl:sameAs	freebase:Least fixed point wikidata:Least fixed point dbpedia-zh:Least fixed point dbpedia-ja:Least fixed point dbpedia-global:Least fixed point dbr:Least fixed point
prov:wasDerivedFrom	wikipedia-en:Least_fixed_point?oldid=1289693989&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Puntos_fijos.svg wiki-commons:Special:FilePath/ScottDomain_svg.svg
foaf:isPrimaryTopicOf	wikipedia-en:Least_fixed_point
is dbo:wikiPageDisambiguates of	dbr:LFP
is dbo:wikiPageRedirects of	dbr:Greatest_fixed_point dbr:Greatest_fixpoint dbr:Least_fixpoint
is dbo:wikiPageWikiLink of	dbr:Predicative_programming dbr:Fixed_point_(mathematics) dbr:Knaster–Tarski_theorem dbr:F-algebra dbr:Modal_μ-calculus dbr:LFP dbr:Serge_Abiteboul dbr:Domain_theory dbr:Descriptive_complexity_theory dbr:Initial_algebra dbr:Denotational_semantics dbr:Programming_Computable_Functions dbr:Kleene_fixed-point_theorem dbr:Unifying_Theories_of_Programming dbr:Zipper_(data_structure) dbr:P_(complexity) dbr:Finite_model_theory dbr:Second-order_logic dbr:Greatest_fixed_point dbr:Logic_of_graphs dbr:Grigore_Roșu dbr:Victor_Vianu dbr:Widening_(computer_science) dbr:Descriptive_Complexity dbr:Greatest_fixpoint dbr:Least_fixpoint
is foaf:primaryTopic of	wikipedia-en:Least_fixed_point