{"entities":{"Q3447696":{"pageid":5185583,"ns":120,"title":"Item:Q3447696","lastrevid":58178871,"modified":"2026-04-04T03:10:53Z","type":"item","id":"Q3447696","labels":{"en":{"language":"en","value":"Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6499383"}},"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":"Q3447696$17170439-4DF1-40E3-9890-BCD8F11A576D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b664d9a96c48fdb117c7bd8efc29a47c8dd58ed9","datavalue":{"value":{"text":"Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3447696$28390DBE-9BCC-4FCB-B8FC-09080F95DA50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a936c5e88ad2f28415f7ecdbf2c66bd57f82ac4","datavalue":{"value":"1448.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$2F4FEE55-8F04-4D0C-A45E-384E02975558","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26e8635bf42f9e0cc609be817a521fff68dfe935","datavalue":{"value":"10.1007/978-3-319-11439-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$C914C7C9-0A7C-41B3-B0E4-E82A839B655C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447696$FC666D8B-FE6A-42A4-85A8-F052ED655D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a17a7f703fa591ad504d232694045300ba42370","datavalue":{"value":{"entity-type":"item","numeric-id":729811,"id":"Q729811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447696$89A2C0D6-F90E-449D-9896-FD086C97A705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3447696$56F1EECA-CA55-48F0-9134-44D57CF291CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d39e0f031dafeaa905907e1e92731e668fffa6","datavalue":{"value":{"time":"+2015-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3447696$A42364A7-3664-4025-BCC2-323125DA42D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f72571419596d8aeb54855aa7b04304219bbcd1e","datavalue":{"value":"https://arxiv.org/abs/1407.4394","type":"string"},"datatype":"url"},"type":"statement","id":"Q3447696$A5E02331-93DC-43AA-8770-E8A8D14D09A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$93B15145-A69B-4AD2-AE41-6CC927D4C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$E5F3264E-0EE6-4CC2-AB23-E275735B0129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"491b2cbc254a035f07f7651757dd571117ad7545","datavalue":{"value":"6499383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$ED867829-3D9E-4281-8F68-5991FB9AFA69","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":"Q3447696$84515110-24C8-48D3-8436-7FC6CDE3E69B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ce7b78f46d762b08464fd5593a28f5892616cff","datavalue":{"value":"W20167454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3447696$F75D5DC8-7678-4449-B062-A6861B0BCE3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58967976a5fb64604a5881c558e36ae48e66a8","datavalue":{"value":{"entity-type":"item","numeric-id":4931307,"id":"Q4931307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e30d719e97ccf10b281b72bce765195a3e549da","datavalue":{"value":{"amount":"+0.9163774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$2201211B-2313-4BA5-A477-F6A4F9043F9E","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":"d73928442bb700343aa78a9003cceea60e192aa0","datavalue":{"value":{"amount":"+0.9008544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$C41DCA4C-3031-4EB4-95B2-8D2D153B9742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb088fa548506288e5dad68fce350fb62b7f065a","datavalue":{"value":{"entity-type":"item","numeric-id":3540407,"id":"Q3540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f041d80d8b2079b4174a0cefbcc135bae5412c","datavalue":{"value":{"amount":"+0.8984431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$399FE836-1F38-4D75-AECD-14897A08A833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8811689ae8723a403f8a845a2f80cfb85de0ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3507354,"id":"Q3507354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8216c7db629e7c280f66ed7be63e2c87cfaba4e6","datavalue":{"value":{"amount":"+0.8975775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$8D08BCCF-92DA-4A26-BFE3-AB75BF766473","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":"823c78c85106bbb9734b2b3c84ac94ed41eef7b0","datavalue":{"value":{"amount":"+0.89561206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$4A57C000-601D-480A-B106-E8B0C8ED12F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ed8794181a25165c6476290dcb4deb390408bc","datavalue":{"value":{"entity-type":"item","numeric-id":3512494,"id":"Q3512494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c54e5a25dd54704626ea000e95f37272c602d04","datavalue":{"value":{"amount":"+0.89105815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$3BC209FE-39FD-4D5D-8D48-23799778A677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a73f0fab03475355160b1a33e0685f6c1f3e","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb03df9fb62ca177b5fe73b0604a5f8caf94072","datavalue":{"value":{"amount":"+0.8907054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$D2F41D75-EC82-4A31-ACD0-F730701C0C77","rank":"normal"},{"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":"90ffada94887d8ef7564e363041081273f0d193c","datavalue":{"value":{"amount":"+0.8890797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$0B4808DE-CC6F-4C4D-AB25-76B07389DD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734a36f0789e3c233bc7551ac680081df0e18304","datavalue":{"value":{"entity-type":"item","numeric-id":3605472,"id":"Q3605472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c661177b9d2af7783c4554b7a1e954e08c4255","datavalue":{"value":{"amount":"+0.8888619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3447696$36239AB6-1B80-4989-9198-090BE71DAB51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3447696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3447696"}}}}}