Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951574503> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2951574503 abstract "The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented. Leo-III is based on extensional higher-order paramodulation and accepts every common TPTP dialect (FOF, TFF, THF), including their recent extensions to rank-1 polymorphism (TF1, TH1). In addition, the prover natively supports almost every normal higher-order modal logic. Leo-III cooperates with first-order reasoning tools using translations to (polymorphic) many-sorted first-order logic and produces verifiable proof certificates. The prover is evaluated on heterogeneous benchmark sets." @default.
- W2951574503 created "2019-06-27" @default.
- W2951574503 creator A5055110324 @default.
- W2951574503 creator A5065695813 @default.
- W2951574503 date "2018-02-08" @default.
- W2951574503 modified "2023-09-27" @default.
- W2951574503 title "The Higher-Order Prover Leo-III" @default.
- W2951574503 cites W1909465604 @default.
- W2951574503 cites W28519672 @default.
- W2951574503 hasPublicationYear "2018" @default.
- W2951574503 type Work @default.
- W2951574503 sameAs 2951574503 @default.
- W2951574503 citedByCount "3" @default.
- W2951574503 countsByYear W29515745032018 @default.
- W2951574503 countsByYear W29515745032020 @default.
- W2951574503 crossrefType "posted-content" @default.
- W2951574503 hasAuthorship W2951574503A5055110324 @default.
- W2951574503 hasAuthorship W2951574503A5065695813 @default.
- W2951574503 hasConcept C10138342 @default.
- W2951574503 hasConcept C108710211 @default.
- W2951574503 hasConcept C11413529 @default.
- W2951574503 hasConcept C159718280 @default.
- W2951574503 hasConcept C162324750 @default.
- W2951574503 hasConcept C177264268 @default.
- W2951574503 hasConcept C182306322 @default.
- W2951574503 hasConcept C185592680 @default.
- W2951574503 hasConcept C188027245 @default.
- W2951574503 hasConcept C199360897 @default.
- W2951574503 hasConcept C206880738 @default.
- W2951574503 hasConcept C2524010 @default.
- W2951574503 hasConcept C27508121 @default.
- W2951574503 hasConcept C33923547 @default.
- W2951574503 hasConcept C41008148 @default.
- W2951574503 hasConcept C71139939 @default.
- W2951574503 hasConcept C80444323 @default.
- W2951574503 hasConcept C85847156 @default.
- W2951574503 hasConceptScore W2951574503C10138342 @default.
- W2951574503 hasConceptScore W2951574503C108710211 @default.
- W2951574503 hasConceptScore W2951574503C11413529 @default.
- W2951574503 hasConceptScore W2951574503C159718280 @default.
- W2951574503 hasConceptScore W2951574503C162324750 @default.
- W2951574503 hasConceptScore W2951574503C177264268 @default.
- W2951574503 hasConceptScore W2951574503C182306322 @default.
- W2951574503 hasConceptScore W2951574503C185592680 @default.
- W2951574503 hasConceptScore W2951574503C188027245 @default.
- W2951574503 hasConceptScore W2951574503C199360897 @default.
- W2951574503 hasConceptScore W2951574503C206880738 @default.
- W2951574503 hasConceptScore W2951574503C2524010 @default.
- W2951574503 hasConceptScore W2951574503C27508121 @default.
- W2951574503 hasConceptScore W2951574503C33923547 @default.
- W2951574503 hasConceptScore W2951574503C41008148 @default.
- W2951574503 hasConceptScore W2951574503C71139939 @default.
- W2951574503 hasConceptScore W2951574503C80444323 @default.
- W2951574503 hasConceptScore W2951574503C85847156 @default.
- W2951574503 hasLocation W29515745031 @default.
- W2951574503 hasOpenAccess W2951574503 @default.
- W2951574503 hasPrimaryLocation W29515745031 @default.
- W2951574503 hasRelatedWork W1484198662 @default.
- W2951574503 hasRelatedWork W1538506032 @default.
- W2951574503 hasRelatedWork W1553445265 @default.
- W2951574503 hasRelatedWork W1558816505 @default.
- W2951574503 hasRelatedWork W1561644379 @default.
- W2951574503 hasRelatedWork W1580916215 @default.
- W2951574503 hasRelatedWork W1758843996 @default.
- W2951574503 hasRelatedWork W1819951499 @default.
- W2951574503 hasRelatedWork W1846589774 @default.
- W2951574503 hasRelatedWork W1875958796 @default.
- W2951574503 hasRelatedWork W2003674078 @default.
- W2951574503 hasRelatedWork W2230207899 @default.
- W2951574503 hasRelatedWork W2479603923 @default.
- W2951574503 hasRelatedWork W2753316031 @default.
- W2951574503 hasRelatedWork W2796551703 @default.
- W2951574503 hasRelatedWork W2964407825 @default.
- W2951574503 hasRelatedWork W2972262832 @default.
- W2951574503 hasRelatedWork W3038874144 @default.
- W2951574503 hasRelatedWork W3089482983 @default.
- W2951574503 hasRelatedWork W38890958 @default.
- W2951574503 isParatext "false" @default.
- W2951574503 isRetracted "false" @default.
- W2951574503 magId "2951574503" @default.
- W2951574503 workType "article" @default.