Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (Q4898739)
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 6121111
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving |
scientific article; zbMATH DE number 6121111 |
Statements
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving (English)
0 references
2 January 2013
0 references
resolution
0 references
theorem proving
0 references
PTTP
0 references
loop elimination
0 references
0.8740412
0 references
0.8596138
0 references
0.85019976
0 references
0.8490728
0 references
0.8459972
0 references
0.84396577
0 references
0.8414353
0 references
0.8368774
0 references
0.83680415
0 references
