{"entities":{"Q4964693":{"pageid":6994272,"ns":120,"title":"Item:Q4964693","lastrevid":58379442,"modified":"2026-04-04T23:23:01Z","type":"item","id":"Q4964693","labels":{"en":{"language":"en","value":"Session types = intersection types + union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317222"}},"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":"Q4964693$5C4A2D60-E73E-4A2A-9DB8-1662AB81FDED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad5a90c7c4a377b1738ea07b05017fe863d4d6da","datavalue":{"value":"1457.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964693$512ADF32-DC94-4157-B67C-4C6338055CE8","rank":"normal"}],"P16":[{"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":"Q4964693$34009069-36BC-4B64-B452-84A590A93C68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-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":"Q4964693$ECA586EF-6318-4771-B0E3-967DACD7A7B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94feba313e4f567af3f97764a907d4777796a6fe","datavalue":{"value":"https://arxiv.org/abs/1101.4429","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964693$54DBE0D9-568C-41A2-96D2-E84A09D736EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dcc8ed873b262d37892c7d535f0ce212207a72e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964693$C1CB0925-E48C-482B-9BE4-25E32DC5C695","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964693$53DC7D82-635C-48FD-AFEF-D1497FF02C0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e495069f39e3c245adbdb80fde8f8bc7b066609","datavalue":{"value":"7317222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964693$0B3CC86C-BF9B-4A4E-B19B-DD271C4E5F51","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":"Q4964693$1E719029-22E1-47DB-B022-9C32080ED108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e6071b7f449d44aa84cd791d897030582f80ba","datavalue":{"value":{"entity-type":"item","numeric-id":5150075,"id":"Q5150075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"306155192312bfcb01cea7e84476ca821f6483ae","datavalue":{"value":{"amount":"+0.8365411162376404","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":"Q4964693$2C30536F-40B6-4C7B-A697-F98466ABB616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df9344ccaade87eeea33af7020623cb06e7327b","datavalue":{"value":{"entity-type":"item","numeric-id":3190132,"id":"Q3190132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa76d460ae50bfd528e3f6d08b61f4fe8daf0f2","datavalue":{"value":{"amount":"+0.7864485383033752","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":"Q4964693$26BB726B-8FE9-463B-81EF-4CD8B2E2A57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a596b95868a7b783d0835345926ee5f914cbae3","datavalue":{"value":{"entity-type":"item","numeric-id":2811931,"id":"Q2811931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175d749e520cb9ecee5a0140339f62e97c680145","datavalue":{"value":{"amount":"+0.7789011001586914","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":"Q4964693$85333D7E-5D21-4FB4-BDE0-3883DEB8DCF7","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":"47d08a20d930ca016ab973513c9db6c5233bfbc7","datavalue":{"value":{"amount":"+0.7779318690299988","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":"Q4964693$384C7A69-2D06-4F89-8CBC-7C62416304FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d8c1581e899db062f4454e2c4de4b25945262f","datavalue":{"value":{"entity-type":"item","numeric-id":2883119,"id":"Q2883119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a9a2e76cd501e1f2233abc7c0b8a0eb8cd636d","datavalue":{"value":{"amount":"+0.7770891189575195","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":"Q4964693$E267F949-2F0B-476C-B059-1E49340E2DE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964693"}}}}}