Dis-unification_(computer_science)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/comon-icalp91.pdf%7C http://hal.inria.fr/docs/00/33/12/63/PDF/Comon.Hubert_1988_these.pdf https://hal.inria.fr/inria-00075867 http://www.lsv.ens-cachan.fr/~comon/ftp.articles/disunification.ps https://www.sciencedirect.com/science/article/pii/S0747717189800173
dbo:wikiPageWikiLink	dbc:Logic_programming dbr:Expression_(mathematics) dbr:First-order_logic dbr:Prolog dbc:Unification_(computer_science) dbr:Unification_(computer_science) dbr:Logic dbr:Equation_solving dbc:Theoretical_computer_science dbr:Constraint_programming dbr:Computer_science dbr:Simplex_algorithm dbr:Inequation dbr:Symposium_on_Logic_in_Computer_Science dbr:Anti-unification_(computer_science) dbr:John_Alan_Robinson dbr:Constraint_logic_programming dbr:Term_rewriting dbr:J._Symb._Comput. dbr:LNCS dbr:Sufficient_completeness
gold:hypernym	dbr:Process
owl:sameAs	freebase:m.0w64h2c wikidata:Q16961992 dbpedia-global:fQwV
is dbo:wikiPageWikiLink of	dbr:Unification_(computer_science) dbr:Anti-unification_(computer_science)

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International