{"entities":{"Q2946616":{"pageid":2957336,"ns":120,"title":"Item:Q2946616","lastrevid":52347194,"modified":"2026-01-22T10:11:27Z","type":"item","id":"Q2946616","labels":{"en":{"language":"en","value":"Typing streams in the \\({\\Lambda}{\\mu}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483124"}},"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":"Q2946616$39F709FC-921E-47D0-8E53-57494BE7E1C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68857478032e308964cb8b317db158a0a801aabe","datavalue":{"value":{"text":"Typing streams in the \u039b\u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946616$52AB7E0B-53A2-43C1-82CB-1E688DADC38A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b06833c1ca50f7158686a0cd4cd15decfb11a947","datavalue":{"value":"1351.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946616$3FE1F3BC-C982-4AC9-A63E-8DB65C51DCC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b3b9993e24126c000798f93d3e8213314217d82","datavalue":{"value":"10.1145/1805950.1805958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946616$301C9591-F70D-4668-9A97-BB6C09FC9843","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946616$0635A7E0-8DFC-4A02-8A26-779669FCBE58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946616$7F60DCA2-975B-4061-8AB7-C5853ED99937","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946616$E7B76673-929D-413A-B2AB-7822698A9761","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946616$AA2F67F4-7E54-4131-8926-DE0D53C38ECF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e01622e766d8681d3fd17087d82025df1596f9f3","datavalue":{"value":"6483124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946616$67F68B9B-234F-40ED-9DEC-9CDC715C39C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7951dc3186f5c0c8f99786404e2dfc09c5572454","datavalue":{"value":"\\(\\Lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$3CA12B05-C296-45E1-BA09-B517F21D9D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b06d3ac0b4973984b5c205a90eeeae4133f1c6","datavalue":{"value":"B\u00f6hm theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$0C38DE02-4823-4A04-8858-A321AF4B375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96fee4ff91b8442ae3808e4a306c889eb86611fc","datavalue":{"value":"classical \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$04B3FB2A-855D-429E-9A55-469BA2D28B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$30F34DEC-17AE-4F05-A387-DF68E0245FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb983378a3eb7aeef5a11172d082018554f7b86","datavalue":{"value":"delimited control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$78A6F4FE-ED71-491A-B1FA-93CEB93A6B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$92A6DF9C-CC3D-4510-9B00-3E6FD089C29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946616$F2D5F19D-779A-4DF8-BC0A-BA3470D37083","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":"Q2946616$D9258377-6663-4DA4-89B7-21A7E07C0CF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b54d88e310ca4dd2ce0e3ba03328c1087e4c9da5","datavalue":{"value":"https://doi.org/10.1145/1805950.1805958","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946616$C0CF09F7-FEE1-47C1-A083-843919CFC7E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd8ac00cc403ebd20fc1744abbe492f0d266ee85","datavalue":{"value":"W2076577093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946616$BB57F386-D716-4559-B83D-5C153E0F9E29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1405c8437cd0b11039779d32ca90754b67047c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3558334,"id":"Q3558334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222de6957ae80601191d8ab5ae02d803e31cfe75","datavalue":{"value":{"amount":"+0.8262966275215149","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":"Q2946616$0782508F-3431-4576-8852-2ACA7CE8AFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1ac89803161c951e5bd389a782119d7c1d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae56408c6988dcfe9a2ae6860692f97e25548221","datavalue":{"value":{"amount":"+0.8242293000221252","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":"Q2946616$2E4427EE-627F-4096-868B-3F7F6192C3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d990a083f3bfadce4a1fc07e0db54d9e639c","datavalue":{"value":{"entity-type":"item","numeric-id":4986735,"id":"Q4986735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b51d2e151bf821723175299a9961f9e6aad76b","datavalue":{"value":{"amount":"+0.8123645186424255","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":"Q2946616$DE5F11EB-9E45-439C-9D87-D1ADEEB4E48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d7ddb9f05e95508a63076676b5d81e2c4dd106","datavalue":{"value":{"amount":"+0.8028578758239746","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":"Q2946616$5793365B-9B24-4D21-B801-0D524ABA7339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7db9a93f2d4a2ff68ce2bad8865d70597f382b","datavalue":{"value":{"amount":"+0.7964181303977966","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":"Q2946616$3D389671-9716-4D58-B059-B086D79788BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946616"}}}}}