Pages that link to "Item:Q1904404"

The following pages link to The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404):

Displayed 14 items.

• Multi-completion with termination tools (Q352956) ‎ (← links)
• Fast and slow enigmas and parental guidance (Q831937) ‎ (← links)
• First-order temporal verification in practice (Q851137) ‎ (← links)
• Simplifying proofs in Fitch-style natural deduction systems (Q851139) ‎ (← links)
• Deciding Boolean algebra with Presburger arithmetic (Q861705) ‎ (← links)
• The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) ‎ (← links)
• Evaluating general purpose automated theorem proving systems (Q1606324) ‎ (← links)
• An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) ‎ (← links)
• Combining induction and saturation-based theorem proving (Q2303240) ‎ (← links)
• Efficient instance retrieval with standard and relational path indexing (Q2486586) ‎ (← links)
• A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984) ‎ (← links)
• Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) ‎ (← links)
• (Q5020994) ‎ (← links)
• (Q5028442) ‎ (← links)