FRINK Linked Data Fragments server

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

• W2783704968 abstract "The first-order intuitionistic logic is a formal theory from the family of constructive theories. In intuitionistic logic, it is possible to extract a particular example (x=a) and a proof of a formula P(a) from a proof of a formula (exists x,P(x)). Thanks to this feature, intuitionistic logic has many applications in mathematics and computer science. Several modern proof assistants include automated tactics for the first-order intuitionistic logic which could simplify the task of solving challenging problems, e.g. formal verification of software, hardware, and protocols." @default.
• W2783704968 created "2018-01-26" @default.
• W2783704968 creator A5004545745 @default.
• W2783704968 creator A5066335278 @default.
• W2783704968 date "2018-01-01" @default.
• W2783704968 modified "2023-09-27" @default.
• W2783704968 title "WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method" @default.
• W2783704968 cites W1543931510 @default.
• W2783704968 cites W1544846403 @default.
• W2783704968 cites W1568501149 @default.
• W2783704968 cites W1571828481 @default.
• W2783704968 cites W1600630910 @default.
• W2783704968 cites W1604435911 @default.
• W2783704968 cites W1787768633 @default.
• W2783704968 cites W2008211212 @default.
• W2783704968 cites W2055466270 @default.
• W2783704968 cites W2105747912 @default.
• W2783704968 cites W2170862285 @default.
• W2783704968 cites W26908971 @default.
• W2783704968 doi "https://doi.org/10.1007/978-3-319-74313-4_23" @default.
• W2783704968 hasPublicationYear "2018" @default.
• W2783704968 type Work @default.
• W2783704968 sameAs 2783704968 @default.
• W2783704968 citedByCount "1" @default.
• W2783704968 countsByYear W27837049682019 @default.
• W2783704968 crossrefType "book-chapter" @default.
• W2783704968 hasAuthorship W2783704968A5004545745 @default.
• W2783704968 hasAuthorship W2783704968A5066335278 @default.
• W2783704968 hasConcept C100481476 @default.
• W2783704968 hasConcept C102993220 @default.
• W2783704968 hasConcept C108710211 @default.
• W2783704968 hasConcept C118615104 @default.
• W2783704968 hasConcept C159718280 @default.
• W2783704968 hasConcept C169896238 @default.
• W2783704968 hasConcept C178421362 @default.
• W2783704968 hasConcept C195344581 @default.
• W2783704968 hasConcept C199343813 @default.
• W2783704968 hasConcept C199360897 @default.
• W2783704968 hasConcept C202854965 @default.
• W2783704968 hasConcept C203265346 @default.
• W2783704968 hasConcept C206880738 @default.
• W2783704968 hasConcept C2318724 @default.
• W2783704968 hasConcept C2524010 @default.
• W2783704968 hasConcept C2777686260 @default.
• W2783704968 hasConcept C2778701210 @default.
• W2783704968 hasConcept C28077239 @default.
• W2783704968 hasConcept C33923547 @default.
• W2783704968 hasConcept C41008148 @default.
• W2783704968 hasConcept C71924100 @default.
• W2783704968 hasConcept C75606506 @default.
• W2783704968 hasConcept C80444323 @default.
• W2783704968 hasConcept C98045186 @default.
• W2783704968 hasConceptScore W2783704968C100481476 @default.
• W2783704968 hasConceptScore W2783704968C102993220 @default.
• W2783704968 hasConceptScore W2783704968C108710211 @default.
• W2783704968 hasConceptScore W2783704968C118615104 @default.
• W2783704968 hasConceptScore W2783704968C159718280 @default.
• W2783704968 hasConceptScore W2783704968C169896238 @default.
• W2783704968 hasConceptScore W2783704968C178421362 @default.
• W2783704968 hasConceptScore W2783704968C195344581 @default.
• W2783704968 hasConceptScore W2783704968C199343813 @default.
• W2783704968 hasConceptScore W2783704968C199360897 @default.
• W2783704968 hasConceptScore W2783704968C202854965 @default.
• W2783704968 hasConceptScore W2783704968C203265346 @default.
• W2783704968 hasConceptScore W2783704968C206880738 @default.
• W2783704968 hasConceptScore W2783704968C2318724 @default.
• W2783704968 hasConceptScore W2783704968C2524010 @default.
• W2783704968 hasConceptScore W2783704968C2777686260 @default.
• W2783704968 hasConceptScore W2783704968C2778701210 @default.
• W2783704968 hasConceptScore W2783704968C28077239 @default.
• W2783704968 hasConceptScore W2783704968C33923547 @default.
• W2783704968 hasConceptScore W2783704968C41008148 @default.
• W2783704968 hasConceptScore W2783704968C71924100 @default.
• W2783704968 hasConceptScore W2783704968C75606506 @default.
• W2783704968 hasConceptScore W2783704968C80444323 @default.
• W2783704968 hasConceptScore W2783704968C98045186 @default.
• W2783704968 hasLocation W27837049681 @default.
• W2783704968 hasOpenAccess W2783704968 @default.
• W2783704968 hasPrimaryLocation W27837049681 @default.
• W2783704968 hasRelatedWork W1486384786 @default.
• W2783704968 hasRelatedWork W1551050998 @default.
• W2783704968 hasRelatedWork W1553445265 @default.
• W2783704968 hasRelatedWork W1554618854 @default.
• W2783704968 hasRelatedWork W1598572838 @default.
• W2783704968 hasRelatedWork W1602423174 @default.
• W2783704968 hasRelatedWork W1787768633 @default.
• W2783704968 hasRelatedWork W1846589774 @default.
• W2783704968 hasRelatedWork W1981368022 @default.
• W2783704968 hasRelatedWork W2035490172 @default.
• W2783704968 hasRelatedWork W2098316338 @default.
• W2783704968 hasRelatedWork W2117766234 @default.
• W2783704968 hasRelatedWork W2156307264 @default.
• W2783704968 hasRelatedWork W2510622047 @default.
• W2783704968 hasRelatedWork W2613099782 @default.
• W2783704968 hasRelatedWork W2789694236 @default.
• W2783704968 hasRelatedWork W2969536091 @default.
• W2783704968 hasRelatedWork W3088664422 @default.
• W2783704968 hasRelatedWork W31250260 @default.
• W2783704968 hasRelatedWork W81013966 @default.
• W2783704968 isParatext "false" @default.

• next