FRINK Linked Data Fragments server

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

• W2159170152 endingPage "583" @default.
• W2159170152 startingPage "569" @default.
• W2159170152 created "2016-06-24" @default.
• W2159170152 creator A5003671114 @default.
• W2159170152 creator A5022258975 @default.
• W2159170152 date "2002-01-01" @default.
• W2159170152 modified "2023-10-18" @default.
• W2159170152 title "On the Automatizability of Resolution and Related Propositional Proof Systems" @default.
• W2159170152 cites W14085832 @default.
• W2159170152 cites W1521859395 @default.
• W2159170152 cites W1567249591 @default.
• W2159170152 cites W1968864043 @default.
• W2159170152 cites W1988083342 @default.
• W2159170152 cites W1999069928 @default.
• W2159170152 cites W2012476164 @default.
• W2159170152 cites W2026967932 @default.
• W2159170152 cites W2044095368 @default.
• W2159170152 cites W2044632231 @default.
• W2159170152 cites W2047237020 @default.
• W2159170152 cites W2054013713 @default.
• W2159170152 cites W2057361103 @default.
• W2159170152 cites W2062897452 @default.
• W2159170152 cites W2068363706 @default.
• W2159170152 cites W2083193613 @default.
• W2159170152 cites W2084029169 @default.
• W2159170152 cites W2084384424 @default.
• W2159170152 cites W2095226356 @default.
• W2159170152 cites W2097113315 @default.
• W2159170152 cites W2114817374 @default.
• W2159170152 cites W2117749206 @default.
• W2159170152 cites W2132148988 @default.
• W2159170152 cites W2144047381 @default.
• W2159170152 cites W2158029166 @default.
• W2159170152 cites W2159170152 @default.
• W2159170152 cites W2492280620 @default.
• W2159170152 doi "https://doi.org/10.1007/3-540-45793-3_38" @default.
• W2159170152 hasPublicationYear "2002" @default.
• W2159170152 type Work @default.
• W2159170152 sameAs 2159170152 @default.
• W2159170152 citedByCount "16" @default.
• W2159170152 countsByYear W21591701522013 @default.
• W2159170152 crossrefType "book-chapter" @default.
• W2159170152 hasAuthorship W2159170152A5003671114 @default.
• W2159170152 hasAuthorship W2159170152A5022258975 @default.
• W2159170152 hasConcept C10138342 @default.
• W2159170152 hasConcept C105605280 @default.
• W2159170152 hasConcept C108710211 @default.
• W2159170152 hasConcept C11413529 @default.
• W2159170152 hasConcept C115961682 @default.
• W2159170152 hasConcept C118615104 @default.
• W2159170152 hasConcept C124101348 @default.
• W2159170152 hasConcept C134306372 @default.
• W2159170152 hasConcept C137800194 @default.
• W2159170152 hasConcept C138268822 @default.
• W2159170152 hasConcept C154945302 @default.
• W2159170152 hasConcept C16221470 @default.
• W2159170152 hasConcept C162324750 @default.
• W2159170152 hasConcept C171988527 @default.
• W2159170152 hasConcept C182306322 @default.
• W2159170152 hasConcept C199360897 @default.
• W2159170152 hasConcept C2524010 @default.
• W2159170152 hasConcept C2776436953 @default.
• W2159170152 hasConcept C2777212361 @default.
• W2159170152 hasConcept C2780009758 @default.
• W2159170152 hasConcept C2834757 @default.
• W2159170152 hasConcept C33923547 @default.
• W2159170152 hasConcept C41008148 @default.
• W2159170152 hasConcept C65682993 @default.
• W2159170152 hasConcept C77553402 @default.
• W2159170152 hasConcept C90119067 @default.
• W2159170152 hasConceptScore W2159170152C10138342 @default.
• W2159170152 hasConceptScore W2159170152C105605280 @default.
• W2159170152 hasConceptScore W2159170152C108710211 @default.
• W2159170152 hasConceptScore W2159170152C11413529 @default.
• W2159170152 hasConceptScore W2159170152C115961682 @default.
• W2159170152 hasConceptScore W2159170152C118615104 @default.
• W2159170152 hasConceptScore W2159170152C124101348 @default.
• W2159170152 hasConceptScore W2159170152C134306372 @default.
• W2159170152 hasConceptScore W2159170152C137800194 @default.
• W2159170152 hasConceptScore W2159170152C138268822 @default.
• W2159170152 hasConceptScore W2159170152C154945302 @default.
• W2159170152 hasConceptScore W2159170152C16221470 @default.
• W2159170152 hasConceptScore W2159170152C162324750 @default.
• W2159170152 hasConceptScore W2159170152C171988527 @default.
• W2159170152 hasConceptScore W2159170152C182306322 @default.
• W2159170152 hasConceptScore W2159170152C199360897 @default.
• W2159170152 hasConceptScore W2159170152C2524010 @default.
• W2159170152 hasConceptScore W2159170152C2776436953 @default.
• W2159170152 hasConceptScore W2159170152C2777212361 @default.
• W2159170152 hasConceptScore W2159170152C2780009758 @default.
• W2159170152 hasConceptScore W2159170152C2834757 @default.
• W2159170152 hasConceptScore W2159170152C33923547 @default.
• W2159170152 hasConceptScore W2159170152C41008148 @default.
• W2159170152 hasConceptScore W2159170152C65682993 @default.
• W2159170152 hasConceptScore W2159170152C77553402 @default.
• W2159170152 hasConceptScore W2159170152C90119067 @default.
• W2159170152 hasLocation W21591701521 @default.
• W2159170152 hasOpenAccess W2159170152 @default.
• W2159170152 hasPrimaryLocation W21591701521 @default.
• W2159170152 hasRelatedWork W1982672583 @default.

• next