{"entities":{"Q6161233":{"pageid":13296114,"ns":120,"title":"Item:Q6161233","lastrevid":102578924,"modified":"2026-06-06T04:49:18Z","type":"item","id":"Q6161233","labels":{"en":{"language":"en","value":"A formal theory of choreographic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7702727"}},"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":"Q6161233$CEB04B28-316E-4B43-A1E4-37891E1D6946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc477298275ffd5bb0e1d7a0167ea2ebb700b105","datavalue":{"value":{"text":"A formal theory of choreographic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161233$AC72BEE7-DB72-497B-8A56-E47A9F3B6F31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$485B52F8-B1A3-4931-9A78-1EEADFCCB9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57af5fea054236740e1a458426a7dfa0813fa27e","datavalue":{"value":{"entity-type":"item","numeric-id":1699419,"id":"Q1699419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$FD9A4C75-7A3B-4847-88A5-F1852909785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43e353580e5ce9b57bc9090fa734ccf46d1f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":507376,"id":"Q507376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$1B20EC6C-1A63-46D8-9CD7-EFAE0BDF60A4","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":"Q6161233$E81AF62E-6F26-4F49-8EBC-A6A8220D2C6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52958a1a3302f5b699063490fddb5552c7118c47","datavalue":{"value":{"time":"+2023-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6161233$33B3255B-1DAB-458E-B77D-4B77DB283CC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02ddca3eca1a4968374d5707eb41aea492ff2c8b","datavalue":{"value":"https://arxiv.org/abs/2209.01886","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161233$34982C3A-ECBD-498A-8114-F7F9F36D23D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161233$A82E2673-0EDA-46CE-9781-B447E556CCE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6be309ae4b0b7982f2d167697130e40012deac24","datavalue":{"value":"7702727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161233$1EEB2CCB-4C97-4FE8-8129-861AF2FA82E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a6bb630b22661427fec676c54b22cd5bd4c28fa","datavalue":{"value":"choreographic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161233$5AFF356C-B92D-48C4-BDDA-E1754C274F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161233$9D25751E-4B48-4A4A-A58D-E09DAE3CC732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161233$43758F12-CBF9-4358-841F-5E45CB9664E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161233$16F692B7-215F-43FD-B0DF-BF0F6985A4FE","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":"Q6161233$536E73CA-1DB3-4F6B-9BBC-2DDDDB28981C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a774c7ff9c05b0c1fd7582f3d323432ab2fdcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":590566,"id":"Q590566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$E8CC3E76-935C-4832-9EE2-84F63753656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7936b855b4220cfa21daf320e88f2d4410a7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$0FC27C3A-2BCC-45C3-8044-1DE8D4C54494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b666f80cd69278d3fb19208e2673192a6a3c25c","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$F91B3971-7006-44E8-BA38-AC0CD3F2CF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67149e502fc774c44269780e7fa6172dd6ee2c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5856424,"id":"Q5856424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$18C16A54-9FA5-46CF-A3A1-901E8D1D9F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$0DD0424A-0790-4ED8-B374-B6FC98EE649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$408E5CE4-15A5-4E36-BDAA-493BC64E1055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbf329f50056a083c22cc217d9b573627af5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$80146E73-2788-46C8-8DE6-F01D440200F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178bd04ba6a1da74843798a6372f4c8b6771fb33","datavalue":{"value":{"entity-type":"item","numeric-id":5082192,"id":"Q5082192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$A47543BF-A43F-479D-8865-1A39D20FCAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21e3f32e86bf776a63848f800f3dd1623a66b92","datavalue":{"value":{"entity-type":"item","numeric-id":2007727,"id":"Q2007727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$8C9E74EC-E058-47B1-A41E-6F2F78BAB987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6fb22f32062d2c6d883869facfac25339de720","datavalue":{"value":{"entity-type":"item","numeric-id":2988384,"id":"Q2988384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$9BCAD3C7-379C-4188-AFE5-40731D3DF9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8222387eff89953ab7f4ec69e362bf3c1b30cb94","datavalue":{"value":{"entity-type":"item","numeric-id":2119966,"id":"Q2119966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$3AB00577-FF1E-4F60-83B3-09E066A4DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9e8dc003b8bf5ba026715517286f559c6f5e94","datavalue":{"value":{"entity-type":"item","numeric-id":6099602,"id":"Q6099602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$16D057D3-4969-4FC9-8D46-07599ADFBD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8c65bbd6c29e12599cf6e4400dbbcd1124bf64","datavalue":{"value":{"entity-type":"item","numeric-id":2974797,"id":"Q2974797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$F285B8CE-BE81-4254-A99B-6BEC6169DD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbd8cf61a3d7d133d58134148a652e5ff0ec18d","datavalue":{"value":{"entity-type":"item","numeric-id":521665,"id":"Q521665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$D6FBA739-9E00-43CB-B72B-17E39E8CE826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$44FA7C6F-B7F3-4E46-BD22-6C9FCF19E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$A72D5AB8-96C8-406A-904E-20E29E7C3940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$EDB8B062-DB50-456A-83CE-C2A097778152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d655abf575462a0349900097d1ae485fa26dabbc","datavalue":{"value":{"entity-type":"item","numeric-id":2945719,"id":"Q2945719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$DB856CFA-692E-427A-9169-37C54381AEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec6071cb9cd04c04c0d6a6850b864f36c3a04c01","datavalue":{"value":{"entity-type":"item","numeric-id":2827467,"id":"Q2827467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$AEDF1E48-A83A-4A2A-98F6-FB275B91CC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b485181b6485fecf4313a7a59389b80e233a0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2945640,"id":"Q2945640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$9422AF67-9773-4911-8E5A-35C9D024D6D0","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":"Q6161233$9037D465-8B66-479C-BAD1-7030F1806DE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8b9d6236886b2d1ad238977c88bd467a18d1c37","datavalue":{"value":"10.1007/S10817-023-09665-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161233$D1760372-DE68-409E-A9EB-60F2EFBF4BB6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161233$D11AA92E-C46A-4CAD-9F7E-21046ABE2136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal theory of choreographic programming","badges":[]}}}}}