Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 6 results in range #51 to #56.
- A method for building models automatically. Experiments with an extension of OTTER: Label: en
- The search efficiency of theorem proving strategies: Label: en
- Lazy generation of induction hypotheses: Label: en
- Synthesis of induction orderings for existence proofs: Label: en
- A divergence critic: Label: en
- The crisis in finite mathematics: Automated reasoning as cause and cure: Label: en
