Formalizing common sense: an operator-based approach to the Tibbles-Tib problem (Q948987)
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: Formalizing common sense: an operator-based approach to the Tibbles-Tib problem |
scientific article; zbMATH DE number 5351924
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing common sense: an operator-based approach to the Tibbles-Tib problem |
scientific article; zbMATH DE number 5351924 |
Statements
Formalizing common sense: an operator-based approach to the Tibbles-Tib problem (English)
0 references
16 October 2008
0 references
formalization
0 references
common sense
0 references
logical operators
0 references
identity problems
0 references
0.8712329
0 references
0.8689885
0 references
0.85679644
0 references
0.85215086
0 references
0.82920134
0 references
