Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572801864> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1572801864 endingPage "48" @default.
- W1572801864 startingPage "35" @default.
- W1572801864 abstract "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC on ATP, lessons learnt during CASC, and remarks regarding the past, present, and future of CASC." @default.
- W1572801864 created "2016-06-24" @default.
- W1572801864 creator A5033202791 @default.
- W1572801864 creator A5051126529 @default.
- W1572801864 date "2006-01-01" @default.
- W1572801864 modified "2023-09-28" @default.
- W1572801864 title "The state of CASC" @default.
- W1572801864 cites W1481397676 @default.
- W1572801864 cites W1483783534 @default.
- W1572801864 cites W1527306917 @default.
- W1572801864 cites W1535735650 @default.
- W1572801864 cites W1541862339 @default.
- W1572801864 cites W1577023188 @default.
- W1572801864 cites W1579891436 @default.
- W1572801864 cites W1584155694 @default.
- W1572801864 cites W1585192475 @default.
- W1572801864 cites W1600661924 @default.
- W1572801864 cites W160993152 @default.
- W1572801864 cites W1646117648 @default.
- W1572801864 cites W1780472831 @default.
- W1572801864 cites W1807555267 @default.
- W1572801864 cites W1843822920 @default.
- W1572801864 cites W1846700597 @default.
- W1572801864 cites W1946985707 @default.
- W1572801864 cites W2008211212 @default.
- W1572801864 cites W2033901233 @default.
- W1572801864 cites W205991341 @default.
- W1572801864 cites W2084514002 @default.
- W1572801864 cites W2091890571 @default.
- W1572801864 cites W2141236714 @default.
- W1572801864 cites W2608117835 @default.
- W1572801864 cites W2916262976 @default.
- W1572801864 cites W3020984105 @default.
- W1572801864 cites W3021478490 @default.
- W1572801864 cites W3021516352 @default.
- W1572801864 cites W3023360223 @default.
- W1572801864 cites W32204293 @default.
- W1572801864 cites W400806380 @default.
- W1572801864 cites W8533841 @default.
- W1572801864 hasPublicationYear "2006" @default.
- W1572801864 type Work @default.
- W1572801864 sameAs 1572801864 @default.
- W1572801864 citedByCount "55" @default.
- W1572801864 countsByYear W15728018642012 @default.
- W1572801864 countsByYear W15728018642013 @default.
- W1572801864 countsByYear W15728018642014 @default.
- W1572801864 countsByYear W15728018642015 @default.
- W1572801864 countsByYear W15728018642016 @default.
- W1572801864 countsByYear W15728018642017 @default.
- W1572801864 countsByYear W15728018642018 @default.
- W1572801864 countsByYear W15728018642021 @default.
- W1572801864 crossrefType "journal-article" @default.
- W1572801864 hasAuthorship W1572801864A5033202791 @default.
- W1572801864 hasAuthorship W1572801864A5051126529 @default.
- W1572801864 hasConcept C199360897 @default.
- W1572801864 hasConcept C206880738 @default.
- W1572801864 hasConcept C41008148 @default.
- W1572801864 hasConcept C48103436 @default.
- W1572801864 hasConceptScore W1572801864C199360897 @default.
- W1572801864 hasConceptScore W1572801864C206880738 @default.
- W1572801864 hasConceptScore W1572801864C41008148 @default.
- W1572801864 hasConceptScore W1572801864C48103436 @default.
- W1572801864 hasIssue "1" @default.
- W1572801864 hasLocation W15728018641 @default.
- W1572801864 hasOpenAccess W1572801864 @default.
- W1572801864 hasPrimaryLocation W15728018641 @default.
- W1572801864 hasRelatedWork W1495157771 @default.
- W1572801864 hasRelatedWork W1507112684 @default.
- W1572801864 hasRelatedWork W1513576223 @default.
- W1572801864 hasRelatedWork W1549346069 @default.
- W1572801864 hasRelatedWork W1573992413 @default.
- W1572801864 hasRelatedWork W1584954960 @default.
- W1572801864 hasRelatedWork W1646117648 @default.
- W1572801864 hasRelatedWork W1780472831 @default.
- W1572801864 hasRelatedWork W1781094 @default.
- W1572801864 hasRelatedWork W1807555267 @default.
- W1572801864 hasRelatedWork W1995539874 @default.
- W1572801864 hasRelatedWork W2002331993 @default.
- W1572801864 hasRelatedWork W2008211212 @default.
- W1572801864 hasRelatedWork W2018970941 @default.
- W1572801864 hasRelatedWork W2057361103 @default.
- W1572801864 hasRelatedWork W205991341 @default.
- W1572801864 hasRelatedWork W2075123415 @default.
- W1572801864 hasRelatedWork W2100738443 @default.
- W1572801864 hasRelatedWork W2106192381 @default.
- W1572801864 hasRelatedWork W26338302 @default.
- W1572801864 hasVolume "19" @default.
- W1572801864 isParatext "false" @default.
- W1572801864 isRetracted "false" @default.
- W1572801864 magId "1572801864" @default.
- W1572801864 workType "article" @default.