Bliksem
From MaRDI portal
Cited in
(42)- SETHEO
- Limited resource strategy in resolution theorem proving
- PLAGIATOR
- TGTP
- Deciding the guarded fragments by resolution
- Automated proof construction in type theory using resolution
- E-SETHEO
- Knowledge-based proof planning
- MBase
- SicoTHEO
- Octopus
- Proof planning with multiple strategies
- Roo
- scientific article; zbMATH DE number 1614692 (Why is no real title available?)
- EQP
- Resolution in modal, description and hybrid logic
- Waldmeister
- OMEGA
- Omega-ANTS
- LOUI
- Prodigy
- PROTEIN
- TRAMP
- P.rex
- Doris
- KOMET
- Medmaker
- Multi
- HERBY
- SPTHEO
- Peers-mcd
- PARTHENON
- Aquarius
- Omega-MKRP
- Model evolution with equality -- revised and implemented
- Resolution-based methods for modal logics
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Octopus: combining learning and parallel search
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Computer supported mathematics with MEGA
- Combined reasoning by automated cooperation
This page was built for software: Bliksem
