{"entities":{"Q2891402":{"pageid":2902127,"ns":120,"title":"Item:Q2891402","lastrevid":51491324,"modified":"2026-01-18T11:59:20Z","type":"item","id":"Q2891402","labels":{"en":{"language":"en","value":"On the termination of integer loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046572"}},"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":"Q2891402$55CA10F2-D8EB-4C99-865B-861038DD511D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27c87afd9258cdedae4b8e3fe72b33b21597fd25","datavalue":{"value":{"text":"On the Termination of Integer Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891402$70AA408B-3CA2-49CA-AAB0-96F5F892AD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511ed338095e0265fafcf8249ec20048fec71d14","datavalue":{"value":"1325.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$08F6FF7C-6C51-451E-B938-5ADF6578C0DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eef1af54c88b7171105380f6035bb91da886e013","datavalue":{"value":"10.1007/978-3-642-27940-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$BCE5DF28-8AD7-4719-9E4F-5D130794CE23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$0D84DD09-8B81-44C5-B0ED-84D4E28F1FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8493cfdcae9b4de5a2af723b1d760fac9d2516","datavalue":{"value":{"entity-type":"item","numeric-id":2233535,"id":"Q2233535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$3EDD2BB0-C8EE-436E-BE4F-5ED84A146C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7451b1685ab310bbd75f08ab9f181e107023a28","datavalue":{"value":{"entity-type":"item","numeric-id":418007,"id":"Q418007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$48A8D68C-6FF2-4218-A3DA-649BF169C716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$522726A5-0757-4035-8241-55B8CE740A64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891402$B93F34D3-CA7B-4AB2-9A0F-13F4094448F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$6BF50576-DB0F-4F61-9301-C549960189E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$3B80ECF3-9DB2-414A-B453-12B0AF4FB5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$99D8ABF4-B7DF-480D-9C13-57CDBACFCCF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e17df81ea3312b8b41d2210bbf954940911889","datavalue":{"value":"6046572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$9EE58A74-234D-4A28-8F1C-0885BF1E1A36","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa671ac82600b3ec323d025bf536d1e43831c61f","datavalue":{"value":{"entity-type":"item","numeric-id":12930,"id":"Q12930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$A7EAAE8D-3888-4288-96BF-5CA3B2719C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$3980317C-2E8C-42BB-8F7C-5748F75FC1A0","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":"Q2891402$99289698-3D99-4FA4-B8E6-91E3E4221C91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8023f3881b6e57596db458f799c60bc396d56097","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891402$1A1F71B6-8039-47E5-BDF3-1BAF7FBCDD9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6726805aad071f32937d01ab77b0e5b8d4e9d19","datavalue":{"value":"W3148387491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891402$2586ADEB-B9DC-486E-AB10-935A3156B7A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2455f7dee77ffb217ffdc7b834f7a85175b71033","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$4A7A9641-2F0C-4DCE-A6C2-49A4CBF82A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3971f4cbb40846812f1a3128bdb613a06e7daa80","datavalue":{"value":{"entity-type":"item","numeric-id":5901015,"id":"Q5901015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$47A6110D-CEB2-46A1-A1BF-0F0E33456D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7340df8f6d6459847b69a21cd28cd8bc01e2681f","datavalue":{"value":{"entity-type":"item","numeric-id":3224670,"id":"Q3224670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$CA6E1156-98F7-4172-A434-4830E050BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9038852701f9ef09e166d7111bbf0050ba626051","datavalue":{"value":{"entity-type":"item","numeric-id":5941097,"id":"Q5941097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$420D225F-3C5A-45B6-82D9-B0B20C5DD0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02367f6dcc4615ca59972a2c76a1c6bff173089","datavalue":{"value":{"entity-type":"item","numeric-id":2891403,"id":"Q2891403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$4DFF3C31-CAC9-4030-B19A-ACA216C508F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7884973ff241a221c90c774886de6753ca23e7","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$2471BE41-C53D-4C92-9C81-4558E273BF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1fdb745992585236d8b46bb0113602daefd8179","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$6C7E860D-BAE9-4D9A-A5EC-F0E813452ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$8ADA749E-5F04-4EDC-B6E0-FDDBA2A23EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$1DF17F2E-DC40-49DF-BB94-C191A403CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$8202F0BB-DEF7-4A09-93F7-3B3D1A5C471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0194aac5d1b5fafc5d3a8db70fa2e0207b7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2715528,"id":"Q2715528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$2AEA2394-6C7D-47FC-BC69-1AFB898F302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f703c7690d7b827346ac8203d04aa0ed24d063fc","datavalue":{"value":{"entity-type":"item","numeric-id":5437651,"id":"Q5437651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$34F478CC-433E-4E36-B412-6114BD71D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3d00ec5b94feeb97a5853d0e3f454afe7ff7d72","datavalue":{"value":{"entity-type":"item","numeric-id":1844588,"id":"Q1844588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$B1E1CEAF-00B8-4F32-96BD-7BD86B8D6BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$DB88E34C-94F2-4616-91DA-6733B8D32ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$D2AF7D49-53C5-41A7-9712-4C9729FD2FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$837D7248-391D-4FE1-BE4F-7DA05DF0AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891402$CD4BCC0A-9034-459E-A780-C623E02C55CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208fd6b1d4cb491721f364df301de71c0e1f25e7","datavalue":{"value":{"entity-type":"item","numeric-id":5756742,"id":"Q5756742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6088acbb13d6418f7d24718353d162d77dca89","datavalue":{"value":{"amount":"+0.839058518409729","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":"Q2891402$2C1A3ECE-F6B6-45DD-945A-AE1B131A6D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11de57d14b7eda4c39b3734de40c2f50382b910","datavalue":{"value":{"entity-type":"item","numeric-id":5363097,"id":"Q5363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5374d3185b72ef9d4e2a60e8da2bcf203af10ae","datavalue":{"value":{"amount":"+0.8110862970352173","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":"Q2891402$97243AEC-73D3-4F65-A148-DB0F05F8FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f87af1fc6255683f52d4d5b3acaf1254bcc6b","datavalue":{"value":{"entity-type":"item","numeric-id":604395,"id":"Q604395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1f849dc6276770645bd64f4148568e50243d2f","datavalue":{"value":{"amount":"+0.7949928045272827","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":"Q2891402$11590664-251A-45E1-B2E7-0D7EDEBCC131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9aec3ca792c74be7bb74ff612cbaecd1b3e06d1","datavalue":{"value":{"entity-type":"item","numeric-id":2233526,"id":"Q2233526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f57c0b84d62ef60791f9b28b911337f4a3e61c","datavalue":{"value":{"amount":"+0.7870375514030457","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":"Q2891402$55A0FF25-57EF-4778-A3BB-E12E161ADC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ce288bed62a9702763d1c334cc4f61a13082dc","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406b8907ef0f9cdc77a6a02922ce33f485e33309","datavalue":{"value":{"amount":"+0.7676832675933838","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":"Q2891402$8C0FE43C-2668-4FF2-8A40-61A9A055A246","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891402"}}}}}