FRINK Linked Data Fragments server

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

• W124433265 endingPage "50" @default.
• W124433265 startingPage "35" @default.
• W124433265 created "2016-06-24" @default.
• W124433265 creator A5045859619 @default.
• W124433265 creator A5051586876 @default.
• W124433265 creator A5082604888 @default.
• W124433265 date "2009-01-01" @default.
• W124433265 modified "2023-10-14" @default.
• W124433265 title "On Deciding Satisfiability by DPLL( $Gamma+{mathcal T}$ ) and Unsound Theorem Proving" @default.
• W124433265 cites W1543051890 @default.
• W124433265 cites W1593635240 @default.
• W124433265 cites W1595962583 @default.
• W124433265 cites W1959256509 @default.
• W124433265 cites W1980102547 @default.
• W124433265 cites W1993836075 @default.
• W124433265 cites W2037163667 @default.
• W124433265 cites W2056181378 @default.
• W124433265 cites W2084417024 @default.
• W124433265 cites W2086636341 @default.
• W124433265 cites W2113890674 @default.
• W124433265 cites W2125267811 @default.
• W124433265 cites W2144859778 @default.
• W124433265 cites W2156915267 @default.
• W124433265 cites W2164778826 @default.
• W124433265 cites W3104411811 @default.
• W124433265 cites W4205795901 @default.
• W124433265 doi "https://doi.org/10.1007/978-3-642-02959-2_3" @default.
• W124433265 hasPublicationYear "2009" @default.
• W124433265 type Work @default.
• W124433265 sameAs 124433265 @default.
• W124433265 citedByCount "16" @default.
• W124433265 countsByYear W1244332652012 @default.
• W124433265 countsByYear W1244332652013 @default.
• W124433265 countsByYear W1244332652014 @default.
• W124433265 countsByYear W1244332652015 @default.
• W124433265 countsByYear W1244332652018 @default.
• W124433265 countsByYear W1244332652019 @default.
• W124433265 countsByYear W1244332652021 @default.
• W124433265 countsByYear W1244332652023 @default.
• W124433265 crossrefType "book-chapter" @default.
• W124433265 hasAuthorship W124433265A5045859619 @default.
• W124433265 hasAuthorship W124433265A5051586876 @default.
• W124433265 hasAuthorship W124433265A5082604888 @default.
• W124433265 hasConcept C108710211 @default.
• W124433265 hasConcept C11413529 @default.
• W124433265 hasConcept C118615104 @default.
• W124433265 hasConcept C12707504 @default.
• W124433265 hasConcept C134652429 @default.
• W124433265 hasConcept C143936061 @default.
• W124433265 hasConcept C154945302 @default.
• W124433265 hasConcept C159718280 @default.
• W124433265 hasConcept C164155591 @default.
• W124433265 hasConcept C167729594 @default.
• W124433265 hasConcept C168773769 @default.
• W124433265 hasConcept C189790780 @default.
• W124433265 hasConcept C199360897 @default.
• W124433265 hasConcept C206880738 @default.
• W124433265 hasConcept C2524010 @default.
• W124433265 hasConcept C2776214188 @default.
• W124433265 hasConcept C33923547 @default.
• W124433265 hasConcept C3746660 @default.
• W124433265 hasConcept C41008148 @default.
• W124433265 hasConcept C54732982 @default.
• W124433265 hasConcept C6943359 @default.
• W124433265 hasConcept C76155785 @default.
• W124433265 hasConcept C80444323 @default.
• W124433265 hasConcept C81721847 @default.
• W124433265 hasConceptScore W124433265C108710211 @default.
• W124433265 hasConceptScore W124433265C11413529 @default.
• W124433265 hasConceptScore W124433265C118615104 @default.
• W124433265 hasConceptScore W124433265C12707504 @default.
• W124433265 hasConceptScore W124433265C134652429 @default.
• W124433265 hasConceptScore W124433265C143936061 @default.
• W124433265 hasConceptScore W124433265C154945302 @default.
• W124433265 hasConceptScore W124433265C159718280 @default.
• W124433265 hasConceptScore W124433265C164155591 @default.
• W124433265 hasConceptScore W124433265C167729594 @default.
• W124433265 hasConceptScore W124433265C168773769 @default.
• W124433265 hasConceptScore W124433265C189790780 @default.
• W124433265 hasConceptScore W124433265C199360897 @default.
• W124433265 hasConceptScore W124433265C206880738 @default.
• W124433265 hasConceptScore W124433265C2524010 @default.
• W124433265 hasConceptScore W124433265C2776214188 @default.
• W124433265 hasConceptScore W124433265C33923547 @default.
• W124433265 hasConceptScore W124433265C3746660 @default.
• W124433265 hasConceptScore W124433265C41008148 @default.
• W124433265 hasConceptScore W124433265C54732982 @default.
• W124433265 hasConceptScore W124433265C6943359 @default.
• W124433265 hasConceptScore W124433265C76155785 @default.
• W124433265 hasConceptScore W124433265C80444323 @default.
• W124433265 hasConceptScore W124433265C81721847 @default.
• W124433265 hasLocation W1244332651 @default.
• W124433265 hasOpenAccess W124433265 @default.
• W124433265 hasPrimaryLocation W1244332651 @default.
• W124433265 hasRelatedWork W124433265 @default.
• W124433265 hasRelatedWork W1747583082 @default.
• W124433265 hasRelatedWork W1792111512 @default.
• W124433265 hasRelatedWork W1860739477 @default.
• W124433265 hasRelatedWork W2084417024 @default.
• W124433265 hasRelatedWork W2087931334 @default.

• next