{"entities":{"Q5100737":{"pageid":7130313,"ns":120,"title":"Item:Q5100737","lastrevid":54393611,"modified":"2026-01-26T18:15:18Z","type":"item","id":"Q5100737","labels":{"en":{"language":"en","value":"Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580890"}},"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":"Q5100737$264AF111-5EB8-4068-9643-806F9F08C08D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74fe04a27af871215ccdf6705da074ced5801c4f","datavalue":{"value":{"text":"Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100737$A763C616-68B3-43C9-84E6-5760222EBD09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9fa392d62b49748d050a4d17cab67d32ec2bf41","datavalue":{"value":"1502.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$A2A3F9D4-7EBB-401E-AF54-0BA4B667FAFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19f1112c50a60708268b48225de08fe438d55084","datavalue":{"value":"10.1007/978-3-030-51372-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$1FF358CB-9477-4E90-A8E1-FAB49BFEDD9E","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":"Q5100737$72C4CBEB-B776-44F4-8F14-CD7C0C19DF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60930d89b7c292c983c16ff0559302efc6a2406f","datavalue":{"value":{"entity-type":"item","numeric-id":2947221,"id":"Q2947221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$B02EEDEB-5041-4B48-9CFF-20CE525010F1","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":"Q5100737$3D0A429D-B2B4-463E-BEF1-FFB82E5EC1AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$464E2DB3-8B4D-42EA-96FF-43E5BA2CAA63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5100737$020E8390-3DF3-4A43-B706-B7C00CB23FEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$6567C936-E391-4D53-8021-0A26B632FF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$1C4F5651-BC3E-44B6-B6F9-FAFC4B9C47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$DA881439-459A-4C87-AE33-A212D1ABA11D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c884455b381b7ccdfc61e8c9c3640c964682bc7f","datavalue":{"value":"7580890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$07B87AE6-AE51-4A21-A0EB-2A4EFD959E08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f9a3c0d0d77df7c07a25b0b5ea54e2a4b9a0ae","datavalue":{"value":"formal static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100737$000F239C-8C32-4505-A7F2-B40B9172D1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14612482f466f01929a53518e2056548c37bdd28","datavalue":{"value":"symbolic state space abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100737$F1A36D76-B4C2-42E2-830F-4035177D008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c3429c47bdb10350a6578b61138faff42ba2c1","datavalue":{"value":"k-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100737$025DA246-1D57-4E6B-9D69-1F5AC4F6FACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ef410640481fef7ad1b378b856b03ef5870044","datavalue":{"value":"symbolic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100737$D2AEECEF-C191-40C0-9ABA-AD5DA0023CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100737$4021BC71-16D6-4977-8B0F-A1A01D5C0B9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5af9531fd7bc4f41f7f40b6e32c923e268d740","datavalue":{"value":{"entity-type":"item","numeric-id":3540408,"id":"Q3540408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$08A5F327-0592-4D74-9276-54920B1B6CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18257fd4925bc5ac964064ac5ed0dd46bd8c14b9","datavalue":{"value":{"entity-type":"item","numeric-id":2289070,"id":"Q2289070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$FF6247BA-67CC-47C5-A0AA-0887BFF44F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e3449c47aef6fd96102d7d3a7654c7733e2f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2947222,"id":"Q2947222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$A05AB504-A710-4E95-BDC3-057296077AE1","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":"Q5100737$B1E3F4D1-D154-4E55-809D-2534C887BD79","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":"Q5100737$BEACEAEB-A5EB-4F92-97CD-4AA4225A241D","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":"Q5100737$1ECD759B-9567-492B-AB39-D05E0AF5EC7A","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":"Q5100737$E176D35D-1C24-427E-9D54-7DBA7B839D45","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":"Q5100737$6D7EC52C-A829-491E-9D6F-173AC1B2FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2c2bb82a93a2b9ba7a2d10b59d5d1f99e17478","datavalue":{"value":{"entity-type":"item","numeric-id":3540405,"id":"Q3540405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$1E494733-7341-4F46-AA8E-0B1507796604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485b2ca58fe443a242e28d1ff7d495fdee437cdc","datavalue":{"value":{"entity-type":"item","numeric-id":631573,"id":"Q631573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$45DBD5B5-47B0-4E37-9656-CB7CE09C91CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05ffa0756173cd6f495b88cfa65f26cd95ed1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4931303,"id":"Q4931303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$01BC8B9A-B513-4B91-8EDB-F1D57510ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f0cbc92a85a177974cfc33bbe1f9290b78ca","datavalue":{"value":{"entity-type":"item","numeric-id":2898464,"id":"Q2898464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$DB0029A8-5D7A-4C78-AFEB-B4FDBE644040","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":"Q5100737$2FFD1681-C3C3-480D-81DF-85B9FDAD8C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607e674a97532a1c6e8bb14540fece481fc3502b","datavalue":{"value":{"entity-type":"item","numeric-id":5308712,"id":"Q5308712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$37E4D2FD-0C69-44B5-A2CD-7249B2B68FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f81cc4106643f6716a4610120d11b9bed4119b","datavalue":{"value":{"entity-type":"item","numeric-id":3098055,"id":"Q3098055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$7ABF48DE-6302-486E-9FE5-5018CA8DCE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abf91574795850ec57bee78471a40720894abe8","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$5FE0FE07-EAEA-49C1-BA70-E3E48A8007AC","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":"Q5100737$C6A3B25E-ED28-4021-93D7-A3C7162AE0A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb24e1a73ed4597308792c217eea8024ca2011da","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51372-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100737$F3BFF6F2-484C-426D-A55B-C20842237994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"045e645aaccd2e44c82c0787fe55fd34bf022b53","datavalue":{"value":"W3037116850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100737$F83F8A07-4F4B-48B2-AE12-5A4C2609A941","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100737$9F791335-50DE-4386-B15C-7770CC46F237","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":"9449182d74117495a53a2da74f3c6432c6f8db52","datavalue":{"value":{"amount":"+0.8208286762237549","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":"Q5100737$36069EA1-D0EA-46CF-929C-5ED12025F5B6","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":"bf37450c504aa484e55eec578ec7813c1296bf8a","datavalue":{"value":{"amount":"+0.7966588735580444","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":"Q5100737$002E486E-3999-4BA7-BFBF-1EA51A7364A5","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":"2545a0eadeba761ecb05d9ec696a0db2dc6e833d","datavalue":{"value":{"amount":"+0.7952632904052734","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":"Q5100737$C353EC0F-C68A-4753-B673-6A9E319AFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b3c6e1840d81052e75c327dff816b909546799","datavalue":{"value":{"entity-type":"item","numeric-id":2358623,"id":"Q2358623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12898a65587ada23c523b280a3061ba8f1939170","datavalue":{"value":{"amount":"+0.7791048288345337","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":"Q5100737$46242E50-EE05-43C7-949D-66D6AF201BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e449ebd05204fcfd118e5843b7bc49eac760bec6","datavalue":{"value":{"entity-type":"item","numeric-id":6487310,"id":"Q6487310"},"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":"Q5100737$5A500F74-B2E7-4EAD-B7A3-54C1FF9D9EBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5100737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5100737"}}}}}