Matches in SemOpenAlex for { <https://semopenalex.org/work/W2435160599> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2435160599 abstract "The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical first-order logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and a specified time limit for each solution attempt. The 4th IJCAR ATP System Competition (CASCJ4) was held on 13th August 2008. The design of the competition and it’s rules, and information regarding the competing systems, are provided in this report." @default.
- W2435160599 created "2016-06-24" @default.
- W2435160599 creator A5051126529 @default.
- W2435160599 date "2008-01-01" @default.
- W2435160599 modified "2023-09-26" @default.
- W2435160599 title "The 4th IJCAR ATP System Competition" @default.
- W2435160599 cites W1480297506 @default.
- W2435160599 cites W1481358402 @default.
- W2435160599 cites W1495433690 @default.
- W2435160599 cites W1500667683 @default.
- W2435160599 cites W1503868605 @default.
- W2435160599 cites W1516218099 @default.
- W2435160599 cites W1516599971 @default.
- W2435160599 cites W1526382310 @default.
- W2435160599 cites W1575813943 @default.
- W2435160599 cites W1579496588 @default.
- W2435160599 cites W1579891436 @default.
- W2435160599 cites W1584155694 @default.
- W2435160599 cites W1597663530 @default.
- W2435160599 cites W160993152 @default.
- W2435160599 cites W1623345509 @default.
- W2435160599 cites W1646117648 @default.
- W2435160599 cites W1772968073 @default.
- W2435160599 cites W1813202136 @default.
- W2435160599 cites W1878755246 @default.
- W2435160599 cites W1881680935 @default.
- W2435160599 cites W1946985707 @default.
- W2435160599 cites W1975097530 @default.
- W2435160599 cites W1986156613 @default.
- W2435160599 cites W1996158986 @default.
- W2435160599 cites W2002963758 @default.
- W2435160599 cites W2008211212 @default.
- W2435160599 cites W2018970941 @default.
- W2435160599 cites W2024311864 @default.
- W2435160599 cites W2067800308 @default.
- W2435160599 cites W2091890571 @default.
- W2435160599 cites W2104490983 @default.
- W2435160599 cites W2107844863 @default.
- W2435160599 cites W2117935620 @default.
- W2435160599 cites W2118601609 @default.
- W2435160599 cites W2142197905 @default.
- W2435160599 cites W2151523288 @default.
- W2435160599 cites W2162391287 @default.
- W2435160599 cites W2167964658 @default.
- W2435160599 cites W2186811365 @default.
- W2435160599 cites W24342265 @default.
- W2435160599 cites W2608117835 @default.
- W2435160599 cites W26338302 @default.
- W2435160599 cites W2912282119 @default.
- W2435160599 cites W3020984105 @default.
- W2435160599 cites W3021516352 @default.
- W2435160599 cites W3023360223 @default.
- W2435160599 hasPublicationYear "2008" @default.
- W2435160599 type Work @default.
- W2435160599 sameAs 2435160599 @default.
- W2435160599 citedByCount "0" @default.
- W2435160599 crossrefType "journal-article" @default.
- W2435160599 hasAuthorship W2435160599A5051126529 @default.
- W2435160599 hasConcept C108710211 @default.
- W2435160599 hasConcept C134306372 @default.
- W2435160599 hasConcept C151201525 @default.
- W2435160599 hasConcept C151730666 @default.
- W2435160599 hasConcept C18903297 @default.
- W2435160599 hasConcept C2524010 @default.
- W2435160599 hasConcept C2779343474 @default.
- W2435160599 hasConcept C33923547 @default.
- W2435160599 hasConcept C34388435 @default.
- W2435160599 hasConcept C41008148 @default.
- W2435160599 hasConcept C80444323 @default.
- W2435160599 hasConcept C86803240 @default.
- W2435160599 hasConcept C91306197 @default.
- W2435160599 hasConceptScore W2435160599C108710211 @default.
- W2435160599 hasConceptScore W2435160599C134306372 @default.
- W2435160599 hasConceptScore W2435160599C151201525 @default.
- W2435160599 hasConceptScore W2435160599C151730666 @default.
- W2435160599 hasConceptScore W2435160599C18903297 @default.
- W2435160599 hasConceptScore W2435160599C2524010 @default.
- W2435160599 hasConceptScore W2435160599C2779343474 @default.
- W2435160599 hasConceptScore W2435160599C33923547 @default.
- W2435160599 hasConceptScore W2435160599C34388435 @default.
- W2435160599 hasConceptScore W2435160599C41008148 @default.
- W2435160599 hasConceptScore W2435160599C80444323 @default.
- W2435160599 hasConceptScore W2435160599C86803240 @default.
- W2435160599 hasConceptScore W2435160599C91306197 @default.
- W2435160599 hasLocation W24351605991 @default.
- W2435160599 hasOpenAccess W2435160599 @default.
- W2435160599 hasPrimaryLocation W24351605991 @default.
- W2435160599 hasRelatedWork W1499035719 @default.
- W2435160599 isParatext "false" @default.
- W2435160599 isRetracted "false" @default.
- W2435160599 magId "2435160599" @default.
- W2435160599 workType "article" @default.