Problems on the generation of finite models (Q5210810): Difference between revisions

@@ Property / describes a project that uses @@
+FINDER
@@ Property / describes a project that uses: FINDER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_54
+Normal rank
@@ Property / OpenAlex ID @@
+W1527757483
@@ Property / OpenAlex ID: W1527757483 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's High School Identities
@@ Property / cites work: Tarski's High School Identities / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of 8\(\times 8\) Latin squares
@@ Property / cites work: On the number of 8\(\times 8\) Latin squares / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
+Normal rank
@@ Property / cites work @@
+Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean
+Normal rank
@@ Property / cites work @@
+A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
+Normal rank
@@ Property / cites work @@
+Meeting the challenge of fifty years of logic
@@ Property / cites work: Meeting the challenge of fifty years of logic / rank @@
+Normal rank
@@ Property / cites work @@
+The kernel strategy and its use for the study of combinatory logic
+Normal rank
@@ Property / cites work @@
+Implementing the Davis-Putnam method
@@ Property / cites work: Implementing the Davis-Putnam method / rank @@
+Normal rank