No label defined (Q5688907)
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 970722
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 970722 |
Statements
25 May 1997
0 references
generated clauses
0 references
resolution based deduction systems
0 references
strongly compatible list
0 references
0.8329240083694458
0 references
0.8216034173965454
0 references
0.8191357851028442
0 references
0.8143271207809448
0 references
