An algorithm for the class of pure implicational formulas (Q1961448)
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: An algorithm for the class of pure implicational formulas |
scientific article; zbMATH DE number 1389865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An algorithm for the class of pure implicational formulas |
scientific article; zbMATH DE number 1389865 |
Statements
An algorithm for the class of pure implicational formulas (English)
0 references
17 January 2000
0 references
pure implicational formulas
0 references
falsifiability problem
0 references
0.9151768
0 references
0.9086536
0 references
0.89148605
0 references
0.89148605
0 references
0.88101155
0 references
0.8798791
0 references
0.87667096
0 references
