{"entities":{"Q3591071":{"pageid":5620975,"ns":120,"title":"Item:Q3591071","lastrevid":50161655,"modified":"2026-01-13T07:49:01Z","type":"item","id":"Q3591071","labels":{"en":{"language":"en","value":"A Temporal Graph Logic for Verification of Graph Transformation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189200"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$1273EA9F-5D63-4F3C-80E4-22ABB0A1CEE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d53bf07d486a9a7b62da437f2dc1506b37aef634","datavalue":{"value":{"text":"A Temporal Graph Logic for Verification of Graph Transformation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3591071$F6FA0E7C-B629-48CF-B9A5-04922F8C9363","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"484122f8af3336d63021bf40306a99ea4333bbea","datavalue":{"value":"1196.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$C1F3F611-354F-404E-925F-482457DF52F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"583657bc021003f17e42a5745dca20bc4341371f","datavalue":{"value":"10.1007/978-3-540-71998-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$4AB02178-3F99-4CE9-97E3-BD736631DC5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$C04C90F9-AFD3-4308-8A92-F8B72C0CF1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$08399F98-D026-4123-A87F-1B29CF25D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$9884B9F7-0459-4826-8C92-6654599579FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$70C0FDFD-1675-4C29-BE3F-0E1520D0C988","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$3A2EAEB0-C152-45CB-9999-56F240BD1B8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3591071$56F881ED-22FA-434D-8470-ED33433C63DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$74785123-12E1-4419-AC0A-51CB1E2C1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$F2729F3C-93AB-482D-9846-1AB556B16639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$37442D2E-856C-4BC8-943B-004D7E9A3AFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2f19a9db87a2d7dc46fde879a3c6f5d647c2f4a","datavalue":{"value":"5189200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$415158E0-6B2B-484B-8EA0-252A0CA7C6C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a731576d64f5bbce2b72c10c9c47a28903b7e662","datavalue":{"value":"Q56501823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$04DD42C8-D14A-43FC-92D1-10ECE3CEBCB3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3591071$F623A3ED-0162-4E41-9618-D0C092798D09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98330a605ea694a34bdb8541aec1f2647e8217a1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71998-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3591071$0EAE25FF-8089-443F-B1E3-5212218B8C4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"380b71f6edfda41c059d36a1a224070160cba6b4","datavalue":{"value":"W1507479492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3591071$BCA1DC04-CEBE-4487-B012-F1122C319B59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"841964ed0dc699422f88da66e1eba9e70121fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0982f8ada317acdfd215aa3ea106308445fc551f","datavalue":{"value":{"amount":"+0.8810563087463379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591071$1E7EF6F9-23B1-436A-8AE5-60DBFFB14C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0a234aa31185f0862bd34d96f57c1ee0c2681f","datavalue":{"value":{"amount":"+0.8628490567207336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591071$B2580D17-868D-4617-A7DE-0F7EDEA677FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd6935a53da0fadbbe4c74310f116db57a5bfe","datavalue":{"value":{"entity-type":"item","numeric-id":4502817,"id":"Q4502817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bba8fb6406f8dd3074a7ab40950b9d19cd806c","datavalue":{"value":{"amount":"+0.8207565546035767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591071$1C3BF545-1688-40D6-8F56-DA201F2D31D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bba8fb6406f8dd3074a7ab40950b9d19cd806c","datavalue":{"value":{"amount":"+0.8207565546035767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591071$8F529583-CDD1-44F2-9CDE-C11C7602CB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67916a59cf519ee95390dbd2176ad5b631cb5ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1663990,"id":"Q1663990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b470cccc6a41de04c636349118260e547f6e4bd9","datavalue":{"value":{"amount":"+0.7894583344459534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3591071$F30A9A24-0151-46FE-ACC3-030147CD697D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3591071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3591071"}}}}}