http://dbpedia.org/ontology/abstract
|
Алгоритми уніфікації — це алгоритми, задачею яких є перевірити чи є 2 вирази уніфікованими і, у випадку їх уніфікованості, вирахувати їх найбільш спільний уніфікатор. Знайти уніфікатор означає знайти розв'язки системи.
|
http://dbpedia.org/ontology/wikiPageID
|
28882893
|
http://dbpedia.org/ontology/wikiPageLength
|
107
|
http://dbpedia.org/ontology/wikiPageRedirects
|
http://dbpedia.org/resource/Unification_%28computer_science%29 +
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
957632985
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Unification_%28computer_science%29 +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:R_to_section +
, http://dbpedia.org/resource/Template:Wikidata-redirect +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Unification_algorithm?oldid=957632985&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Unification_algorithm +
|
owl:sameAs |
http://dbpedia.org/resource/Unification_algorithm +
, http://www.wikidata.org/entity/Q16691688 +
, https://global.dbpedia.org/id/dVxt +
, http://uk.dbpedia.org/resource/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B8_%D1%83%D0%BD%D1%96%D1%84%D1%96%D0%BA%D0%B0%D1%86%D1%96%D1%97 +
|
rdfs:comment |
Алгоритми уніфікації — це алгоритми, задачею яких є перевірити чи є 2 вирази уніфікованими і, у випадку їх уніфікованості, вирахувати їх найбільш спільний уніфікатор. Знайти уніфікатор означає знайти розв'язки системи.
|
rdfs:label |
Unification algorithm
, Алгоритми уніфікації
|