Matches in Wikidata for { <http://www.wikidata.org/entity/Q59613252> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q59613252 description "article scientifique publié en 2017" @default.
- Q59613252 description "im Juni 2017 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59613252 description "wetenschappelijk artikel" @default.
- Q59613252 description "наукова стаття, опублікована в червні 2017" @default.
- Q59613252 name "Advances in verification presented in TACAS’13" @default.
- Q59613252 name "Advances in verification presented in TACAS’13" @default.
- Q59613252 type Item @default.
- Q59613252 label "Advances in verification presented in TACAS’13" @default.
- Q59613252 label "Advances in verification presented in TACAS’13" @default.
- Q59613252 prefLabel "Advances in verification presented in TACAS’13" @default.
- Q59613252 prefLabel "Advances in verification presented in TACAS’13" @default.
- Q59613252 P1433 Q59613252-F9C43D2D-97D0-4B00-A6F1-C7488FB3C834 @default.
- Q59613252 P1476 Q59613252-E5AF0269-F56F-45A6-95F9-9E16F385A8DB @default.
- Q59613252 P2093 Q59613252-0F3742CB-D9A7-4235-8BF5-0AE3CE3564E3 @default.
- Q59613252 P275 Q59613252-9beef012-202e-4450-bd5b-60f6447b04bd @default.
- Q59613252 P2888 Q59613252-8B6A1468-0D54-4115-84FC-2FE1385AB8DA @default.
- Q59613252 P304 Q59613252-41A0166C-047E-4A6A-8EA8-D37E9B305C90 @default.
- Q59613252 P31 Q59613252-133A118D-9CD0-4ADB-A22D-8AD2C4ABA280 @default.
- Q59613252 P356 Q59613252-C47124A7-2A9C-4A7D-9F3D-447B66A7ED3E @default.
- Q59613252 P433 Q59613252-FAB5DD7F-95D9-4410-BBB1-FBC17969BF34 @default.
- Q59613252 P478 Q59613252-23C2F423-7F14-440C-A160-6C43D5BCA9BE @default.
- Q59613252 P577 Q59613252-02BFD49B-DC58-40F2-9A2D-77454571B3ED @default.
- Q59613252 P6216 Q59613252-f0319e7e-a7b9-49f9-8917-ccd7c864017d @default.
- Q59613252 P8978 Q59613252-539BB759-23B5-4460-882D-04C6531A5D4A @default.
- Q59613252 P356 S10009-017-0460-7 @default.
- Q59613252 P8978 Piterman17 @default.
- Q59613252 P1433 Q15762441 @default.
- Q59613252 P1476 "Advances in verification presented in TACAS’13" @default.
- Q59613252 P2093 "Nir Piterman" @default.
- Q59613252 P275 Q20007257 @default.
- Q59613252 P2888 s10009-017-0460-7 @default.
- Q59613252 P304 "511-515" @default.
- Q59613252 P31 Q13442814 @default.
- Q59613252 P356 "10.1007/S10009-017-0460-7" @default.
- Q59613252 P433 "5" @default.
- Q59613252 P478 "19" @default.
- Q59613252 P577 "2017-06-09T00:00:00Z" @default.
- Q59613252 P6216 Q50423863 @default.
- Q59613252 P8978 "journals/sttt/Piterman17" @default.