{"entities":{"Q4585009":{"pageid":6614594,"ns":120,"title":"Item:Q4585009","lastrevid":53194091,"modified":"2026-01-24T10:40:23Z","type":"item","id":"Q4585009","labels":{"en":{"language":"en","value":"Interactive and automated proofs for graph transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932224"}},"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":"Q4585009$334C785F-4AA1-4DB5-95F5-C3C0A70FC90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01bcd9f573991123390b067d2175f24784f5ab31","datavalue":{"value":{"text":"Interactive and automated proofs for graph transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4585009$38A5B04C-DB6C-41C0-BBF6-96428BAEF159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b86e1aa585d370fe6228df62466bc4f0c3066c78","datavalue":{"value":"1398.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$8AC64610-8BB5-4158-BF26-5CD123B3C8F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96c693fdbb8366366f1c25e151b30c2d316fce7","datavalue":{"value":"10.1017/S096012951800021X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$B5A78858-77E3-4430-B61C-A3AB5DDF0257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f0ebd351a4767d5682cec3f61fe0fde33df9f48","datavalue":{"value":{"entity-type":"item","numeric-id":1663989,"id":"Q1663989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$53A48AB5-288D-4DDD-8CA1-8FDB60F9019A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$ACCEAFF2-7327-4824-999D-5E3D870CFE9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060557f7388df703dd2d2d2d1dd4d6670ff5a7bd","datavalue":{"value":{"time":"+2018-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585009$FB17537F-3F42-4108-A503-ED7BCE2E85E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$8F87FE57-928E-4BDA-8AA1-A068F056D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$F54B7E23-C545-4A55-BA9A-4D9FF35FD11C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8904de65f51d99d0e8985ab4fdb02b02d0f4917","datavalue":{"value":"6932224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$DBC17D1D-5C1F-4795-9BEC-A17B5F4AFBDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5594ddcdf48a99c92bdf04a2b247a8a25d4d012","datavalue":{"value":{"entity-type":"item","numeric-id":16043,"id":"Q16043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$C99117DA-1E2B-4D89-B1EA-4B95C293D966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$A947F2CD-04BB-4B69-A86B-D348FF9C0EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$0576BA7C-8632-44C0-8DE3-57AACC529841","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":"Q4585009$DC98414E-E490-4FF6-81EB-7DE8022ABF32","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6ec86ae7a1db6d2ed693c0a1a5f9b034dd9de645","datavalue":{"value":"Q113857440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585009$526D70D4-5286-42B2-8A90-781620C97717","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7051ff9e88a2d669b163e36bd799de76a2caaa38","datavalue":{"value":{"entity-type":"item","numeric-id":4931304,"id":"Q4931304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$6CFFBDEB-90AA-4E68-9410-6CC973841786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fffce8ba9b08b7b4507292f2b0cae0b976145b","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$1C1E9677-D893-42E7-8468-C9A181A6E15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf3f52a6d15f3408a2aad1c2bbb407336e3efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$5F247FFE-1C34-4B5E-A4ED-2A430C55E49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfc25bc76821b3f42ef06a4d14237eeb17e6df2","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$C94DCC8F-067D-44B9-B38E-51684CF557E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$C82146A9-FA8A-41C8-AF26-52537A865491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$904F4332-2D60-4206-989C-AF1C9F1EF92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$5BE8BDA4-11D8-4B1C-BA70-CA0371C5E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883b9d5a3c9c1692f2cc82e30260bbc9fe67d595","datavalue":{"value":{"entity-type":"item","numeric-id":3058276,"id":"Q3058276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$9D1317CB-E0AA-4AD3-8076-052D9B8FF727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838d1a0279b6bb577c789f0255b088571acfd62f","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$B24801E2-1B14-4388-A163-B4EB39717F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$1EB4E785-E310-49B9-B7E1-3609BE36C209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$3E2E26AF-8F2E-4FD2-AC4B-D2FA8AA15A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$5397FA08-B4F2-4F93-8291-A0357F16D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe18adc126b2f510716f2c14c843e80ccb066eea","datavalue":{"value":{"entity-type":"item","numeric-id":973044,"id":"Q973044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$BD1D4986-16D0-4B63-8EFE-35EC45DBFA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7989eeb3d9f5147470406c12388bbd7f8e4eafcc","datavalue":{"value":{"entity-type":"item","numeric-id":3540406,"id":"Q3540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$B4721326-AC54-4F68-9B05-862EDF843275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9ad7f0cfabd318c2724cd6f60380e779777e00","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$8BD41903-B04E-4133-B747-A1FC0A4841F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72d7e1fcb9222e54306475737572f03fa21c6ec","datavalue":{"value":{"entity-type":"item","numeric-id":2462430,"id":"Q2462430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$FC6DE7BF-E911-4269-8472-E22E6F18F76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aeb86c2a25d2eca6c18a4b6be547b6975bd979c","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585009$E72F9D0F-0913-42F4-9B1F-91EC77BAA752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf292353d0ebdecc5d0222388ee1dbead7b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c95664d64cc6981b8822374aab04090fa6f67c","datavalue":{"value":{"amount":"+0.8058264851570129","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":"Q4585009$0E113C16-2978-408D-877F-35A5FBAB5C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3711cb193f5fadd41df4147d332d6e9ae1f6b405","datavalue":{"value":{"entity-type":"item","numeric-id":2292975,"id":"Q2292975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4bd7cf0140a368954eea49e39f8c8500648b19","datavalue":{"value":{"amount":"+0.7384461760520935","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":"Q4585009$49E9ACE7-C4D5-4CC1-9D07-B76AF4D328EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615cf8a60c5f20d83daafad8d6785264e201d270","datavalue":{"value":{"entity-type":"item","numeric-id":1708180,"id":"Q1708180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264f4191f739d9dcff320d6f6a0a0062fd8d041b","datavalue":{"value":{"amount":"+0.7213602066040039","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":"Q4585009$A78CE2AE-B06B-49E7-A46E-FFF754384407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ba736a13ff161be67d0eded0ee6bb1f2ddad93","datavalue":{"value":{"entity-type":"item","numeric-id":4415067,"id":"Q4415067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543977658dcbb1a6907acea767a5312e7d666179","datavalue":{"value":{"amount":"+0.7198359966278076","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":"Q4585009$034A1190-975C-48D3-A51E-F6AAF7723D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d833845e4d8504e31ee78f60cdb2aea4432dc4","datavalue":{"value":{"entity-type":"item","numeric-id":3541969,"id":"Q3541969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543977658dcbb1a6907acea767a5312e7d666179","datavalue":{"value":{"amount":"+0.7198359966278076","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":"Q4585009$E4542AB8-F509-477E-885D-61F9921393D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4585009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4585009"}}}}}