Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International