| dbo:description
|
- algorithmic process of solving equations between symbolic expressions (en)
- proceso algorítmico para resolución de ecuaciones con expresiones simbólicas (es)
- Алгоритам за одређивање најопштијег унификатора (sr)
- processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques (fr)
- תהליך אלגוריתמי לפתרון משוואות סימבוליות (iw)
- procés algorítmic de resolució d'equacions entre expressions simbòliques (ca)
- procedimento algoritmico per risolvere equazioni fra espressioni simboliche (it)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:date
| |
| dbp:quote
|
- (en)
- Symbols are ordered such that variables precede function symbols.
Terms are ordered by increasing written length; equally long terms
are ordered lexicographically. For a set T of terms, its disagreement
path p is the lexicographically least path where two member terms
of T differ. Its disagreement set is the set of subterms starting at p,
formally: }.
Algorithm: (en)
- "NONUNIFIABLE" (en)
- is a singleton set (en)
- let D be the disagreement set of (en)
- s is not a variable s occurs in t (en)
- let s, t be the two lexicographically least terms in D (en)
|
| dbp:title
|
- Robinson's 1965 unification algorithm (en)
|
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:label
|
- Unification (computer science) (en)
- Unifikace (logika) (cs)
- Unificación (ciencias de la computación) (es)
- Unifikation (Logik) (de)
- Unification (fr)
- ユニフィケーション (ja)
- Unificação (pt)
- Unifikacja (informatyka) (pl)
- Частный случай формулы (ru)
- Уніфікація (інформатика) (uk)
- 合一 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:academicDiscipline
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:fields
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
