Pages that link to "Item:Q1904404"
From MaRDI portal
The following pages link to The anatomy of vampire. Implementing bottom-up procedures with code trees (Q1904404):
Displaying 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)
