Pages that link to "Item:Q31436"

The following pages link to SNARK (Q31436):

Displaying 3 items.

• Proof verification and proof discovery for relativity (Q514557) (← links)
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
• Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)