The following pages link to (Q4357064):
Displaying 15 items.
- First-order theorem proving: foreword (Q429582) (← links)
- Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003 (Q556727) (← links)
- A new combination of input and unit deductions for Horn sentences (Q1057665) (← links)
- The number of proof lines and the size of proofs in first order logic (Q1102280) (← links)
- (Q3372480) (← links)
- (Q3476792) (← links)
- (Q3789100) (← links)
- (Q3996619) (← links)
- (Q4002147) (← links)
- (Q4268451) (← links)
- (Q4537506) (← links)
- First-order unification in the PVS proof assistant (Q4644611) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
- Theorem Proving in Higher Order Logics (Q5477663) (← links)
- Types for Proofs and Programs (Q5712303) (← links)