FRINK Linked Data Fragments server

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

• W3199457844 created "2021-09-27" @default.
• W3199457844 creator A5028260073 @default.
• W3199457844 creator A5057556247 @default.
• W3199457844 creator A5079200257 @default.
• W3199457844 creator A5089828576 @default.
• W3199457844 date "2023-01-21" @default.
• W3199457844 modified "2023-10-09" @default.
• W3199457844 title "Superposition for Higher-Order Logic" @default.
• W3199457844 cites W1480782930 @default.
• W3199457844 cites W1513576223 @default.
• W3199457844 cites W1554551469 @default.
• W3199457844 cites W1584399668 @default.
• W3199457844 cites W1599039905 @default.
• W3199457844 cites W1661653767 @default.
• W3199457844 cites W1955821421 @default.
• W3199457844 cites W1975808446 @default.
• W3199457844 cites W1980214308 @default.
• W3199457844 cites W1990121424 @default.
• W3199457844 cites W1990946582 @default.
• W3199457844 cites W2033042203 @default.
• W3199457844 cites W2034676877 @default.
• W3199457844 cites W2037085273 @default.
• W3199457844 cites W2040723389 @default.
• W3199457844 cites W2133527541 @default.
• W3199457844 cites W2588018425 @default.
• W3199457844 cites W2886133399 @default.
• W3199457844 cites W2912020100 @default.
• W3199457844 cites W3039562913 @default.
• W3199457844 cites W3040578348 @default.
• W3199457844 cites W3105385839 @default.
• W3199457844 cites W3167807588 @default.
• W3199457844 cites W3180051810 @default.
• W3199457844 cites W3194933338 @default.
• W3199457844 cites W4205248893 @default.
• W3199457844 cites W4246691913 @default.
• W3199457844 cites W79561349 @default.
• W3199457844 doi "https://doi.org/10.1007/s10817-022-09649-9" @default.
• W3199457844 hasPublicationYear "2023" @default.
• W3199457844 type Work @default.
• W3199457844 sameAs 3199457844 @default.
• W3199457844 citedByCount "1" @default.
• W3199457844 countsByYear W31994578442023 @default.
• W3199457844 crossrefType "journal-article" @default.
• W3199457844 hasAuthorship W3199457844A5028260073 @default.
• W3199457844 hasAuthorship W3199457844A5057556247 @default.
• W3199457844 hasAuthorship W3199457844A5079200257 @default.
• W3199457844 hasAuthorship W3199457844A5089828576 @default.
• W3199457844 hasConcept C100481476 @default.
• W3199457844 hasConcept C10138342 @default.
• W3199457844 hasConcept C102993220 @default.
• W3199457844 hasConcept C118615104 @default.
• W3199457844 hasConcept C120665830 @default.
• W3199457844 hasConcept C121332964 @default.
• W3199457844 hasConcept C134306372 @default.
• W3199457844 hasConcept C136119220 @default.
• W3199457844 hasConcept C150355047 @default.
• W3199457844 hasConcept C162324750 @default.
• W3199457844 hasConcept C169896238 @default.
• W3199457844 hasConcept C182306322 @default.
• W3199457844 hasConcept C184337299 @default.
• W3199457844 hasConcept C199343813 @default.
• W3199457844 hasConcept C199360897 @default.
• W3199457844 hasConcept C202444582 @default.
• W3199457844 hasConcept C27753989 @default.
• W3199457844 hasConcept C2777686260 @default.
• W3199457844 hasConcept C2778113609 @default.
• W3199457844 hasConcept C32241873 @default.
• W3199457844 hasConcept C33923547 @default.
• W3199457844 hasConcept C41008148 @default.
• W3199457844 hasConcept C71924100 @default.
• W3199457844 hasConceptScore W3199457844C100481476 @default.
• W3199457844 hasConceptScore W3199457844C10138342 @default.
• W3199457844 hasConceptScore W3199457844C102993220 @default.
• W3199457844 hasConceptScore W3199457844C118615104 @default.
• W3199457844 hasConceptScore W3199457844C120665830 @default.
• W3199457844 hasConceptScore W3199457844C121332964 @default.
• W3199457844 hasConceptScore W3199457844C134306372 @default.
• W3199457844 hasConceptScore W3199457844C136119220 @default.
• W3199457844 hasConceptScore W3199457844C150355047 @default.
• W3199457844 hasConceptScore W3199457844C162324750 @default.
• W3199457844 hasConceptScore W3199457844C169896238 @default.
• W3199457844 hasConceptScore W3199457844C182306322 @default.
• W3199457844 hasConceptScore W3199457844C184337299 @default.
• W3199457844 hasConceptScore W3199457844C199343813 @default.
• W3199457844 hasConceptScore W3199457844C199360897 @default.
• W3199457844 hasConceptScore W3199457844C202444582 @default.
• W3199457844 hasConceptScore W3199457844C27753989 @default.
• W3199457844 hasConceptScore W3199457844C2777686260 @default.
• W3199457844 hasConceptScore W3199457844C2778113609 @default.
• W3199457844 hasConceptScore W3199457844C32241873 @default.
• W3199457844 hasConceptScore W3199457844C33923547 @default.
• W3199457844 hasConceptScore W3199457844C41008148 @default.
• W3199457844 hasConceptScore W3199457844C71924100 @default.
• W3199457844 hasFunder F4320321800 @default.
• W3199457844 hasFunder F4320334678 @default.
• W3199457844 hasIssue "1" @default.
• W3199457844 hasLocation W31994578441 @default.
• W3199457844 hasOpenAccess W3199457844 @default.
• W3199457844 hasPrimaryLocation W31994578441 @default.
• W3199457844 hasRelatedWork W1587224678 @default.

• next