FRINK Linked Data Fragments server

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

• W2075318537 endingPage "371" @default.
• W2075318537 startingPage "347" @default.
• W2075318537 created "2016-06-24" @default.
• W2075318537 creator A5022142929 @default.
• W2075318537 creator A5042735025 @default.
• W2075318537 creator A5048669607 @default.
• W2075318537 creator A5071579968 @default.
• W2075318537 creator A5082437433 @default.
• W2075318537 creator A5088526794 @default.
• W2075318537 date "2014-06-13" @default.
• W2075318537 modified "2023-10-16" @default.
• W2075318537 title "Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic" @default.
• W2075318537 cites W111377361 @default.
• W2075318537 cites W1480909796 @default.
• W2075318537 cites W1513363711 @default.
• W2075318537 cites W1531327550 @default.
• W2075318537 cites W1592338211 @default.
• W2075318537 cites W1987679122 @default.
• W2075318537 cites W1994143452 @default.
• W2075318537 cites W2001828104 @default.
• W2075318537 cites W2002273082 @default.
• W2075318537 cites W2022846948 @default.
• W2075318537 cites W2029444572 @default.
• W2075318537 cites W2041990574 @default.
• W2075318537 cites W2049934581 @default.
• W2075318537 cites W2063342497 @default.
• W2075318537 cites W2082172430 @default.
• W2075318537 cites W2101512909 @default.
• W2075318537 cites W2121470602 @default.
• W2075318537 cites W2125967324 @default.
• W2075318537 cites W2140039780 @default.
• W2075318537 cites W2143404201 @default.
• W2075318537 cites W2147487384 @default.
• W2075318537 cites W2159000620 @default.
• W2075318537 cites W2232440662 @default.
• W2075318537 cites W2288450576 @default.
• W2075318537 cites W4248161256 @default.
• W2075318537 cites W4253178675 @default.
• W2075318537 cites W50000015 @default.
• W2075318537 doi "https://doi.org/10.1007/s00224-014-9553-9" @default.
• W2075318537 hasPublicationYear "2014" @default.
• W2075318537 type Work @default.
• W2075318537 sameAs 2075318537 @default.
• W2075318537 citedByCount "8" @default.
• W2075318537 countsByYear W20753185372015 @default.
• W2075318537 countsByYear W20753185372017 @default.
• W2075318537 countsByYear W20753185372018 @default.
• W2075318537 countsByYear W20753185372020 @default.
• W2075318537 countsByYear W20753185372021 @default.
• W2075318537 crossrefType "journal-article" @default.
• W2075318537 hasAuthorship W2075318537A5022142929 @default.
• W2075318537 hasAuthorship W2075318537A5042735025 @default.
• W2075318537 hasAuthorship W2075318537A5048669607 @default.
• W2075318537 hasAuthorship W2075318537A5071579968 @default.
• W2075318537 hasAuthorship W2075318537A5082437433 @default.
• W2075318537 hasAuthorship W2075318537A5088526794 @default.
• W2075318537 hasConcept C111919701 @default.
• W2075318537 hasConcept C11413529 @default.
• W2075318537 hasConcept C114614502 @default.
• W2075318537 hasConcept C118615104 @default.
• W2075318537 hasConcept C121332964 @default.
• W2075318537 hasConcept C127413603 @default.
• W2075318537 hasConcept C164155591 @default.
• W2075318537 hasConcept C168773769 @default.
• W2075318537 hasConcept C199360897 @default.
• W2075318537 hasConcept C20556612 @default.
• W2075318537 hasConcept C2777735758 @default.
• W2075318537 hasConcept C2778572836 @default.
• W2075318537 hasConcept C2780428219 @default.
• W2075318537 hasConcept C2780882242 @default.
• W2075318537 hasConcept C33676613 @default.
• W2075318537 hasConcept C33923547 @default.
• W2075318537 hasConcept C41008148 @default.
• W2075318537 hasConcept C45340560 @default.
• W2075318537 hasConcept C54732982 @default.
• W2075318537 hasConcept C62520636 @default.
• W2075318537 hasConcept C78519656 @default.
• W2075318537 hasConceptScore W2075318537C111919701 @default.
• W2075318537 hasConceptScore W2075318537C11413529 @default.
• W2075318537 hasConceptScore W2075318537C114614502 @default.
• W2075318537 hasConceptScore W2075318537C118615104 @default.
• W2075318537 hasConceptScore W2075318537C121332964 @default.
• W2075318537 hasConceptScore W2075318537C127413603 @default.
• W2075318537 hasConceptScore W2075318537C164155591 @default.
• W2075318537 hasConceptScore W2075318537C168773769 @default.
• W2075318537 hasConceptScore W2075318537C199360897 @default.
• W2075318537 hasConceptScore W2075318537C20556612 @default.
• W2075318537 hasConceptScore W2075318537C2777735758 @default.
• W2075318537 hasConceptScore W2075318537C2778572836 @default.
• W2075318537 hasConceptScore W2075318537C2780428219 @default.
• W2075318537 hasConceptScore W2075318537C2780882242 @default.
• W2075318537 hasConceptScore W2075318537C33676613 @default.
• W2075318537 hasConceptScore W2075318537C33923547 @default.
• W2075318537 hasConceptScore W2075318537C41008148 @default.
• W2075318537 hasConceptScore W2075318537C45340560 @default.
• W2075318537 hasConceptScore W2075318537C54732982 @default.
• W2075318537 hasConceptScore W2075318537C62520636 @default.
• W2075318537 hasConceptScore W2075318537C78519656 @default.
• W2075318537 hasIssue "2" @default.
• W2075318537 hasLocation W20753185371 @default.

• next