{"entities":{"Q2702599":{"pageid":2713344,"ns":120,"title":"Item:Q2702599","lastrevid":82740746,"modified":"2026-05-06T21:50:44Z","type":"item","id":"Q2702599","labels":{"en":{"language":"en","value":"Termination analysis for functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575023"}},"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":"Q2702599$89621E7A-52EC-4920-8110-16CB56AC68A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d23b3aec6ed7638adae5cad6c102ec4df49f171","datavalue":{"value":"0972.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702599$1DEB3E11-6EE7-4EA8-BF31-0412ECA1359D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702599$0017F681-A9CA-447A-BBAE-ADB6D9140D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46976d3f5c5fed82b1734a3b31190eaf0f8a054","datavalue":{"value":{"entity-type":"item","numeric-id":1060858,"id":"Q1060858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702599$279CFECF-37A1-4D64-8721-CD8D7E723788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f965fb5114ef3cf5612ce5baf540a2abb96515","datavalue":{"value":{"entity-type":"item","numeric-id":1818070,"id":"Q1818070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702599$3FF67A5B-23B8-4CDE-AC12-A96F956EDF94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-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":"Q2702599$FEF3769F-5311-4FD4-9548-40C7520E9D75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702599$CA277F47-F36D-4291-8C7B-A0C45A505F1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24cc28d9a0ad954349a2a54ac52af213444f7503","datavalue":{"value":"1575023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702599$1B93C2B8-B96E-462D-AD6A-272AC91C72CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b0d90fffec24f36e2f4aaa93cedff07a84992c","datavalue":{"value":"automated termination proofs of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702599$DCE0FA4F-57AF-4DF4-AD25-6AFCC749D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ed65a2bf05788db8516970fed4bfb6ebcb0785","datavalue":{"value":"size measure function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702599$FF0E5C87-D889-42ED-BB88-6629C97DFC38","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":"Q2702599$15CB5CCB-93BC-4B89-995D-BC9935E7B2C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98fd45f039db729b8d388b006f4fee41fd42baa","datavalue":{"value":{"text":"Termination analysis for functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702599$24C73A88-9EB1-46C4-8D90-2B6F127D2D89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82a66ec26b76ea7b838c007bb443a168925ece3","datavalue":{"value":{"amount":"+0.9602196","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":"Q2702599$A884C5E7-DFB7-4273-AA0B-26399F48042D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a522a0c9d3312c7409a241230a858b80794a7b","datavalue":{"value":{"amount":"+0.9092284","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":"Q2702599$9A5DC140-15DA-45B3-B0CF-D0AC664D2357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac10a995996159ba3bd28e30d8ccf9bb9a650c1","datavalue":{"value":{"entity-type":"item","numeric-id":5168926,"id":"Q5168926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa1d46e4c43567ec58e6e8614347f36cf31c891d","datavalue":{"value":{"amount":"+0.9061711","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":"Q2702599$D02A0361-8CF4-4BCC-8073-094141F4EF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed137c566abfef48786f1b2cbd0e34a64b69a33","datavalue":{"value":{"entity-type":"item","numeric-id":4951174,"id":"Q4951174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96417bf256e1498ed62b23a5fffe795e367a001c","datavalue":{"value":{"amount":"+0.9000608","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":"Q2702599$23E6A6F6-D60C-42F7-8482-34D9C8585F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0682c5d5040ee5bd747e465e6ccb095337714c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5030188,"id":"Q5030188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96417bf256e1498ed62b23a5fffe795e367a001c","datavalue":{"value":{"amount":"+0.9000608","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":"Q2702599$839C3AED-AA27-4750-9F40-F3F93422B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8553baafc8652e0bf1b3c167fc1e0be20516cef2","datavalue":{"value":{"amount":"+0.89832956","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":"Q2702599$858149AF-5F20-4281-B493-C2AD9F057FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3979394568233adfaeb3bd7ac61fc6701a5eb73e","datavalue":{"value":{"entity-type":"item","numeric-id":2875080,"id":"Q2875080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af3019f8d9a47a037fc7b3cd219fe84b5508b20","datavalue":{"value":{"amount":"+0.89535564","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":"Q2702599$47A462E8-A07B-46D3-BBF4-29AFA7B4B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964671cc3b279eebfb75d14d5c86abfb963eedd","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad59ac5c85b13a035eea4af2a57760b25531223","datavalue":{"value":{"amount":"+0.89126676","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":"Q2702599$36681283-75CC-4810-BC65-AAE63FC04ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b847686912a5cb65f500ed95a425d4dd550e167","datavalue":{"value":{"entity-type":"item","numeric-id":5399489,"id":"Q5399489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73576aa96608a9cf8fd789bf3c32abc411ede11b","datavalue":{"value":{"amount":"+0.88983196","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":"Q2702599$A650F474-2AE5-482D-AFDE-732401B0E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10998c287b200d6721264332bd926b12cdae593f","datavalue":{"value":{"entity-type":"item","numeric-id":4440336,"id":"Q4440336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aed4e73d23a7019f0d37a8627651dd391b32d1","datavalue":{"value":{"amount":"+0.8868967","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":"Q2702599$B5F39174-21EB-46EB-96E0-95186EA6F2B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination analysis for functional programs","badges":[]}}}}}