{"entities":{"Q540687":{"pageid":542454,"ns":120,"title":"Item:Q540687","lastrevid":62636613,"modified":"2026-04-11T07:26:27Z","type":"item","id":"Q540687","labels":{"en":{"language":"en","value":"Encoding cryptographic primitives in a calculus with polyadic synchronisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903835"}},"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":"Q540687$454717E4-6A14-4188-B594-2B532DE7C0E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f268da3e45a6fc8e298b7b01b3ed612745120e3","datavalue":{"value":{"text":"Encoding cryptographic primitives in a calculus with polyadic synchronisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540687$4416F12C-9B7E-40FB-9AC0-C5B1F1DFBD1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec904636c9276b5c13dd10213720d4b13361bd06","datavalue":{"value":"1216.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$1FBECC1F-81F7-4B8B-8664-2ED87D1E63B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7f8ac6aaa5f511a90aa352c98f87bbf44d4a6f","datavalue":{"value":{"entity-type":"item","numeric-id":540686,"id":"Q540686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$402C3957-3995-41B0-A3FA-359FA2B83050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795f48b4ae9178d57242a9f07437351885d44244","datavalue":{"value":{"entity-type":"item","numeric-id":418151,"id":"Q418151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$A8F1E227-FAB9-4004-BBE0-572414FC8AEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$746763D2-37FA-4646-B28C-B8F690834071","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97ec2afdf79c6632e29986375b104998c12b878d","datavalue":{"value":{"time":"+2011-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540687$0FD22372-84C8-493F-9223-45C10303E8A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$633F1871-55FE-4C3F-890E-87C07DFA715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$6F18C449-1B6A-4D2E-9FFB-CF45B4DF2A65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc41daf33a42f337093cb48a80798d43ef3bc7e","datavalue":{"value":"5903835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$01E959F5-E4F7-4405-9649-0391A4A17393","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c5455c04c09b0241a2d76ae6bd80d020b7f4d9","datavalue":{"value":"barbed congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$ECB626BE-C263-4019-95CB-426EC2FE1628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4adad3737253b5c9920d7a928f456e831997ea3","datavalue":{"value":"(early) bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$C9A06CB7-C609-421B-9A91-E44442247CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43264e2b8b489364166be1edb4c7618a4c348dbe","datavalue":{"value":"cryptographic primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$C9532C93-7664-44AE-9373-06A4970F5D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed71d50681438cd180f966f526945547bfa59a85","datavalue":{"value":"fully abstract encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$E967B96F-298B-4B4C-B1AD-FC685DC22200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$B71A6CB8-909D-4F13-AFFC-DFA08CF63A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f93e2e07ae7e46ff66207844a0a161074b18e1","datavalue":{"value":"polyadic synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q540687$F51504BD-4E20-4067-A869-0578039130C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$9CDA4913-AC25-400A-B1F8-E83071D60FCD","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":"Q540687$01B35F0F-FFB1-48C5-B4FB-40F4B7D70DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af690d0e6b1bdaed6fd3a40e4f42bdda3921ab60","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9189-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q540687$F2756626-341A-44F3-A499-7B0F8B814A7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac6582981856c7a5afde51ac920357e958032afb","datavalue":{"value":"W2093425000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$CB47E55F-78B0-4D5C-A878-85D6C5507098","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":"Q540687$7FA1ED06-DC07-4910-B3B5-7AB6926A42E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$DDD5F421-8446-49BB-A6C4-DF86363E03D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$D04E7AB4-A68A-4069-B929-9998F9F6A17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$4564EB03-E480-4A10-B077-39BC4C723ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$6A6523E4-ACE1-44D1-A566-30CA336C743E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbd0ea05fdfa43c29374764690ea333bf1d45a5","datavalue":{"value":{"entity-type":"item","numeric-id":540687,"id":"Q540687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$4790E298-524B-4BBF-A7C9-3A1D5DCFDB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$BFE0BD71-925F-4D2D-8DAB-BE1FB9F2F14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b678340afad524e3aad1ca58f605a6a22d8cf99d","datavalue":{"value":{"entity-type":"item","numeric-id":3971664,"id":"Q3971664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$578732AF-F470-4E26-B08B-050ADA8215C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e61883b7053159378a76f285220771607b2536","datavalue":{"value":{"entity-type":"item","numeric-id":4266484,"id":"Q4266484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$08DE48CD-87D8-45D6-87FE-94F8858CAC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$E542C462-5A5B-4805-B65E-90519529BB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540687$2E81DCEB-D582-4590-8B39-B753D41D1682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3996a7b1c363123cbad565fb5a69104c7172e3","datavalue":{"value":"10.1007/S10817-010-9189-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540687$C8D80A7A-A416-4C13-BDA3-B8DDB250CAE8","rank":"normal"}],"P1643":[{"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":"c8e7ef619ae3e0cdc4a4b556dc85041baa349af6","datavalue":{"value":{"amount":"+0.7617744207382202","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":"Q540687$3EE048E1-7649-47D7-B7F7-3AB869614BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f26df87fbdfd6eca901869db0e698b03442e35d","datavalue":{"value":{"entity-type":"item","numeric-id":2842599,"id":"Q2842599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793c157d518fbbe5e5d53134ed6b91a2aca5e622","datavalue":{"value":{"amount":"+0.7572669982910156","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":"Q540687$E1D50B0B-EDCF-46F6-A44A-4270AC25ABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd55282876217540abd57418fdec3457c275ed0f","datavalue":{"value":{"amount":"+0.753526508808136","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":"Q540687$BAA6397E-738A-467C-9525-51FD261B9D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cafac35a0ff5f7ce928a318700670ec9e0a116d","datavalue":{"value":{"entity-type":"item","numeric-id":2368990,"id":"Q2368990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406e4bac6c015ab06869e791b634f5402f780eb4","datavalue":{"value":{"amount":"+0.752947986125946","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":"Q540687$BBBED728-5D4E-4504-B00E-1544471DF52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74e0e2a6144a043ff0dcfb538af3e5ebf5714d4","datavalue":{"value":{"amount":"+0.7443488836288452","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":"Q540687$14C308BB-A97B-45EF-9366-4BC04D29AD36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding cryptographic primitives in a calculus with polyadic synchronisation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_cryptographic_primitives_in_a_calculus_with_polyadic_synchronisation"}}}}}