{"entities":{"Q2493277":{"pageid":2504020,"ns":120,"title":"Item:Q2493277","lastrevid":44204415,"modified":"2025-11-20T20:13:22Z","type":"item","id":"Q2493277","labels":{"en":{"language":"en","value":"Static extensivity analysis for \\(\\lambda\\)-definable functions over lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5031395"}},"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":"Q2493277$2C95D30E-96EA-4371-876B-172AB29886BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a00699b21fcf343e1b92f3f3cd1602a05f48134c","datavalue":{"value":{"text":"Static extensivity analysis for \\(\\lambda\\)-definable functions over lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2493277$B21EFDFE-ABB3-4101-B811-D5C58270455F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cffe542abb524558281a9b8f944867eeff0199e4","datavalue":{"value":"1103.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493277$6F7956F9-0A17-49AF-9A96-5D5B210CD670","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65cc52e93ac5118d690e53b6577194d6bd24b4c6","datavalue":{"value":"10.1007/BF03037293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493277$FF2F6DEF-701E-479C-A495-A7B448E56871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ec0c1a2e3c7b8fafa168612be41259ebff8a21","datavalue":{"value":{"entity-type":"item","numeric-id":1762931,"id":"Q1762931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$3D1EE99E-2F7B-4FAA-B78E-9BFBA554F0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$8F799800-4F5C-4D8F-B20E-6EF360A8D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2124b2f1dbc31bc9ff8d394053874ee5358b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":578923,"id":"Q578923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$C1B1C701-AEE5-499B-967A-C147C7ED4875","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$8E4E71A8-C3E4-40DC-AED6-C7BBFFCDE98C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb9f255708345ca721897a9dfd15e4c14a3dbcad","datavalue":{"value":{"time":"+2006-06-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":"Q2493277$80F78B85-57EA-4214-AEB1-4423BDF03614","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493277$D6FC5591-647B-4151-8EAB-FB55B4AD4592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900c105da87c2f6912d2be64e8f0ee655b692df6","datavalue":{"value":"5031395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493277$312EAB4E-49C0-4063-9A18-6E98AD7E9922","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e46fa2e7ecc024bc4445ce3fc9e4f629224b40","datavalue":{"value":"function extensivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493277$5FA2990A-0E76-48B4-BF2B-32AA4C6A9266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493277$658D393D-718C-4A14-9DAF-805BF5B7EDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38e6f5c692a9f6c5d2ae896ddba8b083fd0ebc1e","datavalue":{"value":"constraint solving procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493277$ED46EE5D-6251-4058-91B4-FCBDFF858063","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70b73d320337875812539d189092baccd8d4ab9a","datavalue":{"value":{"entity-type":"item","numeric-id":13423,"id":"Q13423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$38877FD7-C2A4-48B9-BD35-0A3E6FFF2752","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":"Q2493277$C9376515-BC03-45D7-9F94-9131D6668CE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$C3BDA61D-DEBB-46CF-AEDE-1CDE0B6F53EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$0EA76A60-6BDC-49F6-86A4-64799B9C1A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b080421c1bb60d94d438a0ef37f8d5bbf3c3e910","datavalue":{"value":{"entity-type":"item","numeric-id":4941829,"id":"Q4941829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$782E8A99-F522-4ADC-8760-E39678029107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f63f5ed1c50f0d401ddb5a4211e5f91e759934f","datavalue":{"value":{"entity-type":"item","numeric-id":1856182,"id":"Q1856182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$7A0A528A-2A92-4790-92D5-CB4200076AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d41e8bf9223fbe68dd6c6772beee3dddcd79ac","datavalue":{"value":{"entity-type":"item","numeric-id":4736993,"id":"Q4736993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$DBA409F5-A06B-4027-983E-C644ADACF9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c828b3ee1130020bfb6eba99d9a29add4b160cd","datavalue":{"value":{"entity-type":"item","numeric-id":5334323,"id":"Q5334323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$97BB66DB-7A46-40DD-8CCC-AE21F98E4934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff321205985318cb5f636e476300c3d1fa74805f","datavalue":{"value":{"entity-type":"item","numeric-id":4420807,"id":"Q4420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493277$D1C5D48A-4471-40F3-ACD1-456E4FB3ADEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0101a6c2de0032768a8c48fef140708fb85ad41d","datavalue":{"value":"https://doi.org/10.1007/bf03037293","type":"string"},"datatype":"url"},"type":"statement","id":"Q2493277$2085DA23-EED8-40BD-A362-4B7A00E8F378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd7c73c041b199bd3643a7c60f84f076432f01e","datavalue":{"value":"W1972543258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493277$BF5B2133-1694-43FA-B1BE-CE9DF3795F7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b04da075dcdabe418d7fc0505a0e9ef8bca19b6","datavalue":{"value":{"entity-type":"item","numeric-id":4736993,"id":"Q4736993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9829ddf76dacbe73e2080d962f85663266361a4","datavalue":{"value":{"amount":"+0.93929416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$B722CCF8-DD65-40F8-AFBC-8A0A14CCB534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51027aa989b0b554acc74c1e9170963b145a1dc","datavalue":{"value":{"amount":"+0.8679297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$90981EC5-F5E4-4F8B-BBDC-752A1308D01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbbc472cab6ac25a680c07707cee212f1b6ed69","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c410eaaf40bcc9af11c1abff475fce1558f1190","datavalue":{"value":{"amount":"+0.85794985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$0B542717-94E0-4BFE-BC80-3CA8224161F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c83a9c9dcd183dad5135d15d9dbddd043e836c","datavalue":{"value":{"entity-type":"item","numeric-id":2766784,"id":"Q2766784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa10f224a58f9a504fefefd32d7c4d7ae9117e2","datavalue":{"value":{"amount":"+0.8508438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$8867DADB-6C67-4FA2-A8EA-D5E827F9A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb978aa8c4a6a13b9716b31ea55941bdf64bf8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1129261,"id":"Q1129261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0731dbfac564a0727fcd5def569cf576a7ed210","datavalue":{"value":{"amount":"+0.84872466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$D67C6C21-62CE-4AE3-BD7C-EB4032DAE74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf4c632889d8f22c02fc9069c42a0c6b4e78398","datavalue":{"value":{"entity-type":"item","numeric-id":6132481,"id":"Q6132481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961cd5d916949e1f48cebf3a375e297ab91bffd7","datavalue":{"value":{"amount":"+0.8484291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$64C9EC5A-ADBF-40B0-8DB1-32AA1E963886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b1e465e16f2773105db263531ead9b6587e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4981145,"id":"Q4981145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838cf662259fb1077bcff570fe9cb64bda6def5c","datavalue":{"value":{"amount":"+0.8480518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$8E9A2388-8640-4B85-9295-95A1CD89F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f3f20f63dcbac522282aeb6ccaa4fffe031405","datavalue":{"value":{"amount":"+0.8478634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$0D82EC4A-518A-4147-9FF7-7DECBDA99A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e56930d19405787d813aba63aa20c7409a4e42","datavalue":{"value":{"entity-type":"item","numeric-id":3999353,"id":"Q3999353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d797e0e97b1e833a287fccab888acd0b86041124","datavalue":{"value":{"amount":"+0.84547234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$9CE1142D-837C-4DA7-852D-829B50A5FDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7800bf016fbbb7bfeb7d99e744a1b0d71a8f763","datavalue":{"value":{"entity-type":"item","numeric-id":2849843,"id":"Q2849843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e112da4586438ff50b6371544bdc709a8645d5d0","datavalue":{"value":{"amount":"+0.8446702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2493277$479E87E3-6893-43C8-BA52-5CDCFBB7D786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2493277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2493277"}}}}}