{"entities":{"Q5262932":{"pageid":7292508,"ns":120,"title":"Item:Q5262932","lastrevid":52303781,"modified":"2026-01-21T09:46:19Z","type":"item","id":"Q5262932","labels":{"en":{"language":"en","value":"Skeletons, homomorphisms, and shapes: characterizing protocol executions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457550"}},"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":"Q5262932$30DE15E0-C616-46C4-BF17-5F3F71E0AC9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feb4e6c3d67a6dfd13700f478cf79262608f2e97","datavalue":{"value":{"text":"Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262932$0C74D3CA-4114-4E3C-BF17-ED1A358E3B53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7876314b325af9ebee411ba123e0ee76ec22623e","datavalue":{"value":"1316.94067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$32109310-3816-4908-9C89-153FAE9055D2","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":"Q5262932$6F43331D-0452-4EA5-8B6C-77CE8B6B6229","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262932$DA79AE33-C848-4121-B7F8-AAB2169C8A8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$439D1802-4271-4615-A7C2-D109E1D70EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$E039D3A9-BD43-434B-94AF-CD89F3494235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9355000e24b54aa262a75fb0882b3a7540c4f807","datavalue":{"value":"6457550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$368740AC-0A67-4B43-A7D9-E54A27875BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198806c59e37372f0e3456be07622ad581fb0135","datavalue":{"value":"protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262932$6CAB4A66-25BE-48F8-A143-10758C1E53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895bf8201231b6fce83a0a8f0d82857ba32a5f82","datavalue":{"value":"strand spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262932$29E1297B-D4A1-4FC2-9334-3876260FCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71578db8281c306a1453e9e362b08b8dfe2f51b7","datavalue":{"value":"enumerating protocol executions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262932$F0180E23-A615-4644-A381-D3A3945898A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb15b83234578c9652c0ebd0f882e6d98758141","datavalue":{"value":"mechanizing protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262932$B44F23C5-C120-4F94-841E-B5BA2377FAD3","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":"Q5262932$C3049BC8-A598-4E87-AE8F-30D15AEC7FCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21ab0e9dfaa746084e86558d714e911aeb739d1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262932$E83BE307-062A-4869-B6B6-385057110ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"613a2e43ef84e3a2c2078d05760cb9bb975364d5","datavalue":{"value":"W2127951578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$09BB0AA0-DA39-41E2-81D1-4DFBB3A61C88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6f3ddd888aefd98d9d79fb361a71cfdf283d39","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262932$0F434E4D-43CF-4703-9EFB-F253C8A43869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d1cd18ad4e1c7a83c2322b2db670292805497","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262932$48145754-6748-4D7A-9DA8-4A6483EAED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1066486ac3438ea6a4b03efe85e6b0f34b555b","datavalue":{"value":{"entity-type":"item","numeric-id":4798027,"id":"Q4798027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262932$4905D693-8AB0-40E4-BBDD-2D42A3FFC181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262932$ED8B75BB-C932-4A97-B533-907960028013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262932$CEE4E96E-9A81-4BEE-845E-2691A7ED5CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4447edf2514b3cd1645cef4577e61f5b823de8b9","datavalue":{"value":"10.1016/J.ENTCS.2007.02.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262932$FDA75698-398A-4454-9927-5E1089F4F135","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c9ada20893d54ba30b6bc602d33f4da8b623ef","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09952d3d1731c509f25d5cc304519911bde362b8","datavalue":{"value":{"amount":"+0.7802457213401794","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":"Q5262932$0C8EA918-4136-4C3C-9546-ADC47B6DDB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609cca4963d7b5835ea14473b32f82a956bac858","datavalue":{"value":{"entity-type":"item","numeric-id":3184715,"id":"Q3184715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209c8f4050f2123c8623816a7555d880fb7a826e","datavalue":{"value":{"amount":"+0.7599002122879028","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":"Q5262932$73C18157-423A-4A5F-8EA4-4DEAB5F7FEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422e8868ae5685406efc4d6dba4f89e5b8b233f8","datavalue":{"value":{"entity-type":"item","numeric-id":3617737,"id":"Q3617737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf45c09ad8d47dfc753911833c32e13bf36e412b","datavalue":{"value":{"amount":"+0.7468487024307251","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":"Q5262932$A93381D1-9138-4BB4-80DD-144C496E577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbb70c2764bc98f95bfb4eb3ca38221a3564a571","datavalue":{"value":{"entity-type":"item","numeric-id":3734302,"id":"Q3734302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf526e5a353915175cb3e522ee7f47135ec15f3a","datavalue":{"value":{"amount":"+0.7421157360076904","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":"Q5262932$95FE2F56-28B2-418E-AA4C-33B83E8BBCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb37dfd3b46ac971d3e1e230133cd4211fa9130","datavalue":{"value":{"entity-type":"item","numeric-id":5146597,"id":"Q5146597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303ed70f64826d3d5e225e94a594a88ea859f519","datavalue":{"value":{"amount":"+0.7339146137237549","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":"Q5262932$C6CD2441-B392-4EE4-AEEC-BE50B11A1B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262932"}}}}}