{"entities":{"Q5891509":{"pageid":7927304,"ns":120,"title":"Item:Q5891509","lastrevid":42435321,"modified":"2025-06-27T15:47:41Z","type":"item","id":"Q5891509","labels":{"en":{"language":"en","value":"Typing copyless message passing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021334"}},"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":"Q5891509$2AADED78-6180-40FC-AA85-AFF3C9E73D84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31a7833b20fd5fc96e2d71479da112d003ee862a","datavalue":{"value":"1238.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891509$17751B19-6A7C-49B3-881A-3199D56052D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bdb24c68479c3410104cc9ba86d74f864a30a7b","datavalue":{"value":"10.2168/LMCS-8(1:17)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891509$779B0547-B486-4745-82AB-20BAFA555CC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e3774dc3d7288a395dfaa7792296a4e59727f1","datavalue":{"value":{"entity-type":"item","numeric-id":553897,"id":"Q553897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891509$36E9A58E-7F8B-4247-9757-67CC468C696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891509$B61F9B24-7A82-40A8-9F4E-5569AA5E7C69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891509$ED672426-0505-4F3D-8083-9AC6540B1AC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-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":"Q5891509$44DEC8B4-0AA2-47B5-B432-ECF026FDAE7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891509$FAD6F5B0-129A-4672-8829-82F87448C60E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4bccc8d6ce5fa70cd1d3dfa8abca65afe0a69b2","datavalue":{"value":"6021334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891509$F410C94D-A2BC-4B19-B242-B2A143566114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602ddbd76e17f135b2da82f4647c360bf8aea7df","datavalue":{"value":"copyless message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891509$4A49EF29-29A1-4EC9-9A74-BFEC88A4C564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891509$D8C39AFC-905E-40B2-9E8B-C1C166C07899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891509$C5045B08-6492-4D96-B5D7-3F7E29AB5A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891509$5795BF6B-28CD-4BF8-AAA0-35A07B14981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891509$5E674448-737C-442D-88A0-42627BE51593","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":"Q5891509$51EC0CA3-838D-4CB2-A24A-DE855A4A0D43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15424bdbe1bd4579dff6664c442bda8a87494f0e","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(1:17)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891509$95E24A4E-AA22-4198-A2EB-3E10D179B20D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb299fbf8bbb97739431fc625341bcce482a84a5","datavalue":{"value":"W2955123331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891509$3C804653-60DD-4F5E-9833-9BC79CE8669A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c585d1bd0c6bc38425ac070cc88e909861b17b","datavalue":{"value":{"entity-type":"item","numeric-id":5892489,"id":"Q5892489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$7FCC1F3B-92CD-4233-8630-F81EDE0219A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48519b5b005fad62aa7a1644acc341a036b630b5","datavalue":{"value":{"entity-type":"item","numeric-id":5395112,"id":"Q5395112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12529fe49605f6e570a68641cf62943b16b43fa2","datavalue":{"value":{"amount":"+0.8226588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$9CCA201C-EA2F-4362-A9BE-FB1361C22B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d8ef6b7b4cf6fa9660081889563e48dd9b801ac","datavalue":{"value":{"entity-type":"item","numeric-id":2441510,"id":"Q2441510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa2df6ea52ea2f231faaf17a571d94a44e3efb1","datavalue":{"value":{"amount":"+0.81255877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$69C27E6D-A1C8-43FB-B912-F8D071FD9DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7a03710a2e4231c40f0dcc6da59dedae4fa256","datavalue":{"value":{"entity-type":"item","numeric-id":4972165,"id":"Q4972165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fb22e7875e05909977d05f7f206fe6da8ef62d","datavalue":{"value":{"amount":"+0.8103591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$4AF8AC28-8089-4B18-95E4-C46599413BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ad09d31c845566cf9dd07877e4871584af0fdc","datavalue":{"value":{"amount":"+0.7870718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$6F172B94-2702-4CBA-9710-9A9E865B9BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3200975ce2be913cebf01a2bb5149c6a12927b","datavalue":{"value":{"entity-type":"item","numeric-id":4917053,"id":"Q4917053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27f40c30cae9bb09d00900d7fff1e1980887653","datavalue":{"value":{"amount":"+0.782615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$A6528D5F-FCC7-4553-BB92-EAE61AA8D251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b638ce690115a7e5bcf2c72feacf101f87679fd5","datavalue":{"value":{"entity-type":"item","numeric-id":1399972,"id":"Q1399972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27f40c30cae9bb09d00900d7fff1e1980887653","datavalue":{"value":{"amount":"+0.782615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891509$C471B4DF-2E7F-4065-9FCF-980293C381C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f4240a0367797b4f61ae1c8f6fa70b1ae8fdb3b","datavalue":{"value":{"text":"Typing copyless message passing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891509$E97AB788-52BC-4305-AB78-8EE57B92AAD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891509"}}}}}