Pages that link to "Item:Q3498479"

The following pages link to An Extension of the Knuth-Bendix Ordering with LPO-Like Properties (Q3498479):

Displaying 17 items.

• Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
• MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
• Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
• Superposition for full higher-order logic (Q2055874) (← links)
• Neural precedence recommender (Q2055885) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
• Model completeness, covers and superposition (Q2305411) (← links)
• AC-KBO revisited (Q4593023) (← links)
• (Q5111307) (← links)
• Interpolation and Symbol Elimination (Q5191103) (← links)
• On Transfinite Knuth-Bendix Orders (Q5200038) (← links)
• MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501) (← links)
• Interpolation and Symbol Elimination in Vampire (Q5747760) (← links)
• Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
• Superposition for higher-order logic (Q6156638) (← links)