{"entities":{"Q6536314":{"pageid":14147457,"ns":120,"title":"Item:Q6536314","lastrevid":55982620,"modified":"2026-02-23T09:14:35Z","type":"item","id":"Q6536314","labels":{"en":{"language":"en","value":"Formal verifications of call-by-need and call-by-name evaluations with mutual recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834971"}},"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":"Q6536314$D8C86C2D-4A8D-4E85-B435-D6F2EFA5C20E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d0f5ec4fe75c2af6b468d63906a72caa0f65247","datavalue":{"value":{"text":"Formal verifications of call-by-need and call-by-name evaluations with mutual recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536314$1444CB22-04E7-4301-9A5B-6944BF3F1EF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1aae522d2d4bd9c908639ed3e4341c900b9a1f","datavalue":{"value":"1542.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$40B3C531-DC46-4EA3-8124-DBB9FEC1DB41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f84892f221ff5de3cc8c79f6dda6d450c1d0787e","datavalue":{"value":"10.1007/978-3-030-34175-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$D6DD61FB-99EE-47E8-A266-9E6DF37273F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf108e546e1cf841fed90dd1a6d9510d0255d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1648862,"id":"Q1648862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$D80741A7-7FEA-49BF-9F1E-CCC43FF280B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$380ECD05-2912-4132-8CF0-66A9B17C4572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536314$DB2230D2-FEAB-40F9-A3BD-60FF8F292AA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$F334D171-D09D-43B6-8EAE-445A88461416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$E97AF961-CA1E-4C06-AFCB-4659A3CAAC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$DF76DB0E-5CE6-4C33-8F82-24DB3D8F1EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$58EDB611-7A79-4734-BA7B-9754AC086B36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a3d799aff4b6f0bc5cd706ea1fc73fcf380165f","datavalue":{"value":"7834971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536314$6F2661C4-1D42-44B6-8924-0EBF3C0ED3D1","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":"Q6536314$906D7E18-601F-4E93-8F5B-D3DF0841B91B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3771554b4241f894b60bb1f39c34a51542f7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$25F74448-1D06-4DCF-A3CD-1EF16F4797D8","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":"Q6536314$70F417F3-ABDC-4ED6-9981-97D2B566DD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4bfd5495fb43121f8a4e322e6d89c59ef06b781","datavalue":{"value":{"entity-type":"item","numeric-id":1097253,"id":"Q1097253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$88C0F0C7-75F3-4CE8-84AF-2F963A8AC199","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":"Q6536314$ED0C0BC7-4F1B-4137-BE72-BF0709A87CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738af7e11be31bd6c06dd8391d032fdc6994eea5","datavalue":{"value":{"entity-type":"item","numeric-id":4577822,"id":"Q4577822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$CAC459E9-3D5F-4E97-8DF5-F306E0A3AEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$D789E3B5-5CC6-4234-A640-89B42D74195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$31237665-8776-4E4B-AE31-6907AD816725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ce029bf879fdaed2d64cff89d2bcfe4c552ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5760328,"id":"Q5760328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$AE64C628-A7D0-4A9E-A4D4-FA7BBE057F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f8766e5c0ef891b06dd86d56e3436041297c02","datavalue":{"value":{"entity-type":"item","numeric-id":6083690,"id":"Q6083690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$481E22A8-A175-4E1E-B839-4E7D1993E0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$BA51A8C1-8575-42D2-B74C-6650B37D8FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704483807dac671463b66bab5b6b4a067be5f4e2","datavalue":{"value":{"entity-type":"item","numeric-id":6083895,"id":"Q6083895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$BE7F0EA9-073B-4B5D-AEAD-25DB7E590F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d650ab27b97db15fe7dce9db67bf07c57d3cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1652986,"id":"Q1652986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$0B8B3A1C-6B24-407A-BBE6-7E3D38AFEFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$C8B9BE89-7758-46D6-BB65-DB3A5A76ED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$B5C1657D-06D8-49B5-86D6-01E4FA4DFAC4","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":"Q6536314$7B995AC3-B35A-4635-836C-B1C5798C2AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4617cffa8988f16531fe5b0506fa059a5f7859","datavalue":{"value":{"entity-type":"item","numeric-id":1648863,"id":"Q1648863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$D179973A-293B-4D15-A703-A3ED81B6CAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd99188fec5a03ca1254d67b0f4f830cf630ffea","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$4946BB60-20F7-4117-816C-09B0F7189B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ace06db1892d761ccecefca66e1592cc981c11","datavalue":{"value":{"entity-type":"item","numeric-id":3625516,"id":"Q3625516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$A8FA874B-C377-4ED3-926E-6801EA494FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$D70609F5-80B8-4D55-939E-7315DFDE9CE3","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":"Q6536314$22CF67CC-034F-4DAD-8640-DF21A95F52E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536314$3F8B50F1-A3CA-4092-BCA6-B7D39AF7E434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cefa8e67365306dcb9cb8076ac6235810c91560","datavalue":{"value":{"entity-type":"item","numeric-id":1648863,"id":"Q1648863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d85ef42dd4590538a4a646a36db9c7384b5273","datavalue":{"value":{"amount":"+0.8935978412628174","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":"Q6536314$4B086049-9F90-41DC-92CB-76E1AABC10FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bdd7d56c347c5709908eb1a0ec0c2949b28ba","datavalue":{"value":{"entity-type":"item","numeric-id":3648355,"id":"Q3648355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"796f9804809e29dcaf1b51743fa8427c16a1653f","datavalue":{"value":{"amount":"+0.7777372598648071","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":"Q6536314$B0DC969E-89BE-4586-A9FE-17C1F10DF34B","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":"c2b127687cd4fc330f9425e085952ab1a2ff5dbb","datavalue":{"value":{"amount":"+0.77524733543396","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":"Q6536314$8415C129-EFA5-4D19-9E70-74BBF3C1BC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"013385aae36c7863edaf39c5ce8a4338d0276d65","datavalue":{"value":{"amount":"+0.7719963192939758","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":"Q6536314$0A3E9E38-3740-40AB-ACA1-9DD04A0BD588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536314"}}}}}