Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Occurs_check> ?p ?o }
Showing triples 1 to 52 of
52
with 100 triples 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 wikiPageID "1063946".
- Occurs_check wikiPageLength "4882".
- Occurs_check wikiPageOutDegree "21".
- Occurs_check wikiPageRevisionID "673381417".
- Occurs_check wikiPageWikiLink Algorithm.
- Occurs_check wikiPageWikiLink Automated_theorem_proving.
- Occurs_check wikiPageWikiLink Category:Automated_theorem_proving.
- Occurs_check wikiPageWikiLink Category:Logic_programming.
- Occurs_check wikiPageWikiLink Category:Programming_constructs.
- Occurs_check wikiPageWikiLink Category:Unification_(computer_science).
- Occurs_check wikiPageWikiLink Computer_science.
- Occurs_check wikiPageWikiLink Conjunctive_normal_form.
- Occurs_check wikiPageWikiLink First-order_logic.
- Occurs_check wikiPageWikiLink Herbrand_universe.
- Occurs_check wikiPageWikiLink Inference.
- Occurs_check wikiPageWikiLink Prolog.
- Occurs_check wikiPageWikiLink Rational_tree_unification.
- Occurs_check wikiPageWikiLink Resolution_(logic).
- Occurs_check wikiPageWikiLink SWI-Prolog.
- Occurs_check wikiPageWikiLink Skolem_function.
- Occurs_check wikiPageWikiLink Skolem_normal_form.
- Occurs_check wikiPageWikiLink Soundness.
- Occurs_check wikiPageWikiLink Term_algebra.
- Occurs_check wikiPageWikiLink Theorem_proving.
- Occurs_check wikiPageWikiLink Unification_(computer_science).
- Occurs_check wikiPageWikiLink XSB.
- Occurs_check wikiPageWikiLink File:Example_for_syntactic_unification_without_occurs_check_leading_to_infinite_tree_svg.svg.
- Occurs_check wikiPageWikiLinkText "Occurs check".
- Occurs_check wikiPageWikiLinkText "occurs check".
- Occurs_check hasPhotoCollection Occurs_check.
- Occurs_check wikiPageUsesTemplate Template:Cite_journal.
- Occurs_check wikiPageUsesTemplate Template:FOLDOC.
- Occurs_check wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Part.
- Occurs_check type Concept.
- Occurs_check type Method.
- Occurs_check type Proof.
- 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 sameAs Occurs_check.
- Occurs_check sameAs m.042tj0.
- Occurs_check sameAs Q1664622.
- Occurs_check sameAs Q1664622.
- Occurs_check wasDerivedFrom Occurs_check?oldid=673381417.
- Occurs_check depiction Example_for_syntactic_unification_without_occurs_check_leading_to_infinite_tree_svg.svg.
- Occurs_check isPrimaryTopicOf Occurs_check.