{"entities":{"Q6487310":{"pageid":14066079,"ns":120,"title":"Item:Q6487310","lastrevid":47781067,"modified":"2026-01-02T16:30:07Z","type":"item","id":"Q6487310","labels":{"en":{"language":"en","value":"Invariant Analysis for\u00a0Multi-agent Graph Transformation Systems Using k-Induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628105"}},"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":"Q6487310$75129348-21CC-4D89-8FDE-4A78A9485BF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6308cb99ebae213cfb65268a29230379936ca48","datavalue":{"value":{"text":"Invariant Analysis for\u00a0Multi-agent Graph Transformation Systems Using k-Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487310$452284BC-51C2-4825-BBF0-3D6ED9F8F736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c35a1f5ae1dd982fc23e6a50c661f1ff24bfcfa","datavalue":{"value":"1514.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$A55A2B8D-8DF7-420D-8689-D9FFE69931EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a57427480f912ab61d87a0ce8da8bce52d67b04","datavalue":{"value":"10.1007/978-3-031-09843-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$8C93C5A0-205D-4D39-8CBB-8584907269B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6bf8ee6ddc27826d6acbe2c0246439943dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":262424,"id":"Q262424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$C09EE9CD-B442-4132-90D0-BD9E8B1FE02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f3285f467d4cd73b9a6baa7211736ce6be49a2","datavalue":{"value":{"entity-type":"item","numeric-id":1994362,"id":"Q1994362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$83A43643-E27B-423D-92F1-11D75357CEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$D0B3F87C-3AB6-45BB-8371-F4367CB6FC79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487310$B78A3C5B-12A6-4C31-A868-4524EADC0926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$514260AA-6E72-4AAA-84E7-BED2A5E2E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$D9CAEFBB-D755-4EE6-BB15-305160239D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$72A4E29F-7059-49BD-A6BF-D0E7E60C50B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc046226883ecd4c29b864d629834fcae7163529","datavalue":{"value":"7628105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487310$419D4901-B606-43D2-8680-83F4F5E4556F","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":"Q6487310$99976631-C9F8-47C9-BB53-CCD5279B3F8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$26B19778-523E-4C15-BC49-FAF3918BC726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a61f94f34b177df76a317c8d62663291a02395c","datavalue":{"value":{"entity-type":"item","numeric-id":4353558,"id":"Q4353558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$D9695457-C96A-4758-A1EB-CBC6CBC4EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712506fca4fce4a2f09ed8c71df72c28bf9c419","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$7C4AF398-84C0-4801-BB65-950CBA421765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$0376BCA4-53C6-46C9-B469-D818B1060075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba7d02d33a4b78fa5a587a11be6fba1c4fb5211","datavalue":{"value":{"entity-type":"item","numeric-id":2634496,"id":"Q2634496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$9A1B100C-094B-46FE-A9E8-903BA758FC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df669bab4e4a6685568f9792db6ac8ced751658b","datavalue":{"value":{"entity-type":"item","numeric-id":5740375,"id":"Q5740375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$8BD461E0-3303-4891-B4DB-A2C218346995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fb9aa61bc89b65af337ec3f8516a6861d53e37","datavalue":{"value":{"entity-type":"item","numeric-id":1994363,"id":"Q1994363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$6B0C6005-263A-40E5-AC38-AE0F758DAA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfb3192acc1d6da696785e3697d32c7e73f3170","datavalue":{"value":{"entity-type":"item","numeric-id":2044184,"id":"Q2044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$7C57DE61-35EB-409B-8940-DDEF3DAACFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$A1BECD5C-0B0B-4AE8-A23E-314ADCDBD6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$C9285DF5-456D-4D12-AE80-7EC59013A7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6923475fcd7d1761e3d9d6caae56adf647db689c","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$9CF89233-1EF6-4E82-B51F-531708243AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d80948d64f7f3c22312bbfb5b669b5dc8562494","datavalue":{"value":{"entity-type":"item","numeric-id":672875,"id":"Q672875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487310$F2AFCF28-4204-4C77-8E92-FFFC57FACC7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baba44df3ef8d032daa5653806c21343676e0b86","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974626a720b89303eacecec9e8208817ca12a48a","datavalue":{"value":{"amount":"+0.8043699860572815","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":"Q6487310$28A78C97-B0ED-4D13-91EF-5325F4BBA4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6eefb0167c6121d88013edf08c02ccf0dd5d3b","datavalue":{"value":{"amount":"+0.7720452547073364","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":"Q6487310$E2DE33DA-9EAC-4FA5-8A19-404157050735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f5518c5e53f8f48a32defda3bae333744e6e7b","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdb0889d0b758da38743bfe271214ea420a9873","datavalue":{"value":{"amount":"+0.752360463142395","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":"Q6487310$F5BE9C61-79A4-47FE-897E-FA539164BA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ab0b07b30db24eb61418ea5dd32e5d8962c7bd","datavalue":{"value":{"entity-type":"item","numeric-id":2044184,"id":"Q2044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a412ac96fe009a3aa851ba9657905214de94964e","datavalue":{"value":{"amount":"+0.7188172936439514","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":"Q6487310$938E6C43-EEBE-4DC8-ADE2-2CAFCBFFB8C6","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":"db1284c740a29fd999f22d14c7c3731a1154d76a","datavalue":{"value":{"amount":"+0.7154298424720764","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":"Q6487310$6CFF3165-0D4E-45C6-9FAB-C8940663BD6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487310"}}}}}