Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289104037> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4289104037 endingPage "667" @default.
- W4289104037 startingPage "659" @default.
- W4289104037 abstract "Abstract Treating a saturation-based automatic theorem prover (ATP) as a Las Vegas randomized algorithm is a way to illuminate the chaotic nature of proof search and make it amenable to study by probabilistic tools. On a series of experiments with the ATP Vampire, the paper showcases some implications of this perspective for prover evaluation." @default.
- W4289104037 created "2022-08-01" @default.
- W4289104037 creator A5065681566 @default.
- W4289104037 date "2022-01-01" @default.
- W4289104037 modified "2023-10-18" @default.
- W4289104037 title "Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)" @default.
- W4289104037 cites W1497680540 @default.
- W4289104037 cites W1656268799 @default.
- W4289104037 cites W1781094 @default.
- W4289104037 cites W1846589774 @default.
- W4289104037 cites W2064902266 @default.
- W4289104037 cites W2084894656 @default.
- W4289104037 cites W2095709533 @default.
- W4289104037 cites W2221495694 @default.
- W4289104037 cites W2399785175 @default.
- W4289104037 cites W2588018425 @default.
- W4289104037 cites W2969558106 @default.
- W4289104037 cites W3213434944 @default.
- W4289104037 cites W4251990699 @default.
- W4289104037 doi "https://doi.org/10.1007/978-3-031-10769-6_38" @default.
- W4289104037 hasPublicationYear "2022" @default.
- W4289104037 type Work @default.
- W4289104037 citedByCount "1" @default.
- W4289104037 countsByYear W42891040372023 @default.
- W4289104037 crossrefType "book-chapter" @default.
- W4289104037 hasAuthorship W4289104037A5065681566 @default.
- W4289104037 hasBestOaLocation W42891040371 @default.
- W4289104037 hasConcept C11413529 @default.
- W4289104037 hasConcept C154945302 @default.
- W4289104037 hasConcept C158739034 @default.
- W4289104037 hasConcept C166957645 @default.
- W4289104037 hasConcept C205649164 @default.
- W4289104037 hasConcept C206880738 @default.
- W4289104037 hasConcept C2776562800 @default.
- W4289104037 hasConcept C2777052490 @default.
- W4289104037 hasConcept C2779374083 @default.
- W4289104037 hasConcept C2993101906 @default.
- W4289104037 hasConcept C38652104 @default.
- W4289104037 hasConcept C41008148 @default.
- W4289104037 hasConcept C49937458 @default.
- W4289104037 hasConcept C71559656 @default.
- W4289104037 hasConcept C80444323 @default.
- W4289104037 hasConceptScore W4289104037C11413529 @default.
- W4289104037 hasConceptScore W4289104037C154945302 @default.
- W4289104037 hasConceptScore W4289104037C158739034 @default.
- W4289104037 hasConceptScore W4289104037C166957645 @default.
- W4289104037 hasConceptScore W4289104037C205649164 @default.
- W4289104037 hasConceptScore W4289104037C206880738 @default.
- W4289104037 hasConceptScore W4289104037C2776562800 @default.
- W4289104037 hasConceptScore W4289104037C2777052490 @default.
- W4289104037 hasConceptScore W4289104037C2779374083 @default.
- W4289104037 hasConceptScore W4289104037C2993101906 @default.
- W4289104037 hasConceptScore W4289104037C38652104 @default.
- W4289104037 hasConceptScore W4289104037C41008148 @default.
- W4289104037 hasConceptScore W4289104037C49937458 @default.
- W4289104037 hasConceptScore W4289104037C71559656 @default.
- W4289104037 hasConceptScore W4289104037C80444323 @default.
- W4289104037 hasLocation W42891040371 @default.
- W4289104037 hasOpenAccess W4289104037 @default.
- W4289104037 hasPrimaryLocation W42891040371 @default.
- W4289104037 hasRelatedWork W1486246673 @default.
- W4289104037 hasRelatedWork W1807555267 @default.
- W4289104037 hasRelatedWork W2005440350 @default.
- W4289104037 hasRelatedWork W2020957235 @default.
- W4289104037 hasRelatedWork W2270471158 @default.
- W4289104037 hasRelatedWork W2284989707 @default.
- W4289104037 hasRelatedWork W2349277163 @default.
- W4289104037 hasRelatedWork W2757375063 @default.
- W4289104037 hasRelatedWork W4289104037 @default.
- W4289104037 hasRelatedWork W4290792893 @default.
- W4289104037 isParatext "false" @default.
- W4289104037 isRetracted "false" @default.
- W4289104037 workType "book-chapter" @default.