{"entities":{"Q2867893":{"pageid":2878613,"ns":120,"title":"Item:Q2867893","lastrevid":42333724,"modified":"2025-06-11T13:31:43Z","type":"item","id":"Q2867893","labels":{"en":{"language":"en","value":"Formal verification of object-oriented graph grammars specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241710"}},"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":"Q2867893$01AD63CD-2567-408D-9DFF-DDA7D171C8C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bd1488bfa35952288defa0a2b19a9863f90eb45","datavalue":{"value":"1278.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$0BEC71B2-85A5-4F38-A54A-DCC1C0A691B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"232f3a40bb43189815229b1c2bc9abd048e56c3f","datavalue":{"value":{"entity-type":"item","numeric-id":2849879,"id":"Q2849879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$EC234391-AD9B-4874-B27A-2E6998223E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7575fcb4aac90c30b105867301c2264e6c7b1bb5","datavalue":{"value":{"entity-type":"item","numeric-id":436352,"id":"Q436352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$5D79E7F4-8D04-4E1C-BE72-D0FC6A46315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2426f4789b74a97843d6e34c34f44f9f0ab6d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":436349,"id":"Q436349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$B1122978-BA67-4E43-89F7-80B9FA5E2F55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$7B9854A3-E6F8-4ECF-8B3B-B9392168B987","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867893$543EC262-0B59-4EC0-BD95-774AB034E389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$E29F63E6-E1EB-43BB-9D26-81964043DE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$AEE2DEB4-74E9-48AC-AC8B-537A29720038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$4069DCC5-0C48-4ED6-A621-CF8EAD84EB4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97dd728b4e540ecabb01a3f983a063429eb5ecd1","datavalue":{"value":"6241710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$A0663FAC-0C8D-4EED-8E8B-004DAF902191","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867893$4711C55D-97B7-4A58-BB97-DFFB6586957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867893$98E6ED42-0714-4445-B66A-213B2A2F2962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867893$D1228CEA-7C82-454A-B9DA-A903DE40F187","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$AE1A3BCA-409D-439C-A85B-0841FA3969F6","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":"Q2867893$732770FD-C6EF-4F34-B992-EB5F23A364E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$F2E8F986-0C12-4C58-A498-C30290CA12DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe0e65c481598784f9d66c40b77039f18ac02db8","datavalue":{"value":{"entity-type":"item","numeric-id":28348,"id":"Q28348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$FB1D34B7-A99B-4668-8941-15E0DD7D397C","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":"Q2867893$4B182E4D-2F28-4716-B46C-C75889B9BB09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee9a8c7e47803aadb828b73043706742772ae7e2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.04.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867893$B1F497E2-9010-4A02-9E06-8153DACAB009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78f72d7d7a2c243bdc5d8f2469a810f2bbd27d46","datavalue":{"value":"W2013112009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$FA646478-A624-4E0B-B244-38834CD9E280","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2920853de1f48ca850ca62d87869ee3d0a907a","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$C5F28646-F7C7-41E8-BE6B-6BDC1E3BE272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0ef26b2215f96e6f153cce826f38fad4dfe350","datavalue":{"value":{"entity-type":"item","numeric-id":4222871,"id":"Q4222871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$66D7198D-8017-4080-BD57-A806B62B7E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572d01df1bade3df9424cc96035cb0e941f84c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4890710,"id":"Q4890710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$F1F9F60D-E77B-4412-8762-0830F726EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59030a683a61c6f21335943f1806126d375ef998","datavalue":{"value":{"entity-type":"item","numeric-id":5902550,"id":"Q5902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$0B9D21A5-2CBB-4071-B519-BD61076BE570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91bb649298cc68819b1eca27fa9cb92ba4e4153","datavalue":{"value":{"entity-type":"item","numeric-id":5902539,"id":"Q5902539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$1CFB285D-8B60-4A3D-9B15-3A86462C55C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c36e855036c1fded5d42d85ccee0fd1cb4f6205","datavalue":{"value":{"entity-type":"item","numeric-id":5292612,"id":"Q5292612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$3780B2B6-564F-43E4-8D4F-D6A8F3F5D0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$106A01E5-5253-42F4-A789-80561E82E6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb182d8ec76dcf1b079be3cbb1005a0a53a7a0c","datavalue":{"value":{"entity-type":"item","numeric-id":4471664,"id":"Q4471664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867893$BF7AF9ED-E810-4544-841A-1B40685E7FC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e13cd1fb89e991ee838f8f051d815b9fc30d6109","datavalue":{"value":"10.1016/J.ENTCS.2007.04.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867893$4F129622-3CC5-4E5D-9103-BE5E45185855","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fc1c19f2d5da9af3d97cc2a535642d6f217387","datavalue":{"value":{"entity-type":"item","numeric-id":2847855,"id":"Q2847855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93e5999032c53e144111248a6944e63431997cc","datavalue":{"value":{"amount":"+0.96544755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$7C53272A-B66D-465E-83E7-4010CDCAB3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca509e02a76dfe5ba74847dcd30adbff870be4dd","datavalue":{"value":{"amount":"+0.92367095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$50006C06-0B52-4073-9E29-FD2152FA67AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95cf137ddfbb9c239ed6733adf8eaa9f26c1963","datavalue":{"value":{"amount":"+0.91670346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$1ABC7704-C760-4CFA-B09A-7031FD435654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9140d66eff53f8a94277ebfa4007ea74abed6bee","datavalue":{"value":{"entity-type":"item","numeric-id":1784784,"id":"Q1784784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5452e2337b97621ea57edeff58fd193bfcf36117","datavalue":{"value":{"amount":"+0.9083761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$75260EE3-8C83-4F44-A712-7DB5194720CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d02ad36ea28c074d859884d143b6485952bde1","datavalue":{"value":{"entity-type":"item","numeric-id":5292612,"id":"Q5292612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e570b16602b0bad39fc9896baba5ce6719ff9945","datavalue":{"value":{"amount":"+0.908109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$38E3E4EF-BC05-4C18-947F-A5C408039608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c44a1612f640eb68e44da48165b487d83ed046","datavalue":{"value":{"entity-type":"item","numeric-id":3540424,"id":"Q3540424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a7e18761c64db57f98c7616d6d36015e5d2287","datavalue":{"value":{"amount":"+0.9026968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$06810D1A-69E1-4303-9169-D0A741E5F51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4817b34d13ca1ee7171246c4b6c7ae3dfdd479c","datavalue":{"value":{"entity-type":"item","numeric-id":5902539,"id":"Q5902539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea7b06754159a593dc944b3f0ee4bb9018d34f1","datavalue":{"value":{"amount":"+0.8955395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$E7961D09-AC7F-44DF-9DFC-1A9F27D5DA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3534071a46c3341c4c367261d6b574ae3e3c3fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3575267,"id":"Q3575267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6d1b44302f6154e3ea06c99f3354016ee7ff65","datavalue":{"value":{"amount":"+0.8937707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$AD348945-651E-4332-8DFE-62BE3E7385FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39d77345425f70f26590ebeec14264632dba40","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7419c2e7bfff51abebd9c785fb0abc4d926691","datavalue":{"value":{"amount":"+0.88019586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867893$141CD439-0188-4393-A94C-FD87399ED246","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1270daf69aec5f5dbdc903f091762ee0bb39c0a2","datavalue":{"value":{"text":"Formal verification of object-oriented graph grammars specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867893$BD2AC83B-A7B5-4617-B07F-06BCC2B6A7EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867893"}}}}}