{"entities":{"Q289808":{"pageid":291575,"ns":120,"title":"Item:Q289808","lastrevid":60681897,"modified":"2026-04-10T18:29:14Z","type":"item","id":"Q289808","labels":{"en":{"language":"en","value":"Analysis of linear definite iterative loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587922"}},"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":"Q289808$096B1D30-73F0-4C0D-906E-B81D97FAF707","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61729f70e32aabeb7da93e7288e45890c206ec6d","datavalue":{"value":{"text":"Analysis of linear definite iterative loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q289808$C47EEAF6-FA0D-47C9-976D-6F741A8F8A54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4683a375a30a454c859c735b758982afc7bf6ff9","datavalue":{"value":"1356.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289808$A8C8FCA7-BAAC-4E7B-B165-4CEA2DA8DE70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4da5899d1c53479fd61e95268dabd54f119dcc","datavalue":{"value":{"entity-type":"item","numeric-id":289807,"id":"Q289807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$45DF12D8-3F98-4EB1-AB07-4CF0E5583B41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$30AE73A0-9273-4CCE-8D94-510CB84EF333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a49183d98fdb45af485077728faee3522a457e","datavalue":{"value":{"time":"+2016-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q289808$3C74E9D5-1EF8-4743-B7A5-11639BAE86D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289808$E7F2F97A-A5B6-4FE5-AB2C-FFCFE1AA68D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3398503918308169b62e26a31189e44b4d7b6e","datavalue":{"value":"6587922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289808$0C6218F9-773F-48A7-B011-C8875D25FE59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q289808$24250300-A324-4180-84D3-232052CF9282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9076cdcf2125f35c62080a8c85d64cffb50d44ab","datavalue":{"value":"linear loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q289808$64E4652D-82F1-4D23-A202-BE275BD021F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026fc7af74dea1b42c2d4fb2dfdcb155a5c7b424","datavalue":{"value":"invariant systems of linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q289808$591B9B85-6F71-47EF-BE6C-DE60CD88BAF4","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":"Q289808$EE2D54F2-D456-4CF1-940E-F77D072A0D1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51f250ae99ba1c04fa82a7073bf72d3794a45916","datavalue":{"value":"https://doi.org/10.1007/s10559-016-9806-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q289808$1F420B79-E35B-44C7-AA57-DA2AABAF8E9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2a5af8871b0fe96f889910003f55bccf88b615a","datavalue":{"value":"W2273710723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289808$C27A7E1D-48C2-47D6-AC02-D456EE1AEBC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$FB2D9236-A795-4EDD-AFF7-475598546630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$64F46315-63D6-4DD8-B39F-ADCB178B62D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9139cb21f8e9a11ad999ee2862ac639e020051e","datavalue":{"value":{"entity-type":"item","numeric-id":4005340,"id":"Q4005340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$6D8A1329-1F82-4793-89B6-F6D458CC65AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea59f135c74e957cfcb67c84381cbfd1655a7ec","datavalue":{"value":{"entity-type":"item","numeric-id":4729341,"id":"Q4729341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$71552D29-214F-482B-9CBD-3F98FE0D8408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef2ad400e085233862c41f114c445174054db43","datavalue":{"value":{"entity-type":"item","numeric-id":1311622,"id":"Q1311622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$B9428CF4-887C-4C0D-AB1C-280C51343F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$8AA5281A-23A2-4B39-A99B-4F9FF12184E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$2D2BBF42-EAE6-4F03-AE88-787F5318904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$FC8584E1-971A-4CFE-81E8-CC29677361AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$57B75EEF-5249-4C1C-9216-728CE8FC93C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99d601053e5f207c1ee6dc87c387094548721b5","datavalue":{"value":{"entity-type":"item","numeric-id":466366,"id":"Q466366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$41DB2F91-DE4A-47A1-9F82-CFFF0A4C5312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2f3bcd42d79674a96fe40fa9841dca20424bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2452765,"id":"Q2452765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$AC78A822-E704-40B0-90F9-E6AEF5E4B6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb1ede2a0902ae4c2f2d7ff8d00dd9bb8b9732c","datavalue":{"value":{"entity-type":"item","numeric-id":3698287,"id":"Q3698287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$426D7A3A-4AAF-42AF-9FBB-7DA4167D2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81eeeaf54865bafe245019c3b0630d7e9c5d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4007457,"id":"Q4007457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$68D57048-769E-46AE-8BD0-B207C0DA298E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c53aa2b28d5ba41251083bdc2e7dd6055594de","datavalue":{"value":{"entity-type":"item","numeric-id":3777432,"id":"Q3777432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$FF5C3865-87DB-4759-8404-44A836534ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a389e9de1c669dd2bcf313547994277f48f926","datavalue":{"value":{"entity-type":"item","numeric-id":2263332,"id":"Q2263332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$EAD95471-467E-4681-8AC8-9E8E33E898BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570a201d3a924e1bf610bfce1e00cd2bc4e78c14","datavalue":{"value":{"entity-type":"item","numeric-id":5534205,"id":"Q5534205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$494223AC-5F43-48CE-9595-35CD0DE1BF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4ac6f8fef508467ec485c5c6bbf19f6d5f6c61","datavalue":{"value":{"entity-type":"item","numeric-id":4437556,"id":"Q4437556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$134EEEF1-D9F3-4E03-85BC-6543F8C54DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a01cee80d908aad0afbd8b80ff2a834a1dc5e69","datavalue":{"value":{"entity-type":"item","numeric-id":4299608,"id":"Q4299608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q289808$78391DAA-BA2C-4FAA-997A-6A34EDDE1AB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15bd14b151facf55f1a69a297b257d1c20624d06","datavalue":{"value":"10.1007/S10559-016-9806-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q289808$4D25A5E0-53A0-4B8C-B1F5-607B05013169","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055ef43a129cd5e56c07821a7f6d484cd9959671","datavalue":{"value":{"entity-type":"item","numeric-id":2263332,"id":"Q2263332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe80a7c421ae27da91869c9d96b28d453c861b12","datavalue":{"value":{"amount":"+0.850914716720581","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":"Q289808$57B7F081-6475-4EDE-9FCB-EA70AD73FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49893b246bca78d04b6af6cef680d0265444ab68","datavalue":{"value":{"entity-type":"item","numeric-id":2452765,"id":"Q2452765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcb7736155ef578522951b4a9b1dd2026ccd1971","datavalue":{"value":{"amount":"+0.7641669511795044","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":"Q289808$DF5F2CDF-03A4-4FFF-A6DC-BC27A17DA1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac525c506a7e4496b7ce298045170be2b71b1a0","datavalue":{"value":{"entity-type":"item","numeric-id":891730,"id":"Q891730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7168f63388f9acb362323813012911834b0994c7","datavalue":{"value":{"amount":"+0.7514998316764832","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":"Q289808$1C72E28C-894E-412A-A018-B29F7844EA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963ba71e3e1fb415af8a419d959e809128dc467f","datavalue":{"value":{"entity-type":"item","numeric-id":832249,"id":"Q832249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d92d37b5c8baa6decd636a0fbddd91825b217b1","datavalue":{"value":{"amount":"+0.751337468624115","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":"Q289808$CF64D906-B809-4C76-8E13-5FEDAC421DE6","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":"7540388dd88c8e3aecd57286ea00a08863006da3","datavalue":{"value":{"amount":"+0.7433997988700867","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":"Q289808$7169744D-58FD-458B-B6D4-BE0C31A0AB67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of linear definite iterative loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_linear_definite_iterative_loops"}}}}}