FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1698655026> ?p ?o ?g. }

• W1698655026 endingPage "283" @default.
• W1698655026 startingPage "267" @default.
• W1698655026 abstract "We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal descriptions of selected problems, and compare the performance of selected state-of-the art first order theorem provers on them. Our analysis yields some surprising results, e.g., the theorem prover most often used by loop theorists does not necessarily yield the best performance." @default.
• W1698655026 created "2016-06-24" @default.
• W1698655026 creator A5033064365 @default.
• W1698655026 creator A5086063922 @default.
• W1698655026 date "2010-01-01" @default.
• W1698655026 modified "2023-09-23" @default.
• W1698655026 title "Automated theorem proving in quasigroup and loop theory" @default.
• W1698655026 cites W129386291 @default.
• W1698655026 cites W1481397676 @default.
• W1698655026 cites W1494059412 @default.
• W1698655026 cites W1502295475 @default.
• W1698655026 cites W1510333080 @default.
• W1698655026 cites W1510627098 @default.
• W1698655026 cites W152052609 @default.
• W1698655026 cites W1536277859 @default.
• W1698655026 cites W1543045104 @default.
• W1698655026 cites W1559388432 @default.
• W1698655026 cites W1564749955 @default.
• W1698655026 cites W1572801864 @default.
• W1698655026 cites W1574042277 @default.
• W1698655026 cites W1584594704 @default.
• W1698655026 cites W1587041629 @default.
• W1698655026 cites W1603036561 @default.
• W1698655026 cites W1607806544 @default.
• W1698655026 cites W1646117648 @default.
• W1698655026 cites W1648387298 @default.
• W1698655026 cites W1752531609 @default.
• W1698655026 cites W1780472831 @default.
• W1698655026 cites W1807555267 @default.
• W1698655026 cites W1981170586 @default.
• W1698655026 cites W2000140686 @default.
• W1698655026 cites W2002331993 @default.
• W1698655026 cites W2009995082 @default.
• W1698655026 cites W2010858726 @default.
• W1698655026 cites W2015996097 @default.
• W1698655026 cites W2021155208 @default.
• W1698655026 cites W2023391568 @default.
• W1698655026 cites W2024337605 @default.
• W1698655026 cites W2026760906 @default.
• W1698655026 cites W2037111685 @default.
• W1698655026 cites W2044598156 @default.
• W1698655026 cites W2046216846 @default.
• W1698655026 cites W2070724839 @default.
• W1698655026 cites W2074508856 @default.
• W1698655026 cites W2085397889 @default.
• W1698655026 cites W2109179221 @default.
• W1698655026 cites W2120891144 @default.
• W1698655026 cites W2134396688 @default.
• W1698655026 cites W2150726854 @default.
• W1698655026 cites W2594808963 @default.
• W1698655026 cites W2731119609 @default.
• W1698655026 cites W2950363270 @default.
• W1698655026 cites W15781273 @default.
• W1698655026 doi "https://doi.org/10.3233/aic-2010-0460" @default.
• W1698655026 hasPublicationYear "2010" @default.
• W1698655026 type Work @default.
• W1698655026 sameAs 1698655026 @default.
• W1698655026 citedByCount "13" @default.
• W1698655026 countsByYear W16986550262012 @default.
• W1698655026 countsByYear W16986550262013 @default.
• W1698655026 countsByYear W16986550262015 @default.
• W1698655026 countsByYear W16986550262016 @default.
• W1698655026 countsByYear W16986550262018 @default.
• W1698655026 countsByYear W16986550262021 @default.
• W1698655026 countsByYear W16986550262022 @default.
• W1698655026 crossrefType "journal-article" @default.
• W1698655026 hasAuthorship W1698655026A5033064365 @default.
• W1698655026 hasAuthorship W1698655026A5086063922 @default.
• W1698655026 hasBestOaLocation W16986550262 @default.
• W1698655026 hasConcept C114614502 @default.
• W1698655026 hasConcept C118615104 @default.
• W1698655026 hasConcept C136119220 @default.
• W1698655026 hasConcept C184670325 @default.
• W1698655026 hasConcept C198800484 @default.
• W1698655026 hasConcept C199360897 @default.
• W1698655026 hasConcept C202444582 @default.
• W1698655026 hasConcept C206880738 @default.
• W1698655026 hasConcept C33923547 @default.
• W1698655026 hasConcept C41008148 @default.
• W1698655026 hasConcept C80444323 @default.
• W1698655026 hasConceptScore W1698655026C114614502 @default.
• W1698655026 hasConceptScore W1698655026C118615104 @default.
• W1698655026 hasConceptScore W1698655026C136119220 @default.
• W1698655026 hasConceptScore W1698655026C184670325 @default.
• W1698655026 hasConceptScore W1698655026C198800484 @default.
• W1698655026 hasConceptScore W1698655026C199360897 @default.
• W1698655026 hasConceptScore W1698655026C202444582 @default.
• W1698655026 hasConceptScore W1698655026C206880738 @default.
• W1698655026 hasConceptScore W1698655026C33923547 @default.
• W1698655026 hasConceptScore W1698655026C41008148 @default.
• W1698655026 hasConceptScore W1698655026C80444323 @default.
• W1698655026 hasIssue "2-3" @default.
• W1698655026 hasLocation W16986550261 @default.
• W1698655026 hasLocation W16986550262 @default.
• W1698655026 hasOpenAccess W1698655026 @default.
• W1698655026 hasPrimaryLocation W16986550261 @default.
• W1698655026 hasRelatedWork W1510441611 @default.
• W1698655026 hasRelatedWork W1698655026 @default.

• next