{"entities":{"Q5741570":{"pageid":7771121,"ns":120,"title":"Item:Q5741570","lastrevid":52582709,"modified":"2026-01-23T01:02:48Z","type":"item","id":"Q5741570","labels":{"en":{"language":"en","value":"Modelling session types using contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607285"}},"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":"Q5741570$E1A02AD7-D414-465C-80F8-CBE82CF4CDF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33ef93e8b91aea1838ee188d17068b9bffbe9639","datavalue":{"value":{"text":"Modelling session types using contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741570$9C0B8A12-1668-4DE5-AF4A-E2762605DD5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c48e5125fb51d4a5dbfa056eafb96b86217c8b84","datavalue":{"value":"1361.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$FA0459CD-617A-4D39-A89C-B424E436E532","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70da5be639987a4b6ecfc13457426da1af8e06d0","datavalue":{"value":"10.1017/S0960129514000243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$7356E7AF-65BA-4514-A39F-C19275442762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ddb2241af3bd147970304cb853664d231b614ee","datavalue":{"value":{"entity-type":"item","numeric-id":2811924,"id":"Q2811924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$9F13B01B-5EE3-43DC-AE1C-ADE39EC062AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$D1350F86-8C80-4184-A2F7-4E49E02D0EAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$C581D0B9-D84B-4ED4-9410-2F7ACBEEE67C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741570$416896B5-08D7-4CCB-BDB0-25AC2CBE7850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$7061393B-A06B-4F21-A9BC-EACCE2B6B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$E79C91D7-E787-4450-91F2-96341EE0A43B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30029d9d032258fdb137fee406f96772a6f56df8","datavalue":{"value":"6607285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$2B360B88-1586-4C1A-B172-28DFA6C9CE12","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":"Q5741570$EC5996E2-A773-4933-9A22-F855E2B8977A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$CE6E7D8E-6AF1-4696-BC17-97C85DD10424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00a080204fbd2b7c66a88424f364281ae743b9","datavalue":{"value":{"entity-type":"item","numeric-id":3507396,"id":"Q3507396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$ADBBBADD-435D-4B79-B40A-5905FCBA0D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$9033771F-EFE8-4C4E-A330-A4C5952DE312","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":"Q5741570$01E78044-0757-481C-AE56-C7B94E862B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef659ba96ca88158b3f0d00068af7c71f42a2ef","datavalue":{"value":{"entity-type":"item","numeric-id":1870414,"id":"Q1870414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$123F5B1E-3281-43C2-98C0-4FF544D5D9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$29ED0831-D4D1-403E-9795-4B56363F1845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7822d48109ce93ef00ef9179c391b71f5bf00ced","datavalue":{"value":{"entity-type":"item","numeric-id":987977,"id":"Q987977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$44CFF471-7389-4DE6-B423-0165DFAE9DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741570$BCD9B6AC-7715-4DED-87A9-B4EAC395F2E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa72337d9eec6de57790a86bfe417065e7de4b1a","datavalue":{"value":"https://doi.org/10.1017/s0960129514000243","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741570$5D61B54B-776B-44A4-B5D3-394948950131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"988feeb80cbc4bae621ed4d7cc8f4fc69f0a60ea","datavalue":{"value":"W2126641514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741570$372646AA-EC4A-4C20-ADAA-E1AEFB7EE5D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e07559882e66e902282caf5cfd790ca8f51282a","datavalue":{"value":{"entity-type":"item","numeric-id":5739895,"id":"Q5739895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4d413510d16ea95d8f61b20b4075805048fddb","datavalue":{"value":{"amount":"+0.820695698261261","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":"Q5741570$A18A2641-CC30-43A9-A8F1-A804CA317442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66693f7bdf52e00b6c3ccc3627e5460e72ed66a","datavalue":{"value":{"entity-type":"item","numeric-id":3190131,"id":"Q3190131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499ff93238d53de6232293fa57c3ad4dc31c3e2e","datavalue":{"value":{"amount":"+0.8198106288909912","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":"Q5741570$F3B63A75-AC4F-4465-94B9-D0BEE53F25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7940b3628a3c8038ad812c26b9bb6ab42dbc008c","datavalue":{"value":{"amount":"+0.785577118396759","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":"Q5741570$BC059CC7-0BDD-449C-B166-1E2FE3C94FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21165aba9911b14885f2a3aaf66ff3212d4ac25","datavalue":{"value":{"entity-type":"item","numeric-id":3507396,"id":"Q3507396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5df629aa2f1901e3713dba1519741c5508222de","datavalue":{"value":{"amount":"+0.770203173160553","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":"Q5741570$793E1CCD-C3A0-4561-8049-B254A35CCFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b066c04913403b626d2c21ddf8b01a526b060f","datavalue":{"value":{"entity-type":"item","numeric-id":2811925,"id":"Q2811925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4f91d176ba9494f6866ebec97a2d9718a158ad","datavalue":{"value":{"amount":"+0.7513848543167114","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":"Q5741570$7FB4E171-8F66-4A65-A830-D2807458438D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5741570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5741570"}}}}}