{"entities":{"Q3512494":{"pageid":5542398,"ns":120,"title":"Item:Q3512494","lastrevid":50405696,"modified":"2026-01-13T23:51:03Z","type":"item","id":"Q3512494","labels":{"en":{"language":"en","value":"Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301111"}},"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":"Q3512494$23CA1C5C-22DE-4C95-90A8-D751F5B0F461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601040f0139e84b3e86f4b811168832b47ed4451","datavalue":{"value":{"text":"Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512494$5DCF4063-9A40-4E0C-9C84-A1A974348BCF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e55f14dedc2f2448a6a831d8fe7d0f04a94d3c6","datavalue":{"value":"1155.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$60FDDA0D-9685-4E4C-A287-CC83CD29DE7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb9adcb960c60fc68ec1dbf247088f53f2de609c","datavalue":{"value":"10.1007/978-3-540-70545-1_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$740B8872-DD98-4991-9570-FF78A2C6DA4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84f76a5a49078b209641ea9ab6dfa276ff11dda1","datavalue":{"value":{"entity-type":"item","numeric-id":3163898,"id":"Q3163898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$146AE571-9C87-4000-83BA-C2458F8530C4","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":"Q3512494$624B6D5D-F5F9-4E01-AB5B-EF8725EE5770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$B42D1935-ED06-4DF2-8EE8-DE1AD0E29BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512494$8484F3E4-3AE4-4B43-8B0B-86460FFCF407","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$60CC15D6-0F7C-4930-8F59-48ABE337F8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$D09FB6ED-874F-4092-BAA8-2FE30B191DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$E500D9D0-42C9-40AA-AC55-D552DA3EC6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$8B77E645-21BF-443A-9B6B-56DD08E2E534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"756c99017e16966d7dee505bee74e7617e372d65","datavalue":{"value":"5301111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$7A15C762-5668-4099-BF46-A9CE5D376391","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":"Q3512494$65A83006-FE26-4A2B-AD3A-9C017A35BE9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"188acfae1568157432c34617ee43409d5c0da75c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512494$A033CCCD-E2B3-4C8E-ADC4-F1B54617E25C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c829af94b2dc6735ffe34c9f51bd16b9bacc3bbd","datavalue":{"value":"W1552190776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512494$EC355184-5CD0-4B26-B0BF-75374CE37BE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$C2C20690-2486-4D56-8FCC-368BCC726287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$10F31AEF-ACF4-4032-8015-AF81ED678393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0099e31e1dc5cd920c9effe974dd2b2026e19d8a","datavalue":{"value":{"entity-type":"item","numeric-id":685460,"id":"Q685460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$C35163A1-8585-4DBA-9A8B-8453C9E73845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91259d79d392a3d47849a780eaf2c5a36deec384","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$CE2805D2-BFA4-4FDB-8A99-2902AED63EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$AEB651B5-707D-4602-B378-69DA32F2A41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc18b7a412afc12f26d6f0724fdfdb5be80ef96f","datavalue":{"value":{"entity-type":"item","numeric-id":965247,"id":"Q965247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$26CF3A7F-E023-4FD0-A8FE-1EB346B1626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b370defd89c9ca31194407808262be76a63ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5458318,"id":"Q5458318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512494$FDB43C4D-84D4-427D-A54D-6F7EE91DE8BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a52552c08f4670c120289680a45655d6978c00","datavalue":{"value":{"entity-type":"item","numeric-id":729812,"id":"Q729812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337ea02cc3bd0b05e34abba2940f72f661c7c884","datavalue":{"value":{"amount":"+0.8425518870353699","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":"Q3512494$583EB12E-DB6F-4A24-B54F-84A688FC5806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc8ac4aa7ee92676ad529f3cf8f18b6e3c0e2e2","datavalue":{"value":{"entity-type":"item","numeric-id":2918974,"id":"Q2918974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb79e5b4e2afd65315c46c5130744927308a3c2","datavalue":{"value":{"amount":"+0.8357964754104614","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":"Q3512494$EE94AC0F-9F24-4FDF-AD0D-C53B9BA6120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d3ce2b9c13c6922908451ceb642d26c13627f7","datavalue":{"value":{"entity-type":"item","numeric-id":3190136,"id":"Q3190136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcb4eae65959f7c688fd7786121b33d3cd7d1a4","datavalue":{"value":{"amount":"+0.7949208617210388","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":"Q3512494$89A38FB6-936B-4FE0-B004-3492FAF87266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd5f687f63534f5d6dff518c5087a3c6af6bf17","datavalue":{"value":{"entity-type":"item","numeric-id":5111899,"id":"Q5111899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3474fd0b2f2069cd218f2c5e7eb8078a1114994c","datavalue":{"value":{"amount":"+0.768925130367279","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":"Q3512494$6C8FD40D-441D-49D1-8DC4-7529BED815B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbed420b8b99b23691b2532b1fa2f8ea526aeec","datavalue":{"value":{"entity-type":"item","numeric-id":3447696,"id":"Q3447696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72e29ddb682dc527734e216041eeb9993b8d003","datavalue":{"value":{"amount":"+0.745438277721405","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":"Q3512494$38A29983-DF32-4250-8A07-96B08E22ED44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512494"}}}}}