|
|
(12 intermediate revisions by 4 users not shown) |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SPASS / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: GAP / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: CVC Lite / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: HR / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: PSATO / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: TPTP / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Mace4 / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: SATO / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Chaff / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W1973196146 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4808722 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4809066 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automated Reasoning / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Heavy-tailed phenomena in satisfiability and constraint satisfaction problems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Single axioms for groups / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Single axioms for groups and abelian groups with various operations / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2751358 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3998783 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automated reasoning and exhaustive search: Quasigroup existence problems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automated deduction - CADE-18. 18th international conference, Copenhagen, Denmark, July 27--30, 2002. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: PSATO: A distributed propositional prover and its application to quasigroup problems / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |