{"entities":{"Q3611997":{"pageid":5641903,"ns":120,"title":"Item:Q3611997","lastrevid":49682659,"modified":"2026-01-09T00:53:05Z","type":"item","id":"Q3611997","labels":{"en":{"language":"en","value":"Optimal Abstraction on Real-Valued Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522578"}},"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":"Q3611997$DAC812B1-8B66-443E-A606-3B1672A5E6AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7a5f52b8df0987057e5374fde0591bce75647b","datavalue":{"value":{"text":"Optimal Abstraction on Real-Valued Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3611997$DE59AF5E-DF5D-487E-9339-D255129CC6A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"507d6f618f2ead77e320cf509ed198986fe8df6d","datavalue":{"value":"1211.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611997$BD9B531D-5E52-4002-84F0-62B87D2928E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80577ad1de574cd61d473962aa3c5d27b6ca6228","datavalue":{"value":"10.1007/978-3-540-74061-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611997$D5339F4C-BEE2-4C38-A389-F73A9397C497","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611997$F3EB60DE-DE1E-4D15-A9DF-4828019C8BE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611997$9506D502-96A3-4B6B-8D1B-C5556D44840A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3611997$6F9F9624-915A-4159-9F06-A6475399D640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611997$F5210C41-B479-4B51-8335-AC1063520E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80353da8c8a28da7de504afcf438bec6ff484f1b","datavalue":{"value":"5522578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611997$ADCB5AF7-28D5-4BCB-8BEC-6DE858D15DF2","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":"Q3611997$07142A22-08A9-4EF4-874D-8B53CF181C03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43b86007e2d0b62ecad585e0c38eecda91c9492e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3611997$2F32BADE-5C9E-4445-BCA6-F15229D099F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7019c46ea5acdac4b71b1860677f4030806c0c0","datavalue":{"value":"W1565496780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611997$CD90E855-0C56-44F7-88A7-38C0DD211689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc90dd936d6a6cdf72d9e8d833823e23dee73623","datavalue":{"value":{"entity-type":"item","numeric-id":4376961,"id":"Q4376961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603e496c657e0807ee07c6b674d04ef8db589d14","datavalue":{"value":{"amount":"+0.8634267","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":"Q3611997$4C8F2433-8A66-4753-9A93-8D6E75C1CF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac666a3c1dba43b838cde5ecd4350c4b662deffb","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7053dc225c38fe4320a81753f0392c5cdb2c35","datavalue":{"value":{"amount":"+0.86044204","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":"Q3611997$70A4B78D-31E9-49E2-9B2C-628A839B7AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65d509af029d640681f4cc55b70c1c48d540e54","datavalue":{"value":{"entity-type":"item","numeric-id":4721632,"id":"Q4721632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58ded5cbed69e7b0965c5ec677740cda7c97ad1","datavalue":{"value":{"amount":"+0.85514694","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":"Q3611997$5B9412B2-933D-4DC7-B6D1-1211752D0212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dba47fdb308b827ae5c4f66f81b03f8e3d58db","datavalue":{"value":{"entity-type":"item","numeric-id":6164426,"id":"Q6164426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0095264a6470ab47f88b5a173b4d3d8e4d4ed592","datavalue":{"value":{"amount":"+0.85355234","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":"Q3611997$72C6AF72-30F5-4C1A-9DED-B63BC74AF755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5657386bbd9603b9fe83e53f8b37e30d8a3b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1822233,"id":"Q1822233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0926468a679d7b42f2f6c5f97203711d3e6692ed","datavalue":{"value":{"amount":"+0.85183954","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":"Q3611997$FDE17829-A57A-4B6C-84CD-FD8E1A7A4845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d84554ebf41d0cd4d1e786abcbacf5b6ec0ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3522920,"id":"Q3522920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79db10c742e49dc02d7d1780fbf3b5adfdd8827","datavalue":{"value":{"amount":"+0.8431353","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":"Q3611997$6DDF6911-10CB-4F81-8FB0-634F15A24F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ff705f30fbb9df58bdf11220b6bacdff81b4a8","datavalue":{"value":{"amount":"+0.8425311","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":"Q3611997$176773B7-C7A0-4A20-AA3E-DB0D7355D89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267a262e9e0d605203373f19a2f6620a6f510b15","datavalue":{"value":{"entity-type":"item","numeric-id":5277894,"id":"Q5277894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a14c0f01defcbb913cab4b3c6423c592f65cd5","datavalue":{"value":{"amount":"+0.8423723","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":"Q3611997$387A53C8-E992-40B5-9962-14459F2DA073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d941a9ad893651050a6a9eee0d15e0c81385c2","datavalue":{"value":{"entity-type":"item","numeric-id":4522757,"id":"Q4522757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efc6b603ed606ab86aedc0b40107d00bf708d3a","datavalue":{"value":{"amount":"+0.8405661","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":"Q3611997$4C0EF482-E479-465B-8845-AC7217C6E34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b407e11fb90ddddd2e762b4f17d94b8119585b5","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30f86eaeb688171e728dc08e0bf87acfe15b413","datavalue":{"value":{"amount":"+0.8404977","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":"Q3611997$4ED50411-2460-435F-BDB1-967EBB97CC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3611997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3611997"}}}}}