Finitariness of elementary unification in Boolean region connection calculus (Q1687563)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6821639
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finitariness of elementary unification in Boolean region connection calculus |
scientific article; zbMATH DE number 6821639 |
Statements
Finitariness of elementary unification in Boolean region connection calculus (English)
0 references
4 January 2018
0 references
region connection calculus
0 references
Boolean terms
0 references
unifiability problem
0 references
computability
0 references
unification type
0 references
0.7571920156478882
0 references
0.7544648051261902
0 references
0.735220730304718
0 references
0.7323002815246582
0 references
0.7070563435554504
0 references
