{"entities":{"Q1082802":{"pageid":1093554,"ns":120,"title":"Item:Q1082802","lastrevid":66098388,"modified":"2026-04-12T07:32:05Z","type":"item","id":"Q1082802","labels":{"en":{"language":"en","value":"Strictness analysis for higher-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974262"}},"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":"Q1082802$020A49B7-C354-4139-8316-94C1199B46B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1efa002e559f95164f5b6b8a4f5defecef57ec2","datavalue":{"value":{"text":"Strictness analysis for higher-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082802$166294A8-C79E-4807-B3B3-AB0A9F504B00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511e3878638c578c559cc13912aa213e94c7b88a","datavalue":{"value":"0603.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$D56E3C87-9229-451F-B3E1-7C90C3123C5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be88b7e948d2706353f0b343dd69f81b7dccddb","datavalue":{"value":"10.1016/0167-6423(86)90010-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$2EF69839-AABF-4359-9BFF-88AACFDA0C0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53bf65b6921c6fe73fba316d52d43d60fa175ca7","datavalue":{"value":{"entity-type":"item","numeric-id":1082801,"id":"Q1082801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082802$A1F3121A-A8FB-46DF-B99F-23EFBC2B263B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2200fdb29131c1330c17b4b47a8012d0d0d76","datavalue":{"value":{"entity-type":"item","numeric-id":488869,"id":"Q488869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082802$06C59B66-2841-4D2E-A2EB-7E7CAD1AF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082802$2DF7F89A-0270-4971-A5D1-E8C8EDFE707A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082802$5E5ACC96-288B-47F8-A724-8AD15BFE48D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1082802$FD6E1B0C-017D-41E7-A574-2715CFDA63EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$E04A6A18-AB2D-41E3-9313-57B5754D311D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2e9ca01b2a8b1ce9180ebe7f93f4f7a7efff8a9","datavalue":{"value":"3974262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$A446C3F3-927B-41BF-94F7-DE4E874F8B08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$C1CACBC4-3C0F-42E6-9F4D-E709ED061D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$C3B26008-AEDD-439C-B274-0F7155F09F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$89D3E461-A823-440F-8F58-345C3D60B536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf24d89f4f0821f90ed933db7d403c989feed0ad","datavalue":{"value":"evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$48BF1A7F-68E9-4B34-BCD4-43846DA246B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6994160a73e2ac5e1968b6d67e1b2ffa55636f37","datavalue":{"value":"functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$954F900F-C877-4E40-86B3-15A3C5D51936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc50b0d43c4df67adbb7d87e6e3f5c4c3a8e5483","datavalue":{"value":"lazy semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$37A58A14-2F80-4881-BBB7-173EAC03EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0437737c3c67b7bdcdb328aa1fcc034fb6ef5d41","datavalue":{"value":"strict operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$B2DEA033-1E93-4915-BACD-5ADDE2508093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450594eef05fac934ad903834bb3f5aa0416adb8","datavalue":{"value":"first-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$4F523347-40D0-454E-8A13-F79103AF4115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1c9ab6c14ee8dea5272672117c363487308309b","datavalue":{"value":"flat domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082802$2DD9ACEF-5276-44B5-896B-7D5468654C41","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f66592b3046ef125d02b9e21fe7115c6de6c29e3","datavalue":{"value":"Q57006964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$2600C1E4-7DD3-4811-ADA2-DAEA2FC78B7B","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":"Q1082802$274A0117-FCFE-4B46-B34B-F8C22EB2B32D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26ff477570e18d17e025e8b53aa233bb50cf0947","datavalue":{"value":"https://doi.org/10.1016/0167-6423(86)90010-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082802$A0E98983-761F-41BD-8CD1-0F60BA336397","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"113de155841adad4dd68aa614c0aeb4aee5b1fb5","datavalue":{"value":"W2025033165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082802$342AFE7B-C4B1-4808-BECC-BD50F0FC319B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911759239e5d2d6edd7b76fd197e957f7a433095","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eb8b38740c2fe0c907217193a551eb1992c6fc","datavalue":{"value":{"amount":"+0.9878859519958496","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":"Q1082802$E64EA940-68DC-4DD3-B986-C222F711B698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c945d3d5f736ea13b3cbdfb9017f3dc73975d5","datavalue":{"value":{"entity-type":"item","numeric-id":3685169,"id":"Q3685169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eaae336fce6b1425ce0a624fab2ac94ce56debe","datavalue":{"value":{"amount":"+0.8674628138542175","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":"Q1082802$1434F32C-F8B7-4AFF-8691-7EFE952D2EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596aaa51d14f8295fd97818110b981ee7a9338cd","datavalue":{"value":{"entity-type":"item","numeric-id":3735054,"id":"Q3735054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d25c54e5ac3da2ce4991c6e3991775923c3f2b","datavalue":{"value":{"amount":"+0.8303775191307068","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":"Q1082802$7837521D-F62B-4432-9D75-56506FD4304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11adc5392bdbab7d01391687033327baec558b5","datavalue":{"value":{"entity-type":"item","numeric-id":3746868,"id":"Q3746868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633a235339d5bf8a6ffd256aa38a5642a34b2fb4","datavalue":{"value":{"amount":"+0.8281129002571106","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":"Q1082802$49466C4B-7277-4DA6-AE07-C3DDF937DCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85081606342b25f5153b4360ab46f8aaee0924b6","datavalue":{"value":{"amount":"+0.816131591796875","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":"Q1082802$238B2F1D-0E0D-48EB-B64E-9763F0A2072C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strictness analysis for higher-order functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strictness_analysis_for_higher-order_functions"}}}}}