Pages that link to "Item:Q4978553"

The following pages link to Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Q4978553):

Displaying 3 items.

• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• (Q5091146) (← links)
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)