Matches in SemOpenAlex for { <https://semopenalex.org/work/W3089482983> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3089482983 endingPage "2938" @default.
- W3089482983 startingPage "2937" @default.
- W3089482983 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.
- W3089482983 created "2020-10-08" @default.
- W3089482983 creator A5055110324 @default.
- W3089482983 creator A5065695813 @default.
- W3089482983 date "2020-01-01" @default.
- W3089482983 modified "2023-09-25" @default.
- W3089482983 title "The Higher-Order Prover Leo-III." @default.
- W3089482983 hasPublicationYear "2020" @default.
- W3089482983 type Work @default.
- W3089482983 sameAs 3089482983 @default.
- W3089482983 citedByCount "0" @default.
- W3089482983 crossrefType "proceedings-article" @default.
- W3089482983 hasAuthorship W3089482983A5055110324 @default.
- W3089482983 hasAuthorship W3089482983A5065695813 @default.
- W3089482983 hasConcept C108710211 @default.
- W3089482983 hasConcept C159718280 @default.
- W3089482983 hasConcept C177264268 @default.
- W3089482983 hasConcept C184337299 @default.
- W3089482983 hasConcept C185592680 @default.
- W3089482983 hasConcept C188027245 @default.
- W3089482983 hasConcept C195344581 @default.
- W3089482983 hasConcept C199360897 @default.
- W3089482983 hasConcept C206880738 @default.
- W3089482983 hasConcept C2524010 @default.
- W3089482983 hasConcept C27508121 @default.
- W3089482983 hasConcept C33923547 @default.
- W3089482983 hasConcept C41008148 @default.
- W3089482983 hasConcept C71139939 @default.
- W3089482983 hasConcept C80444323 @default.
- W3089482983 hasConcept C85847156 @default.
- W3089482983 hasConceptScore W3089482983C108710211 @default.
- W3089482983 hasConceptScore W3089482983C159718280 @default.
- W3089482983 hasConceptScore W3089482983C177264268 @default.
- W3089482983 hasConceptScore W3089482983C184337299 @default.
- W3089482983 hasConceptScore W3089482983C185592680 @default.
- W3089482983 hasConceptScore W3089482983C188027245 @default.
- W3089482983 hasConceptScore W3089482983C195344581 @default.
- W3089482983 hasConceptScore W3089482983C199360897 @default.
- W3089482983 hasConceptScore W3089482983C206880738 @default.
- W3089482983 hasConceptScore W3089482983C2524010 @default.
- W3089482983 hasConceptScore W3089482983C27508121 @default.
- W3089482983 hasConceptScore W3089482983C33923547 @default.
- W3089482983 hasConceptScore W3089482983C41008148 @default.
- W3089482983 hasConceptScore W3089482983C71139939 @default.
- W3089482983 hasConceptScore W3089482983C80444323 @default.
- W3089482983 hasConceptScore W3089482983C85847156 @default.
- W3089482983 hasLocation W30894829831 @default.
- W3089482983 hasOpenAccess W3089482983 @default.
- W3089482983 hasPrimaryLocation W30894829831 @default.
- W3089482983 hasRelatedWork W1484198662 @default.
- W3089482983 hasRelatedWork W1538506032 @default.
- W3089482983 hasRelatedWork W1553445265 @default.
- W3089482983 hasRelatedWork W1558816505 @default.
- W3089482983 hasRelatedWork W1561644379 @default.
- W3089482983 hasRelatedWork W1758843996 @default.
- W3089482983 hasRelatedWork W1819951499 @default.
- W3089482983 hasRelatedWork W1846589774 @default.
- W3089482983 hasRelatedWork W1875958796 @default.
- W3089482983 hasRelatedWork W2003674078 @default.
- W3089482983 hasRelatedWork W2230207899 @default.
- W3089482983 hasRelatedWork W2442645587 @default.
- W3089482983 hasRelatedWork W2479603923 @default.
- W3089482983 hasRelatedWork W2753316031 @default.
- W3089482983 hasRelatedWork W2796551703 @default.
- W3089482983 hasRelatedWork W2951574503 @default.
- W3089482983 hasRelatedWork W2964407825 @default.
- W3089482983 hasRelatedWork W2972262832 @default.
- W3089482983 hasRelatedWork W3038874144 @default.
- W3089482983 hasRelatedWork W38890958 @default.
- W3089482983 isParatext "false" @default.
- W3089482983 isRetracted "false" @default.
- W3089482983 magId "3089482983" @default.
- W3089482983 workType "article" @default.