Matches in SemOpenAlex for { <https://semopenalex.org/work/W4206463158> ?p ?o ?g. }
- W4206463158 endingPage "564" @default.
- W4206463158 startingPage "541" @default.
- W4206463158 abstract "Superposition is among the most successful calculi for first-order logic. Its extension to higher-order logic introduces new challenges such as infinitely branching inference rules, new possibilities such as reasoning about Booleans, and the need to curb the explosion of specific higher-order rules. We describe techniques that address these issues and extensively evaluate their implementation in the Zipperposition theorem prover. Largely thanks to their use, Zipperposition won the higher-order division of the CASC-J10 competition." @default.
- W4206463158 created "2022-01-26" @default.
- W4206463158 creator A5026184195 @default.
- W4206463158 creator A5028260073 @default.
- W4206463158 creator A5057556247 @default.
- W4206463158 creator A5079200257 @default.
- W4206463158 creator A5089828576 @default.
- W4206463158 creator A5091055281 @default.
- W4206463158 date "2022-01-17" @default.
- W4206463158 modified "2023-10-06" @default.
- W4206463158 title "Making Higher-Order Superposition Work" @default.
- W4206463158 cites W1472528886 @default.
- W4206463158 cites W1522417499 @default.
- W4206463158 cites W1523376837 @default.
- W4206463158 cites W1554551469 @default.
- W4206463158 cites W1577869834 @default.
- W4206463158 cites W1598398705 @default.
- W4206463158 cites W1772968073 @default.
- W4206463158 cites W1781094 @default.
- W4206463158 cites W1820726602 @default.
- W4206463158 cites W1990121424 @default.
- W4206463158 cites W1997110410 @default.
- W4206463158 cites W2034676877 @default.
- W4206463158 cites W2074769340 @default.
- W4206463158 cites W2081512679 @default.
- W4206463158 cites W2088350978 @default.
- W4206463158 cites W2102647770 @default.
- W4206463158 cites W2105045857 @default.
- W4206463158 cites W2107463944 @default.
- W4206463158 cites W2113065066 @default.
- W4206463158 cites W2118172707 @default.
- W4206463158 cites W2160331299 @default.
- W4206463158 cites W2221495694 @default.
- W4206463158 cites W2253333731 @default.
- W4206463158 cites W2399785175 @default.
- W4206463158 cites W2414651070 @default.
- W4206463158 cites W2460200316 @default.
- W4206463158 cites W2500310339 @default.
- W4206463158 cites W2507006525 @default.
- W4206463158 cites W2588018425 @default.
- W4206463158 cites W2792493843 @default.
- W4206463158 cites W2810826868 @default.
- W4206463158 cites W2927212189 @default.
- W4206463158 cites W2969261745 @default.
- W4206463158 cites W2969891771 @default.
- W4206463158 cites W2969992190 @default.
- W4206463158 cites W2971421462 @default.
- W4206463158 cites W3038732795 @default.
- W4206463158 cites W3039562913 @default.
- W4206463158 cites W3040578348 @default.
- W4206463158 cites W3083676134 @default.
- W4206463158 cites W3148132267 @default.
- W4206463158 cites W3167807588 @default.
- W4206463158 cites W3177951153 @default.
- W4206463158 cites W3180051810 @default.
- W4206463158 cites W3181451889 @default.
- W4206463158 cites W3194933338 @default.
- W4206463158 cites W333834217 @default.
- W4206463158 cites W4205248893 @default.
- W4206463158 cites W4243308851 @default.
- W4206463158 cites W4246691913 @default.
- W4206463158 doi "https://doi.org/10.1007/s10817-021-09613-z" @default.
- W4206463158 hasPublicationYear "2022" @default.
- W4206463158 type Work @default.
- W4206463158 citedByCount "2" @default.
- W4206463158 countsByYear W42064631582022 @default.
- W4206463158 countsByYear W42064631582023 @default.
- W4206463158 crossrefType "journal-article" @default.
- W4206463158 hasAuthorship W4206463158A5026184195 @default.
- W4206463158 hasAuthorship W4206463158A5028260073 @default.
- W4206463158 hasAuthorship W4206463158A5057556247 @default.
- W4206463158 hasAuthorship W4206463158A5079200257 @default.
- W4206463158 hasAuthorship W4206463158A5089828576 @default.
- W4206463158 hasAuthorship W4206463158A5091055281 @default.
- W4206463158 hasBestOaLocation W42064631582 @default.
- W4206463158 hasConcept C100481476 @default.
- W4206463158 hasConcept C10138342 @default.
- W4206463158 hasConcept C102993220 @default.
- W4206463158 hasConcept C108710211 @default.
- W4206463158 hasConcept C144791301 @default.
- W4206463158 hasConcept C159718280 @default.
- W4206463158 hasConcept C159985019 @default.
- W4206463158 hasConcept C162324750 @default.
- W4206463158 hasConcept C169896238 @default.
- W4206463158 hasConcept C182306322 @default.
- W4206463158 hasConcept C192562407 @default.
- W4206463158 hasConcept C195344581 @default.
- W4206463158 hasConcept C199343813 @default.
- W4206463158 hasConcept C199360897 @default.
- W4206463158 hasConcept C206175624 @default.
- W4206463158 hasConcept C206880738 @default.
- W4206463158 hasConcept C2524010 @default.
- W4206463158 hasConcept C2777686260 @default.
- W4206463158 hasConcept C33923547 @default.
- W4206463158 hasConcept C41008148 @default.
- W4206463158 hasConcept C71924100 @default.
- W4206463158 hasConcept C80444323 @default.
- W4206463158 hasConceptScore W4206463158C100481476 @default.