{"entities":{"Q2867887":{"pageid":2878607,"ns":120,"title":"Item:Q2867887","lastrevid":83946743,"modified":"2026-05-07T14:50:47Z","type":"item","id":"Q2867887","labels":{"en":{"language":"en","value":"Modeling and verification of reliable messaging by graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241705"}},"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":"Q2867887$384C3D37-1746-446C-B424-BBADDDFF6782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b3237c4fac2e3a1d68cb9eb7900d39cb81ce3c7","datavalue":{"value":"1278.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$EFCE4B6D-8E9B-4CDA-8B2C-0C94DD1F0A75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"078ad3650ff86bd105334870a1fa7905464489e0","datavalue":{"value":{"entity-type":"item","numeric-id":2867885,"id":"Q2867885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$E14621C3-11A9-4B3F-84F3-12C52EF0DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd8d085dafa2071d61ebafe8dbd3e889886faa9","datavalue":{"value":{"entity-type":"item","numeric-id":2867886,"id":"Q2867886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$B779CE9A-6C73-4F1E-9564-31CA9DCAD14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9fe8460bf9b6f35816578bb3970bcef97c3c4b","datavalue":{"value":{"entity-type":"item","numeric-id":701036,"id":"Q701036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$1A3C1B9E-54BC-4BD8-A71E-3FC9E88464A7","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":"Q2867887$F92B5215-A28F-4644-8C49-6DB8CBBF473B","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":"Q2867887$78669BFA-739E-4326-86A3-EA522081A27C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$079ADA24-B5B6-48AF-985B-30E4DFB50ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$62011F42-F8E9-4BFE-9A7B-111D0CC74CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$4567D80B-E79D-400D-8422-3D36D54F2F34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6bc9b9795f43df0bac040f9634a7d777681b9a3","datavalue":{"value":"6241705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$87E27F0D-1D89-4303-859C-128AE9612986","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3726a66f44c197ca59da4ca98947ef05838b755","datavalue":{"value":"service-oriented architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867887$2AD7E819-9374-4C98-A80B-641C77673A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867887$3744BAD0-F3F6-482E-BCBB-1FF019EE6A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50c527369db98da1572af85144930b9524712a09","datavalue":{"value":"reliable messaging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867887$E46B755E-C7CA-4089-8156-7E1D73AF7AB0","rank":"normal"}],"P1463":[{"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":"Q2867887$5FF28196-CC18-47C7-9442-055CAF057629","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":"Q2867887$1A706F76-69FA-4EC1-BE1E-8134FD7A27C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6853e3a736d67b043250fc2a3d6a1e8c8b0c8e06","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867887$111D0690-479E-41DF-B883-D589EA0852EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7e3a54a25d286ea7a51a0b3a08f0f2c0ae7b32","datavalue":{"value":"W2130831769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$464CAE23-CA76-4086-BDEB-862A00E1B41D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c842d963398960dcc40bd349b899c7f8cb493155","datavalue":{"value":"Q57090146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$591549F7-817D-47BC-AC94-FD7B621B6AA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7d69e6ca447ad6938729a3c08ad9755c5d0be9","datavalue":{"value":{"entity-type":"item","numeric-id":5292604,"id":"Q5292604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$186259C6-4969-4DD3-AC7C-CCCB9E4E0CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8d006c39092a33b46ff13e7e29b1f7444b8195","datavalue":{"value":{"entity-type":"item","numeric-id":701031,"id":"Q701031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$40C5A552-082E-47F5-8EDD-FCDD6385E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdf5898aa31599bd70274cb35445e8c32964439","datavalue":{"value":{"entity-type":"item","numeric-id":2728869,"id":"Q2728869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$8277E016-B8AE-4A61-9A80-B3F90E29FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d76d59e66979e6ef88aee9dd5b85b00517f76c","datavalue":{"value":{"entity-type":"item","numeric-id":4890712,"id":"Q4890712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$752B43BE-A05A-4750-96D3-1D516236B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05bf40ab502a5cda984e20a114754fd001bfbf2","datavalue":{"value":{"entity-type":"item","numeric-id":4709119,"id":"Q4709119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$DAA6D18F-981A-49D8-9CB0-0E8C9B4AD5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c9fb1e457be3deff52f0fca8bc59e45adb4137","datavalue":{"value":{"entity-type":"item","numeric-id":5313074,"id":"Q5313074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$0B8F83B6-CE46-4A5E-8037-099A7815E88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca6fa89d483c05ceb1284e3c27bfd58b489ea302","datavalue":{"value":"10.1016/J.ENTCS.2007.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$7172B6CB-7D82-41D3-AAC1-DF8F59351544","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"af86d8cb18a898506de102fa1332270b9f9477e0","datavalue":{"value":"journals/entcs/GonczyKV07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867887$D28595A9-9D95-45A4-B9F9-7C56BC7956F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5bc3d9ad8ebe20aba23abf7b6a11aed826134b2","datavalue":{"value":{"text":"Modeling and verification of reliable messaging by graph transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867887$FA690714-84C4-4C30-9F7E-23765F957D99","rank":"normal"}],"P1643":[{"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":"21c691105b538169f6c8a56ab46bcfc9579ef69a","datavalue":{"value":{"amount":"+0.6845966577529907","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":"Q2867887$AF8A8AA0-BA02-40F7-A77D-FDB4D19A0D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e777b7419284ac9af2cae7050d6ca5782666622","datavalue":{"value":{"entity-type":"item","numeric-id":2847796,"id":"Q2847796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcba24a64da21d491cdbf19440d22fe82f430b29","datavalue":{"value":{"amount":"+0.6812083721160889","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":"Q2867887$3B0301AA-5576-4FA6-93C4-298CBEE28137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b75002c563b39ae76662cf4fbe6a6a2f50f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":3416073,"id":"Q3416073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3587107f4320fb9e6ce8b0582d8d2e509ee0a08c","datavalue":{"value":{"amount":"+0.670849621295929","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":"Q2867887$A5643D33-DFDE-4405-92EB-C604A5AD6BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cc55eec115ef1a4e5443a059a0705e49222fe7","datavalue":{"value":{"entity-type":"item","numeric-id":5395092,"id":"Q5395092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b40d668266f81ffa807f19b2a9707148d35651e","datavalue":{"value":{"amount":"+0.6695483326911926","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":"Q2867887$529F6367-5269-420E-92FD-57035A5D9508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ffa935ab8ecfde44df10840e8eeb2ccdef1544","datavalue":{"value":{"entity-type":"item","numeric-id":2340044,"id":"Q2340044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4f32f79bd77f3defd37cd2d1646e0f416523e5","datavalue":{"value":{"amount":"+0.6681699752807617","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":"Q2867887$405FC6DA-6541-465C-9643-83CADAF1566F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867887$BC8A7BF6-9DDD-4A97-8CEC-9F2887837DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling and verification of reliable messaging by graph transformation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modeling_and_verification_of_reliable_messaging_by_graph_transformation_systems"}}}}}