A type-directed negation elimination (Q5014448)
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 7437715
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A type-directed negation elimination |
scientific article; zbMATH DE number 7437715 |
Statements
2 December 2021
0 references
0 references
0 references
0 references
0.7513747811317444
0 references
0.7063617706298828
0 references
0.7063339352607727
0 references
0.7011932134628296
0 references
