Matches in Wikidata for { <http://www.wikidata.org/entity/Q56501823> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- Q56501823 description "wetenschappelijk artikel" @default.
- Q56501823 description "наукова стаття" @default.
- Q56501823 name "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 name "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 type Item @default.
- Q56501823 label "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 label "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 prefLabel "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 prefLabel "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 P1104 Q56501823-D852B33F-BFE2-4722-8C54-9010D78A05F1 @default.
- Q56501823 P1476 Q56501823-A13B658D-E097-4067-A3E9-9B024528CC46 @default.
- Q56501823 P2093 Q56501823-3E1EFFA2-62D2-477C-B23F-A2BAEC98AE68 @default.
- Q56501823 P2093 Q56501823-81C2C763-3131-4418-BAC3-6FF830F5C4A9 @default.
- Q56501823 P2093 Q56501823-B1A80C2C-1A79-4F9D-800D-8B74F9E70C36 @default.
- Q56501823 P304 Q56501823-C9D86179-C282-418C-AB05-7864386A1E0E @default.
- Q56501823 P31 Q56501823-8B987379-52B9-4721-B700-7D5E0041A7A7 @default.
- Q56501823 P356 Q56501823-20567E0E-063E-4E9B-850B-62BD99A8E35C @default.
- Q56501823 P50 Q56501823-6277C64F-6774-48AB-AA3E-9B42AEED8BD8 @default.
- Q56501823 P5875 Q56501823-03AA2CE6-D2DA-4D7A-A6F3-09C42125AF8C @default.
- Q56501823 P6104 Q56501823-CB65B42A-DA7E-4314-86E4-994A60D79DD4 @default.
- Q56501823 P894 Q56501823-5E2A869D-2BC4-4C01-9F41-7C5335C96935 @default.
- Q56501823 P8978 Q56501823-5BE2D11F-34ED-49C7-866F-DD3ED5340435 @default.
- Q56501823 P356 978-3-540-71998-4_1 @default.
- Q56501823 P8978 BaldanCKL06 @default.
- Q56501823 P1104 "+20" @default.
- Q56501823 P1476 "A Temporal Graph Logic for Verification of Graph Transformation Systems" @default.
- Q56501823 P2093 "Andrea Corradini" @default.
- Q56501823 P2093 "Barbara König" @default.
- Q56501823 P2093 "Paolo Baldan" @default.
- Q56501823 P304 "1-20" @default.
- Q56501823 P31 Q13442814 @default.
- Q56501823 P356 "10.1007/978-3-540-71998-4_1" @default.
- Q56501823 P50 Q56491394 @default.
- Q56501823 P5875 "221138234" @default.
- Q56501823 P6104 Q8487137 @default.
- Q56501823 P894 "1196.68154" @default.
- Q56501823 P8978 "conf/wadt/BaldanCKL06" @default.