{"entities":{"Q2140476":{"pageid":2151219,"ns":120,"title":"Item:Q2140476","lastrevid":54323645,"modified":"2026-01-26T15:38:19Z","type":"item","id":"Q2140476","labels":{"en":{"language":"en","value":"Communicating finite state machines and an extensible toolchain for multiparty session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7530222"}},"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":"Q2140476$21522489-A7BF-4C94-9C3C-01721DF31105","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d82087d45aa624ed640ea8f7009ffbf0d1768a7","datavalue":{"value":{"text":"Communicating finite state machines and an extensible toolchain for multiparty session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2140476$0B45F0ED-21A1-422E-AD34-C58ABA44B068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d405c47a7b14f207c35cd524c3325265a27c763","datavalue":{"value":"1487.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$BB6CA5E5-5F2B-4905-9C87-882D6801BD1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0637fda6212038dccc5cde5add3095e43d5201be","datavalue":{"value":"10.1007/978-3-030-86593-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$1833BEAB-89CA-43D5-99FB-90F59E261DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$954BB13F-690F-4340-BF71-3CA61FEE62BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df12c29ec81b8c74881b080e26d8ac395e96b04a","datavalue":{"value":{"entity-type":"item","numeric-id":2140474,"id":"Q2140474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$A6206E12-FB01-46C2-A9B3-E4346AA17FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52cdd838bf45987c7ae2b1c85d4ee6ac69bc8f8","datavalue":{"value":{"entity-type":"item","numeric-id":2140475,"id":"Q2140475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$19B2EF04-E594-455C-9439-C37D401A162B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baa76a50258ba2e3eda6ed9aa2a8bc9741ff28a8","datavalue":{"value":{"time":"+2022-05-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":"Q2140476$307E30DE-6821-4FE1-A00C-21B954BA58A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$5F21D220-6FFF-4453-A187-0D292F75BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$0BA275E4-022A-470E-851C-A792FA8B296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$068A1062-8CF6-426F-B4D9-30CA71658F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e688483eb0e6632b0fd23662041dd4c06d8a46c","datavalue":{"value":"7530222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$7BE307D2-1A88-4887-B23D-0517C0E1BBB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140476$BF1D8306-4D6B-44C6-9D86-2D6B23B5536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140476$EB48C1D2-317D-4F5C-AF5C-F6603BF8A875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8920e11faa9884a60f725bb3a6e1b6307f418f0","datavalue":{"value":"distributed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140476$3729BF24-BE65-4551-AA75-3514857A2101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a03b9d5669d39e2c8c86a4b6a70f809e0e5f8f","datavalue":{"value":"Scribble","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140476$ACA81F50-5AB7-47CD-8C3F-5A99107341DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2140476$DC7ABFB8-E2A0-4828-A006-7D7D8FE229A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fb4a6c52845aa1229a9b7201195e257eb4b6e14","datavalue":{"value":{"entity-type":"item","numeric-id":5974670,"id":"Q5974670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$83FDFC3E-A9A6-4D83-B76E-9D86E58F510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ff223f4a816479bd35b0519dd1cb125f31c19ab","datavalue":{"value":{"entity-type":"item","numeric-id":32677,"id":"Q32677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$473B4460-9EC1-4A31-87CC-0EB51945A4F5","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":"Q2140476$A52828E2-EF6F-4CC8-918E-EF658F40046A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a264630ffa1c0048e7729f5143e2b876413ea72","datavalue":{"value":"https://doi.org/10.1007/978-3-030-86593-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2140476$2A964B9E-995E-4972-A998-0777BEC8FEF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b22caeab1c04d5931fa9ff8fe214a63ebaf19288","datavalue":{"value":"W3199431963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140476$1F5A7A88-6A9D-4A4B-AB2E-508797AB4E47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$14C08009-648B-42E9-B94A-FEDF306FB88B","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":"Q2140476$80299267-939E-413D-8B4F-FADD202CE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4679e9d355ce9b79d3048e6fa8de9d2a93c55e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$813F88AD-F451-48EA-AAC8-F4E8651A1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b788c691120b21bc6d328923e94baea026961a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914375,"id":"Q2914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$DAFD4A63-2B7D-471A-ACC0-99D965452D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e3033269642a933c8c4f3dd42ebc18b5de0dac","datavalue":{"value":{"entity-type":"item","numeric-id":888409,"id":"Q888409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$46AB242F-C1E7-4F4E-8642-802B891F7CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1676ea40b686135e06aed5ceb44a39822dfccb04","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$AFB9A0B1-F518-4868-9069-5E11EF855B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3e677fad5a87b25d17e11c0cfbf0fa32f7fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":2423747,"id":"Q2423747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$6E979F0D-402A-47C7-A808-FCCDFE4C5018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$959191C5-B7F9-4B6D-B204-BAD9C1BBF6B0","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":"Q2140476$24F0DA9D-2557-4574-8AAE-C95FB22731A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790778054f0b8617f9a706a7beba5447691c83fc","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$52E06442-BB10-4673-9E92-CC0449090A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fd6c62da767f6504b2fb11bdb7fedad24f27","datavalue":{"value":{"entity-type":"item","numeric-id":2819808,"id":"Q2819808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$9BB02493-071A-4A93-A81D-8930E0AEB341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c977d0e481d0f8440711f27481df81c4b727d21","datavalue":{"value":{"entity-type":"item","numeric-id":6154577,"id":"Q6154577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$94B9D590-B9A3-4231-84A2-E17827FAACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204036118ead3c48d57db3365aaa953204adb0b3","datavalue":{"value":{"entity-type":"item","numeric-id":2980982,"id":"Q2980982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$CEA31278-901B-40A8-BBFD-8CFA57091535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b2b6fc6641d710e33444971cd93def1a75b104","datavalue":{"value":{"entity-type":"item","numeric-id":6199108,"id":"Q6199108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140476$8BD1B06C-37D0-44B4-8465-EB90D2559107","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0992ad15b4ccfe7ccc068a8b4f0e5cf0ed4c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1423ea2580feb8100db67fcda5aa0aab6e14092c","datavalue":{"value":{"amount":"+0.8057587146759033","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":"Q2140476$97272814-157E-40C1-B574-3112C979C5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2794af3056c996a901fd767fd034a249bf7ab22f","datavalue":{"value":{"amount":"+0.7958029508590698","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":"Q2140476$CE4F0366-9236-48C3-B15D-A64095FE23DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6986eaf3a6c20ebe60e0179d79f575ebc7f76316","datavalue":{"value":{"entity-type":"item","numeric-id":2360653,"id":"Q2360653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb6049879310482789ece0e3fada361ebabbfba","datavalue":{"value":{"amount":"+0.7858832478523254","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":"Q2140476$01FE76A2-9603-4A07-9A40-E5343CD76E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6736020e18ea9a02e907fd58a86ebc9050799","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590f2aaaf25d2e3a5f9a15d80ec96bddcb31bfad","datavalue":{"value":{"amount":"+0.7846094965934753","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":"Q2140476$CCC99F03-8035-4596-A548-35A0462F5F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa859640a5a3f3b25c3c75b4759d7e1ad4c0a69","datavalue":{"value":{"entity-type":"item","numeric-id":5041094,"id":"Q5041094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe60db0d7b08989e5184203fec2e98dad1b8064","datavalue":{"value":{"amount":"+0.7682064175605774","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":"Q2140476$E52D61E6-7313-4A3A-8BFA-F01F6533CE85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2140476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2140476"}}}}}