{"entities":{"Q5919613":{"pageid":8051308,"ns":120,"title":"Item:Q5919613","lastrevid":53530238,"modified":"2026-01-25T04:35:16Z","type":"item","id":"Q5919613","labels":{"en":{"language":"en","value":"Session-typed concurrent contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104912"}},"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":"Q5919613$B4000E46-1490-44F0-8D5F-8807FEBF85CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8aec0cf4cf76d0e3649c93a277c42d085497bbba","datavalue":{"value":{"text":"Session-typed concurrent contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5919613$91258332-8E66-494B-9351-5947807E6691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f2d3eeac9050b1fe11bcabd385e97281b7e93cf","datavalue":{"value":"1418.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$8EA6C3CB-8610-4D01-B02B-B18820D2FE81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4c3f1bef178041a16bda6ce400f468914edb7b0","datavalue":{"value":"10.1007/978-3-319-89884-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$3E25E28E-2B2B-42A6-8DA9-C9C180972361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b629536f3ed90b09aff1c34872b675b6f78326d","datavalue":{"value":{"entity-type":"item","numeric-id":2324005,"id":"Q2324005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919613$3718F96B-84B1-485F-884A-17C961B94E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f53bc214c4118e2226c58a4920027dbb2a4854e","datavalue":{"value":{"entity-type":"item","numeric-id":277713,"id":"Q277713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919613$3CEA1F1A-C1CA-472E-BCD7-21443541D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919613$25CCCC8F-7EFB-4D83-BA35-7BE37600F6FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5919613$90295AB2-3F27-43DD-A3BC-8F19795030E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5919613$CB92552E-FE99-4BE0-AB6D-80E5CAB5DD44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$F035268A-90A1-4631-85E4-8FEDA79EFEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$A115C4A3-5257-4A88-B392-6CB32A23DC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d4793d0ea5923bb3392d839d23feec1a47611fd","datavalue":{"value":"7104912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$90E20D78-CDA1-4D5E-9A5D-B81E170152E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919613$DE186FE6-50E3-4BFC-BC4B-E9585852B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919613$63B89E30-488C-4052-83A2-6BD98634C437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5919613$D87F1B32-7C07-4EEE-99D3-EB5A19945854","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":"Q5919613$B5C7663F-1617-4CE4-AD5F-565D33418D46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d105adff55afa2fc80e167f25db09feb1b2db29","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89884-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5919613$3C8D4B47-7ED7-4E32-AA0F-0DD6CB9B896A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c84d012ccc4208c9367982429a4e428248746ab","datavalue":{"value":"W2797310167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5919613$8DFE33CD-6860-495B-89F6-BD7C5F3AEDEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28f457a5c8c5fc9660ecbf30a387405c18786c1","datavalue":{"value":{"entity-type":"item","numeric-id":5925542,"id":"Q5925542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9cf72a3f3542d37807c368601711bc88d9bef6","datavalue":{"value":{"amount":"+0.9993773698806764","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":"Q5919613$0D57A2E6-57D9-4AAA-8469-C25B5C533AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2bc36c339ae5cf1f08333a1455d786b40686a6","datavalue":{"value":{"entity-type":"item","numeric-id":3184675,"id":"Q3184675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa9205c1711127bb999f6acbe94f5a3a3399470","datavalue":{"value":{"amount":"+0.7827157974243164","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":"Q5919613$553979E5-EDE5-47C7-8890-F4FC2605D210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689908ab2f74a798c209558f42615223a8ac5cef","datavalue":{"value":{"entity-type":"item","numeric-id":2974791,"id":"Q2974791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7796f7b0e5537d29ccd50e426b8b6dab5961bc","datavalue":{"value":{"amount":"+0.7812102437019348","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":"Q5919613$0943C3F2-91B2-4942-AB83-5C8221C90D80","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":"123906a806a0b4523f912ea724ffc7884aa6cc14","datavalue":{"value":{"amount":"+0.7805237770080566","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":"Q5919613$CD3DA052-6826-4D54-8303-C321DD077657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f0e7cb3cd692f6aaed9922d226884cd413d05","datavalue":{"value":{"entity-type":"item","numeric-id":2981991,"id":"Q2981991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04262333093393b79acdae05e7b9acabe9e900a","datavalue":{"value":{"amount":"+0.7752417922019958","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":"Q5919613$7574AED7-7D8E-49BC-AE83-81B79E3821DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5919613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5919613"}}}}}