About: dbpedia-fr:Anti-unification

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Anti-unification Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Anti-unificación (ciencias de la computación) (es) Anti-unification (fr)
rdfs:comment	En informatique théorique et en logique mathématique, l'anti-unification est la construction d'une généralisation commune à deux termes symboliques données. Comme son nom l’indique, c'est l'opération duale[évasif] de l'unification qui est le calcul de l'instance la plus générale des termes. (fr)
sameAs	dbr:Anti-unification_(computer_science) wikidata:Q17003866 dbpedia-es:Anti-unificación_(ciencias_de_la_computación) dbpedia-ja:反ユニフィケーション dbpedia-pt:Antiunificação_(ciências_da_computação) http://g.co/kg/m/0w6drvz http://ma-graph.org/entity/2777323147
Wikipage page ID	13718609 (xsd:integer)
Wikipage revision ID	179706621 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Langage_de_programmation_logique Analogy Machine learning Parse tree First-order logic category-fr:Algèbre category-fr:Informatique_théorique category-fr:Logique category-fr:Logique_mathématique category-fr:Programmation_informatique category-fr:Réécriture category-fr:Syntaxe dbpedia-fr:Gordon_Plotkin Theoretical computer science Injective function dbpedia-fr:John_C._Reynolds Lambda calculus dbpedia-fr:Logique_mathématique dbpedia-fr:Loi_commutative dbpedia-fr:Modélisation dbpedia-fr:Programmation_logique_inductive Equivalence relation Singleton (mathematics) dbpedia-fr:Terme_(logique) dbpedia-fr:Unification
Link from a Wikipage to an external page	https://www.cs.cmu.edu/afs/cs/user/jcr/ftp/transysalg.pdf http://drops.dagstuhl.de/opus/volltexte/2019/10517 http://www.cs.bu.edu/~snyder/publications/UnifChapter.pdf http://www.risc.jku.at/projects/stout/software/antiunify.php https://link.springer.com/chapter/10.1007/978-3-319-11558-0_38 https://link.springer.com/chapter/10.1007/978-3-642-11486-1_35 https://link.springer.com/content/pdf/10.1007%2Fs10817-013-9285-6.pdf%7Cann%C3%A9e=2014%7Cdoi=10.1007/s10817-013-9285-6 http://drops.dagstuhl.de/opus/volltexte/2015/5189/pdf/9.pdf
page length (characters) of wiki page	23090 (xsd:nonNegativeInteger)
dct:subject	category-fr:Langage_de_programmation_logique category-fr:Algèbre category-fr:Informatique_théorique category-fr:Logique category-fr:Logique_mathématique category-fr:Programmation_informatique category-fr:Réécriture category-fr:Syntaxe
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Confusion dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Passage_évasif
prov:wasDerivedFrom	wikipedia-fr:Anti-unification?oldid=179706621&ns=0
prop-fr:année	1970 (xsd:integer) 1971 (xsd:integer) 2001 (xsd:integer) 2010 (xsd:integer) 2014 (xsd:integer) 2015 (xsd:integer) 2018 (xsd:integer) 2019 (xsd:integer) 2020 (xsd:integer)
prop-fr:auteur	Alexander Baumgartner (fr) David M. Cerna (fr) Jordi Levy (fr) Mateu Villaret (fr) Temur Kutsia (fr)
prop-fr:auteurOuvrage	Herman Geuvers (fr)
prop-fr:collection	Lecture Notes in Computer Science (fr) Leibniz International Proceedings in Informatics (fr)
prop-fr:doi	10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double)
prop-fr:fr	Golem (fr) dis-unification (fr)
prop-fr:journal	Future Generation Computer Systems (fr) Theoretical Computer Science (fr) Journal of Automated Reasoning (fr) Machine Intelligence (fr) Theory and Practice of Logic Programming (fr)
prop-fr:nom	Brown (fr) Levy (fr) Reynolds (fr) Snyder (fr) Hammond (fr) Baader (fr) Barwell (fr) Baumgartner (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software