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 this page instead for the normal view: Finitariness of elementary unification in Boolean region connection calculus |
scientific article; zbMATH DE number 6821639
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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.735220730304718
0 references
0.7323002815246582
0 references
