Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dis-unification_(computer_science)> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- Dis-unification_(computer_science) abstract "Dis-Unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.".
- Dis-unification_(computer_science) wikiPageExternalLink Comon.Hubert_1988_these.pdf.
- Dis-unification_(computer_science) wikiPageExternalLink disunification.ps.
- Dis-unification_(computer_science) wikiPageID "39813016".
- Dis-unification_(computer_science) wikiPageLength "3112".
- Dis-unification_(computer_science) wikiPageOutDegree "20".
- Dis-unification_(computer_science) wikiPageRevisionID "647290238".
- Dis-unification_(computer_science) wikiPageWikiLink Anti-unification_(computer_science).
- Dis-unification_(computer_science) wikiPageWikiLink Category:Logic_programming.
- Dis-unification_(computer_science) wikiPageWikiLink Category:Theoretical_computer_science.
- Dis-unification_(computer_science) wikiPageWikiLink Category:Unification_(computer_science).
- Dis-unification_(computer_science) wikiPageWikiLink Computer_science.
- Dis-unification_(computer_science) wikiPageWikiLink Constraint_logic_programming.
- Dis-unification_(computer_science) wikiPageWikiLink Constraint_programming.
- Dis-unification_(computer_science) wikiPageWikiLink Equation_solving.
- Dis-unification_(computer_science) wikiPageWikiLink Expression_(mathematics).
- Dis-unification_(computer_science) wikiPageWikiLink First-order_logic.
- Dis-unification_(computer_science) wikiPageWikiLink Inequation.
- Dis-unification_(computer_science) wikiPageWikiLink John_Alan_Robinson.
- Dis-unification_(computer_science) wikiPageWikiLink Logic.
- Dis-unification_(computer_science) wikiPageWikiLink Prolog.
- Dis-unification_(computer_science) wikiPageWikiLink Rewriting.
- Dis-unification_(computer_science) wikiPageWikiLink Simplex_algorithm.
- Dis-unification_(computer_science) wikiPageWikiLink Sufficient_completeness.
- Dis-unification_(computer_science) wikiPageWikiLink Term_rewriting.
- Dis-unification_(computer_science) wikiPageWikiLink Unification_(computer_science).
- Dis-unification_(computer_science) wikiPageWikiLinkText "Dis-unification".
- Dis-unification_(computer_science) wikiPageWikiLinkText "dis-unification".
- Dis-unification_(computer_science) hasPhotoCollection Dis-unification_(computer_science).
- Dis-unification_(computer_science) wikiPageUsesTemplate Template:Cite_book.
- Dis-unification_(computer_science) wikiPageUsesTemplate Template:Cite_thesis.
- Dis-unification_(computer_science) wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Dis-unification_(computer_science) subject Category:Logic_programming.
- Dis-unification_(computer_science) subject Category:Theoretical_computer_science.
- Dis-unification_(computer_science) subject Category:Unification_(computer_science).
- Dis-unification_(computer_science) hypernym Process.
- Dis-unification_(computer_science) type Election.
- Dis-unification_(computer_science) comment "Dis-Unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.".
- Dis-unification_(computer_science) label "Dis-unification (computer science)".
- Dis-unification_(computer_science) sameAs m.0w64h2c.
- Dis-unification_(computer_science) sameAs Q16961992.
- Dis-unification_(computer_science) sameAs Q16961992.
- Dis-unification_(computer_science) wasDerivedFrom Dis-unification_(computer_science)?oldid=647290238.
- Dis-unification_(computer_science) isPrimaryTopicOf Dis-unification_(computer_science).