Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Occurs_check> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Occurs_check abstract "In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a variable V and a structure S to fail if S contains V.".
- Occurs_check thumbnail Example_for_syntactic_unification_without_occurs_check_leading_to_infinite_tree_svg.svg?width=300.
- Occurs_check wikiPageExternalLink 2366A.pdf.
- Occurs_check wikiPageID "1063946".
- Occurs_check wikiPageRevisionID "593315755".
- Occurs_check hasPhotoCollection Occurs_check.
- Occurs_check subject Category:Automated_theorem_proving.
- Occurs_check subject Category:Logic_programming.
- Occurs_check subject Category:Programming_constructs.
- Occurs_check subject Category:Unification_(computer_science).
- Occurs_check type Abstraction100002137.
- Occurs_check type Cognition100023271.
- Occurs_check type Concept105835747.
- Occurs_check type Content105809192.
- Occurs_check type Idea105833840.
- Occurs_check type ProgrammingConstructs.
- Occurs_check type PsychologicalFeature100023100.
- Occurs_check comment "In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a variable V and a structure S to fail if S contains V.".
- Occurs_check label "Occurs check".
- Occurs_check label "Occurs check".
- Occurs_check sameAs Occurs_check.
- Occurs_check sameAs m.042tj0.
- Occurs_check sameAs Q1664622.
- Occurs_check sameAs Q1664622.
- Occurs_check sameAs Occurs_check.
- Occurs_check wasDerivedFrom Occurs_check?oldid=593315755.
- Occurs_check depiction Example_for_syntactic_unification_without_occurs_check_leading_to_infinite_tree_svg.svg.
- Occurs_check isPrimaryTopicOf Occurs_check.
