{"entities":{"Q5363097":{"pageid":7392671,"ns":120,"title":"Item:Q5363097","lastrevid":58534884,"modified":"2026-04-05T15:39:33Z","type":"item","id":"Q5363097","labels":{"en":{"language":"en","value":"On termination of integer linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6786412"}},"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":"Q5363097$075868F3-0EBA-40D9-BB43-1BE18CD2B47E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6ff012f826fd160b27e20829b3a64792c315cd5","datavalue":{"value":{"text":"On Termination of Integer Linear Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363097$E0D3B1BE-CC80-4095-B25C-79FD25963157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2bf6ecf6763301d66e3412733b142c66e6ec7bc","datavalue":{"value":"1372.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$A7E8AEA6-7DC6-4E75-A450-9CB5DB936102","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1cf3455f8262def885e8875a083509ecc0dd487","datavalue":{"value":"10.1137/1.9781611973730.65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$F3D8C8C2-8391-45BA-AB13-7ABF9E8DE24F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363097$EA7DC4AE-6E2B-467D-9184-3009D32A0430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"307adae3653584aa4a731441de1a079b5afc1313","datavalue":{"value":{"entity-type":"item","numeric-id":4635943,"id":"Q4635943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363097$15F25C6F-C6C0-4F58-AB17-706C75208C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363097$CAF31C3E-B55B-493C-A5A8-5EE049B31069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f906c8fd5e5a589fe782b302dc040aa9fdb31947","datavalue":{"value":{"entity-type":"item","numeric-id":5362974,"id":"Q5362974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363097$D1E36C23-4FD0-4AB0-ADAD-563814CC6939","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be6e486ba98ac1c66d0c460f9b0cc5284ea28f2","datavalue":{"value":{"time":"+2017-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363097$68AEE507-4FD9-4A14-ACE7-DD32241A096C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30e441c3f14ab610960363cb0825efab5748b14a","datavalue":{"value":"https://arxiv.org/abs/1407.1891","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363097$874B3356-B39B-45AB-B9BA-AD2C4C155A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$6D12B7B3-73D3-47FF-926B-C7755428E8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$2D9FE541-6246-4EF4-9D15-9703FCD57EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5adb849ecb2203541270370c9265ac70cda6203c","datavalue":{"value":"13P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$AD68D5C7-F8FE-4BE2-9DDF-0DED8D394051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$E3FEF1EC-50A8-4D56-A436-36C0DD48588E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$E50012DB-D480-43AB-A85A-9E359D0EF702","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1dd49ea91cc1136d2dff13093141d05822ff47","datavalue":{"value":"6786412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$4A63588D-213C-48FE-8F8D-2B6C7A86FA89","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":"Q5363097$3A7FFF40-E2F0-4FE4-B404-D60E63EA68E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ee21fba975cca3900fcadfc114987249aa0f58f","datavalue":{"value":"W2951018967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363097$18A1AE5D-5ED3-4EA5-AE47-630633E51ADD","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":"d60e6fe715642a3d42d765f525ae5d5c1b9d1749","datavalue":{"value":{"amount":"+0.8947595357894897","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":"Q5363097$56623153-66BA-4DE7-A7AD-64E4BAAEBA97","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":"8266ca1a2ae7180ab95e4539664677a9ce252e93","datavalue":{"value":{"amount":"+0.8387812972068787","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":"Q5363097$7D7E8CA2-47B6-44AA-BA71-C3355291852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5734b632aa9f216d991e078bc553da9ee343b013","datavalue":{"value":{"entity-type":"item","numeric-id":3069740,"id":"Q3069740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f2c7138521bfd69318464e8d00c74a1390d68a","datavalue":{"value":{"amount":"+0.8331128358840942","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":"Q5363097$E3529763-BF11-4591-A77F-9A03DFD87D67","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":"4faf7cb223b19200654a8bd9552f29a11a5d8b2d","datavalue":{"value":{"amount":"+0.8221741318702698","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":"Q5363097$C05BF66C-9DEF-445E-AB63-2675EC94EAEF","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":"466a796263aa2ea97c2cde12794a64f134e6c5ff","datavalue":{"value":{"amount":"+0.8142895102500916","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":"Q5363097$FB80801A-A305-416F-A410-C8352218BF51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5363097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5363097"}}}}}