Matches in Wikidata for { <http://www.wikidata.org/entity/Q59054119> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- Q59054119 description "wetenschappelijk artikel" @default.
- Q59054119 description "наукова стаття, опублікована у 2014" @default.
- Q59054119 name "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 name "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 type Item @default.
- Q59054119 label "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 label "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 prefLabel "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 prefLabel "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 P1433 Q59054119-AE809F34-FE46-413B-968D-A489E6B4899E @default.
- Q59054119 P1476 Q59054119-B5A48D20-C1BA-464E-84C2-CA94DE5A87DF @default.
- Q59054119 P2093 Q59054119-057F1981-7F59-4C06-90D4-2308F0F53700 @default.
- Q59054119 P2093 Q59054119-12A33826-1AE5-4B28-9A1F-588585DD44C2 @default.
- Q59054119 P2093 Q59054119-2A7B40F9-C713-4DDD-9AE1-EFEBF3E46742 @default.
- Q59054119 P2093 Q59054119-3FAD4040-43B0-491B-8BAC-F4F08B452681 @default.
- Q59054119 P2093 Q59054119-47A05E21-5AE0-4791-986C-D1E6041F5B2F @default.
- Q59054119 P2093 Q59054119-A0D55B53-EDB9-4E36-B03D-E01E34016D9F @default.
- Q59054119 P275 Q59054119-749D38E1-EBB7-488E-8682-EE8280EF5137 @default.
- Q59054119 P304 Q59054119-841F24E4-24BC-4BAF-B0DA-8D98D89552EC @default.
- Q59054119 P31 Q59054119-46C6D9E8-F969-4CF2-A622-3FB95BBF82B1 @default.
- Q59054119 P356 Q59054119-4B122C86-ACE0-4B96-80CD-4133FAD54A6F @default.
- Q59054119 P478 Q59054119-6C24F37A-6965-4E58-9FE6-B9B96777ADB2 @default.
- Q59054119 P577 Q59054119-3505AC00-6B08-4804-B594-5BE1824811E0 @default.
- Q59054119 P6104 Q59054119-1567788A-16F8-4B53-AC1C-5B948CD4A8FE @default.
- Q59054119 P6216 Q59054119-37D70C74-2E6E-444E-A22A-AF5118B454B8 @default.
- Q59054119 P894 Q59054119-FEBF9ED3-E2EC-4144-89E3-738B7DC576C9 @default.
- Q59054119 P8978 Q59054119-04EDA9C6-D024-4842-958C-C831F46A54D3 @default.
- Q59054119 P356 702165 @default.
- Q59054119 P8978 LiuWFWDM14 @default.
- Q59054119 P1433 Q13359509 @default.
- Q59054119 P1476 "Counterexample-Preserving Reduction for Symbolic Model Checking" @default.
- Q59054119 P2093 "Ji Wang" @default.
- Q59054119 P2093 "Rui Wang" @default.
- Q59054119 P2093 "Wanwei Liu" @default.
- Q59054119 P2093 "Wei Dong" @default.
- Q59054119 P2093 "Xianjin Fu" @default.
- Q59054119 P2093 "Xiaoguang Mao" @default.
- Q59054119 P275 Q14947546 @default.
- Q59054119 P304 "1-13" @default.
- Q59054119 P31 Q13442814 @default.
- Q59054119 P356 "10.1155/2014/702165" @default.
- Q59054119 P478 "2014" @default.
- Q59054119 P577 "2014-01-01T00:00:00Z" @default.
- Q59054119 P6104 Q8487137 @default.
- Q59054119 P6216 Q50423863 @default.
- Q59054119 P894 "1442.68110" @default.
- Q59054119 P8978 "journals/jam/LiuWFWDM14" @default.