FRINK Linked Data Fragments server

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

• W1512621320 endingPage "9" @default.
• W1512621320 startingPage "1" @default.
• W1512621320 created "2016-06-24" @default.
• W1512621320 creator A5064496079 @default.
• W1512621320 creator A5077314055 @default.
• W1512621320 date "2006-01-01" @default.
• W1512621320 modified "2023-09-26" @default.
• W1512621320 title "From Propositional Satisfiability to Satisfiability Modulo Theories" @default.
• W1512621320 cites W1484352250 @default.
• W1512621320 cites W1489527380 @default.
• W1512621320 cites W1500406210 @default.
• W1512621320 cites W1500991862 @default.
• W1512621320 cites W1504192541 @default.
• W1512621320 cites W1515175581 @default.
• W1512621320 cites W1520105804 @default.
• W1512621320 cites W1522857917 @default.
• W1512621320 cites W1525425510 @default.
• W1512621320 cites W1540181924 @default.
• W1512621320 cites W1572729891 @default.
• W1512621320 cites W1741528175 @default.
• W1512621320 cites W1823736747 @default.
• W1512621320 cites W1923495615 @default.
• W1512621320 cites W1990150118 @default.
• W1512621320 cites W2020092346 @default.
• W1512621320 cites W2044560939 @default.
• W1512621320 cites W2057361103 @default.
• W1512621320 cites W2097414162 @default.
• W1512621320 cites W2100126165 @default.
• W1512621320 cites W2103976856 @default.
• W1512621320 cites W2142785340 @default.
• W1512621320 cites W2164778826 @default.
• W1512621320 cites W4231252310 @default.
• W1512621320 cites W4241627488 @default.
• W1512621320 doi "https://doi.org/10.1007/11814948_1" @default.
• W1512621320 hasPublicationYear "2006" @default.
• W1512621320 type Work @default.
• W1512621320 sameAs 1512621320 @default.
• W1512621320 citedByCount "20" @default.
• W1512621320 countsByYear W15126213202012 @default.
• W1512621320 countsByYear W15126213202013 @default.
• W1512621320 countsByYear W15126213202015 @default.
• W1512621320 countsByYear W15126213202016 @default.
• W1512621320 countsByYear W15126213202017 @default.
• W1512621320 crossrefType "book-chapter" @default.
• W1512621320 hasAuthorship W1512621320A5064496079 @default.
• W1512621320 hasAuthorship W1512621320A5077314055 @default.
• W1512621320 hasConcept C108010975 @default.
• W1512621320 hasConcept C11413529 @default.
• W1512621320 hasConcept C120665830 @default.
• W1512621320 hasConcept C121332964 @default.
• W1512621320 hasConcept C12707504 @default.
• W1512621320 hasConcept C134652429 @default.
• W1512621320 hasConcept C143936061 @default.
• W1512621320 hasConcept C153269930 @default.
• W1512621320 hasConcept C16221470 @default.
• W1512621320 hasConcept C164155591 @default.
• W1512621320 hasConcept C168773769 @default.
• W1512621320 hasConcept C192209626 @default.
• W1512621320 hasConcept C199360897 @default.
• W1512621320 hasConcept C33923547 @default.
• W1512621320 hasConcept C41008148 @default.
• W1512621320 hasConcept C48044578 @default.
• W1512621320 hasConcept C6557445 @default.
• W1512621320 hasConcept C6943359 @default.
• W1512621320 hasConcept C69562738 @default.
• W1512621320 hasConcept C76155785 @default.
• W1512621320 hasConcept C77088390 @default.
• W1512621320 hasConcept C80444323 @default.
• W1512621320 hasConcept C86803240 @default.
• W1512621320 hasConceptScore W1512621320C108010975 @default.
• W1512621320 hasConceptScore W1512621320C11413529 @default.
• W1512621320 hasConceptScore W1512621320C120665830 @default.
• W1512621320 hasConceptScore W1512621320C121332964 @default.
• W1512621320 hasConceptScore W1512621320C12707504 @default.
• W1512621320 hasConceptScore W1512621320C134652429 @default.
• W1512621320 hasConceptScore W1512621320C143936061 @default.
• W1512621320 hasConceptScore W1512621320C153269930 @default.
• W1512621320 hasConceptScore W1512621320C16221470 @default.
• W1512621320 hasConceptScore W1512621320C164155591 @default.
• W1512621320 hasConceptScore W1512621320C168773769 @default.
• W1512621320 hasConceptScore W1512621320C192209626 @default.
• W1512621320 hasConceptScore W1512621320C199360897 @default.
• W1512621320 hasConceptScore W1512621320C33923547 @default.
• W1512621320 hasConceptScore W1512621320C41008148 @default.
• W1512621320 hasConceptScore W1512621320C48044578 @default.
• W1512621320 hasConceptScore W1512621320C6557445 @default.
• W1512621320 hasConceptScore W1512621320C6943359 @default.
• W1512621320 hasConceptScore W1512621320C69562738 @default.
• W1512621320 hasConceptScore W1512621320C76155785 @default.
• W1512621320 hasConceptScore W1512621320C77088390 @default.
• W1512621320 hasConceptScore W1512621320C80444323 @default.
• W1512621320 hasConceptScore W1512621320C86803240 @default.
• W1512621320 hasLocation W15126213201 @default.
• W1512621320 hasOpenAccess W1512621320 @default.
• W1512621320 hasPrimaryLocation W15126213201 @default.
• W1512621320 hasRelatedWork W1512621320 @default.
• W1512621320 hasRelatedWork W1553603549 @default.
• W1512621320 hasRelatedWork W1604312867 @default.
• W1512621320 hasRelatedWork W1775889152 @default.
• W1512621320 hasRelatedWork W1839246176 @default.

• next