Matches in SemOpenAlex for { <https://semopenalex.org/work/W5678308> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W5678308 endingPage "10" @default.
- W5678308 startingPage "1" @default.
- W5678308 abstract "This note presents purely mechanical proofs of the Levi commutator problem in group theory. The problem was solved first by using the theorem prover EQP, developed by William McCune at the Argonne National Laboratory. The fastest proof was found by using Peers-mcd, the Clause-Diffusion parallelization of EQP, developed by the author at the University of Iowa. 1 The Levi commutator problem The Levi commutator problem is an equational problem in group theory. Given the axioms for a group with product ∗ and identity e" @default.
- W5678308 created "2016-06-24" @default.
- W5678308 creator A5082604888 @default.
- W5678308 date "1998-01-01" @default.
- W5678308 modified "2023-09-23" @default.
- W5678308 title "Mechanical proofs of the Levi commutator problem" @default.
- W5678308 cites W1486494889 @default.
- W5678308 cites W1495433690 @default.
- W5678308 cites W1514684815 @default.
- W5678308 cites W1537279363 @default.
- W5678308 cites W1595374223 @default.
- W5678308 cites W172049787 @default.
- W5678308 cites W1721498334 @default.
- W5678308 cites W1972956465 @default.
- W5678308 cites W1995619750 @default.
- W5678308 cites W2022735782 @default.
- W5678308 cites W2023139438 @default.
- W5678308 cites W2044301710 @default.
- W5678308 cites W2072868156 @default.
- W5678308 cites W2074679569 @default.
- W5678308 cites W2075469844 @default.
- W5678308 cites W2121757274 @default.
- W5678308 hasPublicationYear "1998" @default.
- W5678308 type Work @default.
- W5678308 sameAs 5678308 @default.
- W5678308 citedByCount "2" @default.
- W5678308 crossrefType "proceedings-article" @default.
- W5678308 hasAuthorship W5678308A5082604888 @default.
- W5678308 hasConcept C105515060 @default.
- W5678308 hasConcept C107038049 @default.
- W5678308 hasConcept C108710211 @default.
- W5678308 hasConcept C11413529 @default.
- W5678308 hasConcept C121332964 @default.
- W5678308 hasConcept C136119220 @default.
- W5678308 hasConcept C138885662 @default.
- W5678308 hasConcept C140865510 @default.
- W5678308 hasConcept C145620117 @default.
- W5678308 hasConcept C167729594 @default.
- W5678308 hasConcept C199343813 @default.
- W5678308 hasConcept C202444582 @default.
- W5678308 hasConcept C206880738 @default.
- W5678308 hasConcept C2524010 @default.
- W5678308 hasConcept C2777686260 @default.
- W5678308 hasConcept C2778355321 @default.
- W5678308 hasConcept C2781311116 @default.
- W5678308 hasConcept C33923547 @default.
- W5678308 hasConcept C62520636 @default.
- W5678308 hasConcept C71924100 @default.
- W5678308 hasConcept C73648015 @default.
- W5678308 hasConceptScore W5678308C105515060 @default.
- W5678308 hasConceptScore W5678308C107038049 @default.
- W5678308 hasConceptScore W5678308C108710211 @default.
- W5678308 hasConceptScore W5678308C11413529 @default.
- W5678308 hasConceptScore W5678308C121332964 @default.
- W5678308 hasConceptScore W5678308C136119220 @default.
- W5678308 hasConceptScore W5678308C138885662 @default.
- W5678308 hasConceptScore W5678308C140865510 @default.
- W5678308 hasConceptScore W5678308C145620117 @default.
- W5678308 hasConceptScore W5678308C167729594 @default.
- W5678308 hasConceptScore W5678308C199343813 @default.
- W5678308 hasConceptScore W5678308C202444582 @default.
- W5678308 hasConceptScore W5678308C206880738 @default.
- W5678308 hasConceptScore W5678308C2524010 @default.
- W5678308 hasConceptScore W5678308C2777686260 @default.
- W5678308 hasConceptScore W5678308C2778355321 @default.
- W5678308 hasConceptScore W5678308C2781311116 @default.
- W5678308 hasConceptScore W5678308C33923547 @default.
- W5678308 hasConceptScore W5678308C62520636 @default.
- W5678308 hasConceptScore W5678308C71924100 @default.
- W5678308 hasConceptScore W5678308C73648015 @default.
- W5678308 hasLocation W56783081 @default.
- W5678308 hasOpenAccess W5678308 @default.
- W5678308 hasPrimaryLocation W56783081 @default.
- W5678308 hasRelatedWork W102722814 @default.
- W5678308 hasRelatedWork W1483327805 @default.
- W5678308 hasRelatedWork W1484872907 @default.
- W5678308 hasRelatedWork W1510200645 @default.
- W5678308 hasRelatedWork W1515595147 @default.
- W5678308 hasRelatedWork W1525531290 @default.
- W5678308 hasRelatedWork W1556427327 @default.
- W5678308 hasRelatedWork W1584489400 @default.
- W5678308 hasRelatedWork W1785287584 @default.
- W5678308 hasRelatedWork W1922473192 @default.
- W5678308 hasRelatedWork W2040183410 @default.
- W5678308 hasRelatedWork W2057614488 @default.
- W5678308 hasRelatedWork W2069663616 @default.
- W5678308 hasRelatedWork W2185162921 @default.
- W5678308 hasRelatedWork W2212590794 @default.
- W5678308 hasRelatedWork W2283907753 @default.
- W5678308 hasRelatedWork W2738825909 @default.
- W5678308 hasRelatedWork W35847595 @default.
- W5678308 hasRelatedWork W60445782 @default.
- W5678308 hasRelatedWork W74839752 @default.
- W5678308 isParatext "false" @default.
- W5678308 isRetracted "false" @default.
- W5678308 magId "5678308" @default.
- W5678308 workType "article" @default.