{"entities":{"Q2811356":{"pageid":2822094,"ns":120,"title":"Item:Q2811356","lastrevid":52552046,"modified":"2026-01-22T22:58:57Z","type":"item","id":"Q2811356","labels":{"en":{"language":"en","value":"Reasoning about call-by-need by means of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591834"}},"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":"Q2811356$5285CD69-7940-4006-8D58-BEA669D252F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"511e5b0ef87b3b97b45d1454b043d569b7373833","datavalue":{"value":{"text":"Reasoning About Call-by-need by Means of Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811356$F04A5DE8-E1E6-4137-9AE2-760CEDE68DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fad861799e3bd35b3e2481651bbbb1c93ea14fef","datavalue":{"value":"1475.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811356$17DB5B87-BA69-4CA3-BFD6-C412C00C91D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18c5ac21169019c50eae4c1d8294134e23d37384","datavalue":{"value":"10.1007/978-3-662-49630-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811356$BBE28ABF-F2CB-40D4-B2D3-ADFB1C78AF28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$D2218896-8EA4-4ADD-8A0F-179388AFD293","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$CCA922A3-EF7A-4654-8CB9-08D484D78484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811356$BC168671-5D22-441C-965D-CC6CD82B0371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811356$0A0ABC1A-18B2-4AAB-A9BC-E4177FD1884F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e693116b8e580a7806a2eb47faf10aceacf45b9","datavalue":{"value":"6591834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811356$9E523E09-41B7-4485-877D-1E2A5EF56F16","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":"Q2811356$FE16B511-D270-431C-A47D-9A7589F25C97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2fc495aff717596bfb08762fc764f97928b6d47","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49630-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811356$66B5B918-A27F-488B-A6B8-479334091B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faef0b2621b97823f8bcb522efaa5016f116e875","datavalue":{"value":"W2460688276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811356$813EF5D3-DBCE-44CA-A3C2-42D321178785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$393ABBCD-0B88-43F0-B729-F0251A73C503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$9DD815A6-5ACF-435B-9F1B-2308829C2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$44F763B5-EF7C-4293-A0B8-91AFB78B1904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$B2579F0F-21B8-4082-AA42-DCDE960989D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$ED33FB90-F902-4C95-A3FE-1613602E0883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$8715C33E-841D-4F20-BBFF-1C3C05B4D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005baad930b53b4b7c4ecb57dc1bdc4e57fc5b95","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$D57113D8-AEEB-4837-BB42-F182FA29755A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$39635E0E-D672-4C74-B19D-969D2FA2AAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$52386DDB-86B1-41FD-B14D-22C9B34792CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$2379CEDA-ACAF-4884-9F7C-C8272FC0C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$7E2813D0-FE35-4894-AE73-68E00ECE2C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994627a6700eea8d4646ee5db509d59197663511","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$2D3835A2-A478-4EC1-B800-16BAA19BB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$A37C555F-D293-4F2E-B094-96C85B089609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$E61BA041-F671-4F57-8706-EC686CB61260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$260495B7-9F42-424B-8411-A5697CAA9412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$E321130B-4638-4971-B832-F0802FEE3C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$DE9FAF52-207B-45EF-9B67-AFA0F82DA118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$3F0146A7-1CEA-4D21-96EB-12E49E756CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95545290a2160bb1d3baa35d5b02b90316272","datavalue":{"value":{"entity-type":"item","numeric-id":3557862,"id":"Q3557862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$8B2B3073-9B56-4E15-AC09-8AF0A713F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$3BE61216-605F-4025-94F7-FE1E5666B591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811356$E9DD464E-7711-4A16-AFBA-CC2771F572CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aff604660100f80647bcb20bc1a49a63ed1541","datavalue":{"value":{"entity-type":"item","numeric-id":1652986,"id":"Q1652986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3ff47913296ccfd8638604a277c49ce9f0ba27","datavalue":{"value":{"amount":"+0.8450790643692017","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":"Q2811356$583475A1-6B04-4BF1-A0B9-AAF2078451C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5675631c86c20f2a2d4a32aad31134683c62af4","datavalue":{"value":{"amount":"+0.8032524585723877","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":"Q2811356$6E9F6D1F-C5F2-4D45-B349-2240DBFB21C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a13b5af694b364af0a3c5aa5e46eba0d63a0be","datavalue":{"value":{"amount":"+0.7846482396125793","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":"Q2811356$96DC822B-CD00-4F49-8F46-C743AA82731A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e72c7a52c0256fbd8305ef164cc8fca6f6cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":5240138,"id":"Q5240138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a13b5af694b364af0a3c5aa5e46eba0d63a0be","datavalue":{"value":{"amount":"+0.7846482396125793","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":"Q2811356$CF3B2762-0116-445E-ABC0-D50EEDCBEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee5bc9c6b51c4631c5a8db5b114549e49c9d5594","datavalue":{"value":{"entity-type":"item","numeric-id":1652990,"id":"Q1652990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5877ea5dff2608b615e87a299ed144cea6f141ad","datavalue":{"value":{"amount":"+0.7787660956382751","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":"Q2811356$08298733-749A-4F58-BD69-686FA4D05076","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811356"}}}}}