FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105747912> ?p ?o ?g. }

• W2105747912 abstract "JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expressive constructive logics. This paper gives a brief overview of JProver's proof technique, the generation of proof objects, and its integration into the Nuprl proof development system." @default.
• W2105747912 created "2016-06-24" @default.
• W2105747912 creator A5053945031 @default.
• W2105747912 creator A5064181392 @default.
• W2105747912 creator A5076721288 @default.
• W2105747912 creator A5087898463 @default.
• W2105747912 date "2001-01-01" @default.
• W2105747912 modified "2023-09-23" @default.
• W2105747912 title "JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants" @default.
• W2105747912 cites W1481747501 @default.
• W2105747912 cites W1491353074 @default.
• W2105747912 cites W1492355854 @default.
• W2105747912 cites W1495396426 @default.
• W2105747912 cites W1516091542 @default.
• W2105747912 cites W1606427760 @default.
• W2105747912 cites W1791184228 @default.
• W2105747912 cites W2039977878 @default.
• W2105747912 cites W2134977256 @default.
• W2105747912 cites W2151355005 @default.
• W2105747912 cites W2155335449 @default.
• W2105747912 doi "https://doi.org/10.1007/3-540-45744-5_34" @default.
• W2105747912 hasPublicationYear "2001" @default.
• W2105747912 type Work @default.
• W2105747912 sameAs 2105747912 @default.
• W2105747912 citedByCount "33" @default.
• W2105747912 countsByYear W21057479122012 @default.
• W2105747912 countsByYear W21057479122014 @default.
• W2105747912 countsByYear W21057479122016 @default.
• W2105747912 countsByYear W21057479122017 @default.
• W2105747912 countsByYear W21057479122018 @default.
• W2105747912 countsByYear W21057479122019 @default.
• W2105747912 crossrefType "book-chapter" @default.
• W2105747912 hasAuthorship W2105747912A5053945031 @default.
• W2105747912 hasAuthorship W2105747912A5064181392 @default.
• W2105747912 hasAuthorship W2105747912A5076721288 @default.
• W2105747912 hasAuthorship W2105747912A5087898463 @default.
• W2105747912 hasConcept C105605280 @default.
• W2105747912 hasConcept C108710211 @default.
• W2105747912 hasConcept C111919701 @default.
• W2105747912 hasConcept C118615104 @default.
• W2105747912 hasConcept C124978682 @default.
• W2105747912 hasConcept C13355873 @default.
• W2105747912 hasConcept C135754263 @default.
• W2105747912 hasConcept C159718280 @default.
• W2105747912 hasConcept C173613240 @default.
• W2105747912 hasConcept C195653647 @default.
• W2105747912 hasConcept C199343813 @default.
• W2105747912 hasConcept C199360897 @default.
• W2105747912 hasConcept C202854965 @default.
• W2105747912 hasConcept C203265346 @default.
• W2105747912 hasConcept C206880738 @default.
• W2105747912 hasConcept C2318724 @default.
• W2105747912 hasConcept C2524010 @default.
• W2105747912 hasConcept C2777686260 @default.
• W2105747912 hasConcept C2778701210 @default.
• W2105747912 hasConcept C33923547 @default.
• W2105747912 hasConcept C41008148 @default.
• W2105747912 hasConcept C65880906 @default.
• W2105747912 hasConcept C71924100 @default.
• W2105747912 hasConcept C80444323 @default.
• W2105747912 hasConcept C89421646 @default.
• W2105747912 hasConcept C98045186 @default.
• W2105747912 hasConceptScore W2105747912C105605280 @default.
• W2105747912 hasConceptScore W2105747912C108710211 @default.
• W2105747912 hasConceptScore W2105747912C111919701 @default.
• W2105747912 hasConceptScore W2105747912C118615104 @default.
• W2105747912 hasConceptScore W2105747912C124978682 @default.
• W2105747912 hasConceptScore W2105747912C13355873 @default.
• W2105747912 hasConceptScore W2105747912C135754263 @default.
• W2105747912 hasConceptScore W2105747912C159718280 @default.
• W2105747912 hasConceptScore W2105747912C173613240 @default.
• W2105747912 hasConceptScore W2105747912C195653647 @default.
• W2105747912 hasConceptScore W2105747912C199343813 @default.
• W2105747912 hasConceptScore W2105747912C199360897 @default.
• W2105747912 hasConceptScore W2105747912C202854965 @default.
• W2105747912 hasConceptScore W2105747912C203265346 @default.
• W2105747912 hasConceptScore W2105747912C206880738 @default.
• W2105747912 hasConceptScore W2105747912C2318724 @default.
• W2105747912 hasConceptScore W2105747912C2524010 @default.
• W2105747912 hasConceptScore W2105747912C2777686260 @default.
• W2105747912 hasConceptScore W2105747912C2778701210 @default.
• W2105747912 hasConceptScore W2105747912C33923547 @default.
• W2105747912 hasConceptScore W2105747912C41008148 @default.
• W2105747912 hasConceptScore W2105747912C65880906 @default.
• W2105747912 hasConceptScore W2105747912C71924100 @default.
• W2105747912 hasConceptScore W2105747912C80444323 @default.
• W2105747912 hasConceptScore W2105747912C89421646 @default.
• W2105747912 hasConceptScore W2105747912C98045186 @default.
• W2105747912 hasLocation W21057479121 @default.
• W2105747912 hasOpenAccess W2105747912 @default.
• W2105747912 hasPrimaryLocation W21057479121 @default.
• W2105747912 hasRelatedWork W1481747501 @default.
• W2105747912 hasRelatedWork W1495396426 @default.
• W2105747912 hasRelatedWork W1508641834 @default.
• W2105747912 hasRelatedWork W1516901019 @default.
• W2105747912 hasRelatedWork W1524804222 @default.
• W2105747912 hasRelatedWork W1526849630 @default.
• W2105747912 hasRelatedWork W1553511155 @default.
• W2105747912 hasRelatedWork W1561567467 @default.
• W2105747912 hasRelatedWork W1787768633 @default.

• next