{"entities":{"Q1664396":{"pageid":1675137,"ns":120,"title":"Item:Q1664396","lastrevid":71152353,"modified":"2026-04-13T19:49:50Z","type":"item","id":"Q1664396","labels":{"en":{"language":"en","value":"On the linear ranking problem for simple floating-point loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6925343"}},"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":"Q1664396$91AF123E-E841-4FC1-82C5-D282EF831088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffd786865e5fcecbc47e92718c60b425cbcc8880","datavalue":{"value":{"text":"On the linear ranking problem for simple floating-point loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664396$5C2484B9-B137-499B-A9AE-2B39955DF686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c191446413f1cb77c911db92ffd75dc11107796","datavalue":{"value":"1394.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$A4777A13-5421-4259-A175-11DD25A141D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aa3316efb00338193ec886ac62bf44e8d54cc1a","datavalue":{"value":"10.1007/978-3-662-53413-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$BD5C99B1-C4CF-4C96-8818-D70FB23FF4BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c48615803448b05f9b25c375fc57da08add5720","datavalue":{"value":{"entity-type":"item","numeric-id":1664394,"id":"Q1664394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664396$F5AB5A7E-6CDC-4118-AEC5-39E9553890E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ab8c489ed1ede171f803fff341a396d92051a5","datavalue":{"value":{"entity-type":"item","numeric-id":1664395,"id":"Q1664395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664396$92CDD2EB-77DC-47F3-965A-BE321DB89803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664396$B5A54C73-48F7-4D93-B88F-73DB8D167DAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07d78b2809f727a96c8c6621733f1ab3a1973328","datavalue":{"value":{"time":"+2018-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1664396$B4B99D77-1C62-4A47-A3C5-17F9BC10C069","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f3751d6611ec2760c43deaf24fe116c75bb1f47","datavalue":{"value":"https://hal.univ-reunion.fr/hal-01451688/file/sas16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664396$660A2950-45C7-4E09-BA6B-7EB33F0EC84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$DE4C124D-BF94-41DA-A5C7-A5B2CCE5AFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$773AFE2D-6A1A-4AD8-BC7A-AC98A8B2D212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcbcf144e37ff98d55508d0bb359f78ceaa17046","datavalue":{"value":"6925343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$71FBE3D1-A9E0-419C-858C-3E5B4A01E115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664396$519D5C54-FEC4-4924-B750-404BB469176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beee6b6f9c7a199c1e1112f68ab54e677d3b8f7d","datavalue":{"value":"linear ranking functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664396$DAAE7A90-B7C1-45A5-81DA-548A54C472F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1f639f55a25d79d668ae6c1e1f7f932f4562f6","datavalue":{"value":"floating-point numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1664396$87678446-7580-4C09-B6AE-D0920DC19D6F","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":"Q1664396$8D2532A9-587A-49CC-B946-14F9380EC157","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01a72df2494f0ebda1787395932272c1781b76d6","datavalue":{"value":"W2510847956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664396$0BA52F7A-78F7-4372-AE3A-D6B0E4D271E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c8b00e4fdfdee57c63ee6df0787e9a1e5dd9a7","datavalue":{"value":{"entity-type":"item","numeric-id":2931783,"id":"Q2931783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cb00ae95da1b83e6d48e2b6c037c75d8733746","datavalue":{"value":{"amount":"+0.857096254825592","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":"Q1664396$FB2901F8-9919-4B8D-8B4C-7BB3A97FD0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30238393ceff3ebf87f858ba11879da3a40939f7","datavalue":{"value":{"entity-type":"item","numeric-id":5501930,"id":"Q5501930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bbbded15dc523e40da26ea297c948547530cf9","datavalue":{"value":{"amount":"+0.8552097678184509","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":"Q1664396$98507171-9F92-48A8-9381-C1AAB80E52F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d86191a166f4ad614c394190d390f18d19a809a","datavalue":{"value":{"entity-type":"item","numeric-id":4995357,"id":"Q4995357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc179b3c1b543b0bee0f76f9e988fac5fdaf7d2","datavalue":{"value":{"amount":"+0.808601975440979","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":"Q1664396$F2D41F84-CB37-4FF3-832D-DE661D778529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207e616d7f04783c6c66da1976c8fe43750a288a","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec29e941727250621fa3520a5d043df92614bcb","datavalue":{"value":{"amount":"+0.800325870513916","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":"Q1664396$A35F4DE1-83E6-4084-9C96-C3F123C9C451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2449eddd36c106be182b3043f294722941103","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f971822b7aacb15e6556e58308103d340df8f6","datavalue":{"value":{"amount":"+0.7989411354064941","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":"Q1664396$326F8E5B-C0FE-4BAE-9618-F2C544A5675C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the linear ranking problem for simple floating-point loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_linear_ranking_problem_for_simple_floating-point_loops"}}}}}