Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Unification_(computer_science)> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Category:Unification_(computer_science) wikiPageID "39298486".
- Category:Unification_(computer_science) wikiPageRevisionID "553484112".
- Category:Unification_(computer_science) type Concept.
- Category:Unification_(computer_science) label "Unification (computer science)".
- Category:Unification_(computer_science) sameAs Q13299555.
- Category:Unification_(computer_science) sameAs Q13299555.
- Category:Unification_(computer_science) broader Category:Automated_theorem_proving.
- Category:Unification_(computer_science) broader Category:Logic_in_computer_science.
- Category:Unification_(computer_science) broader Category:Logic_programming.
- Category:Unification_(computer_science) broader Category:Rewriting_systems.
- Category:Unification_(computer_science) broader Category:Type_inference.
- Category:Unification_(computer_science) prefLabel "Unification (computer science)".
- Category:Unification_(computer_science) wasDerivedFrom Category:Unification_(computer_science)?oldid=553484112.