{"entities":{"Q2502270":{"pageid":2513013,"ns":120,"title":"Item:Q2502270","lastrevid":49913806,"modified":"2026-01-12T00:11:28Z","type":"item","id":"Q2502270","labels":{"en":{"language":"en","value":"Algebraic correctness proofs for compiling recursive function definitions with strictness information"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5053095"}},"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":"Q2502270$67B0E821-04E0-487E-AAD5-38462AE6B963","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3e2201b161043241f7cd9447af288911e4f704","datavalue":{"value":{"text":"Algebraic correctness proofs for compiling recursive function definitions with strictness information","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2502270$4CB7FF6D-469A-447A-9FFE-86B8077B0792","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3abb52bdc8ab8094bf0d80850c0d16ffd0d9874d","datavalue":{"value":"1097.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$452A14FE-2F26-49C6-997A-406A192677A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5dfadf8cfb3e2e2ac6a77dc1f256ea2735ece8","datavalue":{"value":{"entity-type":"item","numeric-id":2502269,"id":"Q2502269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$215C5D3C-FE08-479D-B36C-4404ABB2930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$E196ED3D-13E7-4BFF-9559-E3A9A3413952","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$4E73A8CF-7135-437B-9368-8F3D0BD341D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fd47b58f27435239dc8447da9ea0a760e50b459","datavalue":{"value":{"time":"+2006-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2502270$BEC5CB9F-87A6-4981-9024-556BACFD918C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$F3C5ACA7-8E6B-42E4-91DE-FFE9B41AC564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$4D7D7016-6604-424E-B8DD-67366DB9061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$902DE355-0EFC-48DA-9AC7-B0CE7FCEC563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b716815c98e7d89db0e089f44d579179e286a61","datavalue":{"value":"5053095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$86B64FBE-C83D-4C82-ADBA-8B07F69FA006","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04abcad8a2f5530bf0474a5834a19bfef39227b0","datavalue":{"value":"Functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502270$C640B815-2028-490E-AC90-A1A0F0956173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa37b3f9eab2bbb1ab265f40dfe3835b9ba766b","datavalue":{"value":"Evaluation strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502270$A0AEE24E-26F9-425F-A599-065113E29BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f56ce60afd9376ba8f3f9f82181cbcad9eda4e","datavalue":{"value":"Compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502270$D1F7090A-9B5E-4270-90EF-38ED22A645B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502270$E442C0EF-9D18-44A5-A2BF-C58989E46AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53ab26d16718ea042128e8ed5521da0e774f74e4","datavalue":{"value":"Stack implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2502270$61D97C0A-FD6D-4B5A-958B-A2BE2DF7AAEC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$9C853BFA-9FA7-4CCF-AE29-22A2605CCC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$1794FFB9-2FE8-4A90-8AC8-1C1C776AA673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$6B5158DC-D06C-4E36-A0D8-703948DEFE11","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":"Q2502270$F0E2A220-E48D-41EF-8101-2EC9388627FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f7705047600b33a009fa479864461e5f614ad97","datavalue":{"value":"https://doi.org/10.1007/s00236-006-0013-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2502270$57FF6060-3E64-4C1F-AA0C-6BF0E2EA83F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2dc488a2cd3c9e1517378176bc0bf8fd1c6e13ab","datavalue":{"value":"W2020799479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$11A9EF08-043E-48D4-A755-35A154542153","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce94c5bacdb279c0f49851295d656a8d937cede","datavalue":{"value":{"entity-type":"item","numeric-id":1234588,"id":"Q1234588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$94430DE4-262B-41CA-9A89-5CD1D721AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666f6c4b95b228f7f7863896a3d81de5061e0a95","datavalue":{"value":{"entity-type":"item","numeric-id":3771589,"id":"Q3771589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$F7D49498-C922-49DB-A8C3-E1BEE54AFBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003c021427d0964ac673ad7851abdfa1ea90a677","datavalue":{"value":{"entity-type":"item","numeric-id":4381711,"id":"Q4381711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$E65057CC-F6E8-4288-8719-68DABC4D43E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$298923AE-0899-4191-AE6C-E79AF80733A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3171cc2d64eac85f0ce885a0f10fe64ad407fc56","datavalue":{"value":{"entity-type":"item","numeric-id":3817573,"id":"Q3817573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$2CB731E4-C233-47FD-B01C-35459BB75A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$487E8485-2338-41E6-9665-0DD4C8D1A412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$0EB34B97-6DF1-4EEC-927A-A26971524689","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":"Q2502270$FC32E440-98EC-4D18-BBA3-4EFB60E9B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee166b05c438df2f9df3e5908beede0a2381eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5657655,"id":"Q5657655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$81A284B8-514C-4D7C-A3C5-0494A85B06ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$A52AB8BC-F824-4A1C-BCD0-115801F04EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$ABD2772F-38E1-4B9F-B20F-D272E796A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c39d7a0c95eb8a0b4728b3052791b5dce04ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":4954454,"id":"Q4954454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$F4C6E100-8EC9-476B-9AB3-5765C09D1424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d6cff3e8675c08afd4ef9cd3f3adc7fb2d4842","datavalue":{"value":{"entity-type":"item","numeric-id":3270837,"id":"Q3270837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$ACEB7B3E-FDA8-4D0D-8837-2A88B3345500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$6F0CE141-EF1F-4EF9-8716-14717C670707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2502270$98AD848A-DBF7-4B64-B154-1BFA9F70B207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"065b2de47ec65652835a1b861a13107a80778e1d","datavalue":{"value":"10.1007/S00236-006-0013-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2502270$126AC74F-5846-4599-9515-924B5901DC7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f9701f7d2f4a57cfd9729cb405e6ce215c0899","datavalue":{"value":{"entity-type":"item","numeric-id":4880526,"id":"Q4880526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baeddf6b03d04b1a0e7eec143244a153e84b6b9","datavalue":{"value":{"amount":"+0.7638978958129883","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":"Q2502270$55BEC16F-369D-4FFF-A41B-3E26A622B5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d484767dac537b8f9c50d9d73021d948349e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1822933,"id":"Q1822933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5ad7f1f119457096ce6aa386f3396860617d25","datavalue":{"value":{"amount":"+0.7566880583763123","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":"Q2502270$C15A1997-A196-4DD2-A8A4-7FDAABE5D52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f865774d21e7594253b80335308a3f595a51bb3","datavalue":{"value":{"entity-type":"item","numeric-id":848739,"id":"Q848739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6f376ef6b0a43d6c9ef8ec60a0ac1c815943e6","datavalue":{"value":{"amount":"+0.7451131939888","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":"Q2502270$6E6A3DE4-FE3A-4128-8D4D-833EF8D531E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98863cb9a342a39ebd16a65a5ee79cc6fd137107","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e1ba966a93f4758328d94d4482aba4ec7fcad4","datavalue":{"value":{"amount":"+0.739162266254425","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":"Q2502270$EF34E1E9-F1B6-4475-9844-B40EBC06E6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e4f483a450f14c52b124bd2de4d610514091e2","datavalue":{"value":{"entity-type":"item","numeric-id":1193597,"id":"Q1193597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68acd40c98aacd88e246694813cd0f9cab3d76c","datavalue":{"value":{"amount":"+0.737224280834198","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":"Q2502270$D3CAEDC0-9E96-4243-BAF0-1E991C8CDEBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2502270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2502270"}}}}}