{"entities":{"Q2864155":{"pageid":2874875,"ns":120,"title":"Item:Q2864155","lastrevid":51885659,"modified":"2026-01-20T11:40:44Z","type":"item","id":"Q2864155","labels":{"en":{"language":"en","value":"Protocol composition logic (PCL)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236111"}},"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":"Q2864155$43170143-1D7D-4328-A08D-BDD96C65442E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf8746987c0ee71857b3137a687aefe8acf571e5","datavalue":{"value":"1277.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$7325FBB1-256B-460D-A20B-1F64BFDF07B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e211c695368008413217636e920ea6dbeb72f3d0","datavalue":{"value":{"entity-type":"item","numeric-id":276484,"id":"Q276484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$2C35B1A5-C524-4597-806D-41BF2DDCD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f77b2607aab02bcbfbd6fbcd902acd7e9fab54","datavalue":{"value":{"entity-type":"item","numeric-id":276485,"id":"Q276485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$BEF3D384-C38A-4E4E-B812-B674B21C070C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$BDB1C74A-20C3-4CC0-BCB5-1B76D1555338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf5572ba57df4d5ff2f4e18cc9b95f211c9ec772","datavalue":{"value":{"entity-type":"item","numeric-id":821193,"id":"Q821193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$DD1ECEB3-4821-48D6-8611-FAB3CB7320A6","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":"Q2864155$829E9085-D5AE-4D0D-B36C-97D9DC43A7FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864155$3F95533F-F438-487B-92F5-D02846824BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$A3F32652-8D56-48E7-B759-16661B94DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$EBE0980C-5FF7-4895-9671-8199CDDF1438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$2252E7F9-6081-41E9-9281-49E407F9DEE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ccfe200c93e95ec9d855ffa1b5582375b680db","datavalue":{"value":"6236111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$A227A604-5B5C-4197-9BB2-40BE20840EB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f05d2cfaad8f9daab4830a92001afdcbcf2024","datavalue":{"value":"security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864155$9A7253BF-4022-4A17-A813-074A31A3EAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864155$0892CAB1-FB06-42A0-A85B-7A16E603B9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9946779af43068db84959d7ebfa6d74959256af","datavalue":{"value":"composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864155$9D724BDA-89F8-497A-8482-DFA49EBFD68A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$ACEA9192-76B6-488A-BF74-357A96653C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$F59AA1C4-159A-4383-A0B8-7C00678BDB39","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":"Q2864155$3627DD1E-BAD1-4992-8B84-861E84A3CF9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51dd4fbfa4bd8b83fd3b6cb08f98ea96aeceec6c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864155$2125C6CD-7D4A-4C5D-9DC2-DBCFB50F585E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb30d5f1f0eec89ff19a1a30153cf0c073877a2e","datavalue":{"value":"W2168277905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$6744A9A8-095C-40DB-9E7B-FAFEE25400AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$7620B29D-D2AA-4898-AA3B-85177F64090D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$8DD5D6FB-8D46-437D-8B9E-8B9DE0DCBB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$52324965-389A-4AF2-928A-C8D0B12F2410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d04d0c80b8c408bd2b69f41178c3a3ad5b53c23","datavalue":{"value":{"entity-type":"item","numeric-id":860896,"id":"Q860896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$E72F602F-8F93-476B-9C6F-4B9AB40D11BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec63c68b6639e683e50024724143934f1d7b725","datavalue":{"value":{"entity-type":"item","numeric-id":3507382,"id":"Q3507382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$702935A0-362F-4327-921A-518E8DD75E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3a6e17ff0920e4418b5060610a8d9ce6814491","datavalue":{"value":{"entity-type":"item","numeric-id":4341751,"id":"Q4341751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$2A41918B-8F4A-4FE8-A609-373B6070816E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$C0B87124-1430-4BD6-9404-92AE7B9E1626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5deb64016a52dffeea04fddc0b1c93e2efc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1872784,"id":"Q1872784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$E7330CEE-EB58-4A2C-85CC-94517D8AC233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6749097b3d24a4cc9ba62580498b90d1488191f9","datavalue":{"value":{"entity-type":"item","numeric-id":860899,"id":"Q860899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$5A8DC51D-95B5-4414-A032-43C8D03B1A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc38d43de6f3ac9726f598ce3966950df1e400b","datavalue":{"value":{"entity-type":"item","numeric-id":4418587,"id":"Q4418587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$FC257FF9-CF9B-4B48-BD3A-91A0FB677E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59913fe185c6401611a45f959636e2872d075951","datavalue":{"value":{"entity-type":"item","numeric-id":2482453,"id":"Q2482453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$4F6121D0-0E76-4189-9C0E-0CF42DE980F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77696262e5816d9945dabe2bd0861b2cc6ca6db5","datavalue":{"value":{"entity-type":"item","numeric-id":276488,"id":"Q276488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$1C5A35D6-13AF-41AB-B13C-C61F4AD6134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aa1936344e75960723041aa0f8eee694263b40","datavalue":{"value":{"entity-type":"item","numeric-id":5716777,"id":"Q5716777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$EA574A3A-E3C7-4AC1-B00A-B2B95A880F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$B3F5B1D6-BEB2-411A-B37E-BA4C9DBBAFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$4EFD0348-8F2F-4880-BE97-8D9BE0BCF539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$545F0A54-E988-4EA1-82D5-EAE1BA01AD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$7B3E5C93-7DFF-4350-B52B-C7A50D3A370F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f3182c6b7e62a8101a6c6001147bd2e27f1907","datavalue":{"value":{"entity-type":"item","numeric-id":4387317,"id":"Q4387317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$C9A79784-D9FA-433F-B494-D42991680346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d775e824fadeac6d94bee23311f0bd74e8b7dedd","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$4EE2FE99-099E-4E6F-9319-85C9145CEFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$51A7B8EB-B6B4-4A21-BE36-5B08F51154E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$4C7B01DA-3CBE-4CE3-BCC3-8AD78FAED4AD","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":"Q2864155$8012F991-B92B-4BD7-BD47-2AA383F4BDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$1088FBE5-140D-4FEA-91EB-22E2E5497453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91574b2a3de5010705265e08944477847eda8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5308469,"id":"Q5308469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864155$327CC4A8-D762-454F-9320-B8FC24085CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6aeacdcfecff523f354ee93138c7df7e82e25ab","datavalue":{"value":"10.1016/J.ENTCS.2007.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864155$92280126-379F-46F2-B9D1-240ADF0E94CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9144ffd6929a940dee51861ed6c5ee65784853e4","datavalue":{"value":{"text":"Protocol composition logic (PCL)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864155$BF53BBF4-634A-4C3C-915E-4BC30662D1C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35a7d329ad981f28ce80734e831b48188d25983","datavalue":{"value":{"entity-type":"item","numeric-id":3642390,"id":"Q3642390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a693afd5b4e031244cca100339c44e3779055ca","datavalue":{"value":{"amount":"+0.8715380430221558","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":"Q2864155$40795CC5-92F4-4308-88B0-28E6BAD1162A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70ea815ee7b3f528d54a7521e7a9c1f60698ec6","datavalue":{"value":{"amount":"+0.7511806488037109","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":"Q2864155$2840452D-2F36-4589-B579-AB138CBCE582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e764e9ed1fb42cdfd71346bb9b09e4f37f9e8b","datavalue":{"value":{"entity-type":"item","numeric-id":2765456,"id":"Q2765456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af53f5a14025f78ad45d6cbb7439b44cd0934e1","datavalue":{"value":{"amount":"+0.7464828491210938","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":"Q2864155$D993A4B3-6491-446E-AC15-481B58482FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75938c139f8aee0deac46de73099b74a36e65918","datavalue":{"value":{"entity-type":"item","numeric-id":3125910,"id":"Q3125910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5718e0f5b79e50e966e6b05d7d29004eda35b24a","datavalue":{"value":{"amount":"+0.744761049747467","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":"Q2864155$FB33E918-B223-49DC-9864-DD93D97B4929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f383e76a5e79987411dfb3a430af9c6bf80a262","datavalue":{"value":{"amount":"+0.7441583275794983","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":"Q2864155$99994A6C-E5FA-44CC-9B96-943B00609257","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864155"}}}}}