Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567675301> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1567675301 endingPage "310" @default.
- W1567675301 startingPage "297" @default.
- W1567675301 created "2016-06-24" @default.
- W1567675301 creator A5037529385 @default.
- W1567675301 date "2005-01-01" @default.
- W1567675301 modified "2023-09-25" @default.
- W1567675301 title "Deductive Multi-valued Model Checking" @default.
- W1567675301 cites W1503857897 @default.
- W1567675301 cites W1524332517 @default.
- W1567675301 cites W1525623009 @default.
- W1567675301 cites W1537088747 @default.
- W1567675301 cites W1538440743 @default.
- W1567675301 cites W1588557629 @default.
- W1567675301 cites W1735022296 @default.
- W1567675301 cites W18481719 @default.
- W1567675301 cites W1854012871 @default.
- W1567675301 cites W2015640848 @default.
- W1567675301 cites W2106000595 @default.
- W1567675301 cites W2501120957 @default.
- W1567675301 cites W4233995506 @default.
- W1567675301 cites W4244470190 @default.
- W1567675301 doi "https://doi.org/10.1007/11562931_23" @default.
- W1567675301 hasPublicationYear "2005" @default.
- W1567675301 type Work @default.
- W1567675301 sameAs 1567675301 @default.
- W1567675301 citedByCount "9" @default.
- W1567675301 countsByYear W15676753012012 @default.
- W1567675301 crossrefType "book-chapter" @default.
- W1567675301 hasAuthorship W1567675301A5037529385 @default.
- W1567675301 hasConcept C110251889 @default.
- W1567675301 hasConcept C11413529 @default.
- W1567675301 hasConcept C156325763 @default.
- W1567675301 hasConcept C177264268 @default.
- W1567675301 hasConcept C184337299 @default.
- W1567675301 hasConcept C185592680 @default.
- W1567675301 hasConcept C188027245 @default.
- W1567675301 hasConcept C199360897 @default.
- W1567675301 hasConcept C27508121 @default.
- W1567675301 hasConcept C2778029271 @default.
- W1567675301 hasConcept C2780654840 @default.
- W1567675301 hasConcept C30888246 @default.
- W1567675301 hasConcept C41008148 @default.
- W1567675301 hasConcept C71139939 @default.
- W1567675301 hasConcept C80444323 @default.
- W1567675301 hasConceptScore W1567675301C110251889 @default.
- W1567675301 hasConceptScore W1567675301C11413529 @default.
- W1567675301 hasConceptScore W1567675301C156325763 @default.
- W1567675301 hasConceptScore W1567675301C177264268 @default.
- W1567675301 hasConceptScore W1567675301C184337299 @default.
- W1567675301 hasConceptScore W1567675301C185592680 @default.
- W1567675301 hasConceptScore W1567675301C188027245 @default.
- W1567675301 hasConceptScore W1567675301C199360897 @default.
- W1567675301 hasConceptScore W1567675301C27508121 @default.
- W1567675301 hasConceptScore W1567675301C2778029271 @default.
- W1567675301 hasConceptScore W1567675301C2780654840 @default.
- W1567675301 hasConceptScore W1567675301C30888246 @default.
- W1567675301 hasConceptScore W1567675301C41008148 @default.
- W1567675301 hasConceptScore W1567675301C71139939 @default.
- W1567675301 hasConceptScore W1567675301C80444323 @default.
- W1567675301 hasLocation W15676753011 @default.
- W1567675301 hasOpenAccess W1567675301 @default.
- W1567675301 hasPrimaryLocation W15676753011 @default.
- W1567675301 hasRelatedWork W1567675301 @default.
- W1567675301 hasRelatedWork W1575025334 @default.
- W1567675301 hasRelatedWork W1855927527 @default.
- W1567675301 hasRelatedWork W1985493680 @default.
- W1567675301 hasRelatedWork W2005263036 @default.
- W1567675301 hasRelatedWork W2023867746 @default.
- W1567675301 hasRelatedWork W2090686886 @default.
- W1567675301 hasRelatedWork W2142782287 @default.
- W1567675301 hasRelatedWork W2542099395 @default.
- W1567675301 hasRelatedWork W1880843538 @default.
- W1567675301 isParatext "false" @default.
- W1567675301 isRetracted "false" @default.
- W1567675301 magId "1567675301" @default.
- W1567675301 workType "book-chapter" @default.