{"entities":{"Q832249":{"pageid":834097,"ns":120,"title":"Item:Q832249","lastrevid":64674882,"modified":"2026-04-11T21:28:28Z","type":"item","id":"Q832249","labels":{"en":{"language":"en","value":"Reflections on termination of linear loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498174"}},"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":"Q832249$A4124059-9CC7-4C2B-A50C-7838A4CCD788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1257035ea7156529ac09c3d6f3d5e3e43631830d","datavalue":{"value":{"text":"Reflections on termination of linear loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832249$BB9DF2F2-3F93-4E13-9A54-477F3AA80A3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f73ee799e73a86519f5b9ab1b7ed1848b3fe137b","datavalue":{"value":"1493.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832249$4CA81E37-ED86-4DD8-9BB1-45AFB7D031CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0b8faf4b56d3b6558a14e3b746e0498952047e9","datavalue":{"value":"10.1007/978-3-030-81688-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832249$FE589348-CCCA-4704-9045-19DFAE388DD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b64641f3b61e60f6d2b37cdef2d3bc8deb3fbe","datavalue":{"value":{"entity-type":"item","numeric-id":832248,"id":"Q832248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$8099A104-1B9B-40FE-9B62-F04031682B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$3BA77543-4782-496F-B094-45EBFDA25F8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832249$1BF8A254-B11E-4B3C-B6D3-D26367EC915F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8fdf110ecacae28fb7d64623ce95eb7113ee20f","datavalue":{"value":"https://arxiv.org/abs/2105.13941","type":"string"},"datatype":"url"},"type":"statement","id":"Q832249$CABFCDA3-E044-4A11-977C-F2709726BD5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832249$0E7FD20B-63AA-45BF-B85B-7405E482501B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bcd6776ca5cb627f6a643afe95cafef77591e67","datavalue":{"value":"7498174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832249$AA43CAFF-557C-46ED-9F6A-37BEA44240B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$E28C2BE5-BDDB-4EB8-90A7-BC51F0CC6E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65cf2657b22ce225a54b1c2683ca03b505f5114","datavalue":{"value":"conditional termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$3EA4C748-71C0-4620-8804-96CE17FAD414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca77b94f819ee764a050b0299985a30ae5101bf5","datavalue":{"value":"best abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$54F54FF4-FE97-409C-BBCD-1FD8F9574177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$E676687F-F09D-42AA-8559-972C9DB4D17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7b4d0027d8be11facac2a87822d398d7668720","datavalue":{"value":"linear dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$52486C86-D91E-4910-9476-9401A1731E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d44483bf92e3acf3fe1e32ffc842bbeadf403b83","datavalue":{"value":"monotone analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832249$E04C0710-F5EC-4EFE-A9FA-F914EA81AC8B","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":"Q832249$19695E7B-5200-4CB0-99A3-DB7C48695E0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a731f61df0b4e261905268b233c14322437cb0cb","datavalue":{"value":"W3185819676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832249$3F3B83C9-5E32-41C9-839D-8F2756F0C21C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"791505e27174c01c77279d856e0f9825c63c7015","datavalue":{"value":{"entity-type":"item","numeric-id":2164261,"id":"Q2164261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$3C9C82CC-A465-4AC0-B313-3F77636BA233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09206fde3d946f36f56cc0c3636d596e4c86a679","datavalue":{"value":{"entity-type":"item","numeric-id":3303892,"id":"Q3303892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$B5B2564C-F650-4A5A-9B9D-3A55FFED2912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$3EB12F50-F634-487B-9A44-42E285C8DF02","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":"Q832249$D4AC8100-F07E-4CCA-A3D1-732792B1DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b017608da01ad841ff41e1eaf1e28d83e843c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3512502,"id":"Q3512502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$007B457C-F57F-461C-8BDB-56D07E8210C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$1669B48D-E77D-4001-BFAC-79652B8C6CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727396178aa3c115efa8b89938b9e0afafcf8cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2942877,"id":"Q2942877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$16B1170B-9318-4F45-981D-CF433F3B4A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894a1962cc2051cc4db3a88098a16840f993fc33","datavalue":{"value":{"entity-type":"item","numeric-id":1702895,"id":"Q1702895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$3F8E4469-FF46-4751-8A1E-5005720FBB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f822690fec54c0059b31057f0280a42310fad20","datavalue":{"value":{"entity-type":"item","numeric-id":6194959,"id":"Q6194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$427EFFF7-9973-4A63-8017-C3405BEFFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60bf0b82585dfc6b6150d01493d12c11c97e4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5092319,"id":"Q5092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$A59B16EB-C161-410C-B32C-F113E682157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be0c1c70685859b86dd63059ad8e7789e233b68","datavalue":{"value":{"entity-type":"item","numeric-id":1058849,"id":"Q1058849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$63C0E908-1CDB-4967-AADA-AFBD30E55A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b22251de623f141b84f47e2372454c87c68d4d","datavalue":{"value":{"entity-type":"item","numeric-id":6041166,"id":"Q6041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$E52773BA-0414-4224-B30A-1986591566DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819000a742700c7ddc38a219ee3fa673e6bd0614","datavalue":{"value":{"entity-type":"item","numeric-id":5443078,"id":"Q5443078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$6C9B55C8-8C16-4C5D-94FC-C21198005681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7524b3de3c3017fd47e810e2bd4ff877e5b13197","datavalue":{"value":{"entity-type":"item","numeric-id":5246721,"id":"Q5246721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$0B7C8B84-BB00-42BD-B7A4-0D71E5FD9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$789DCD23-DDC3-432A-8F51-3D363C25BFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e93caf186186bcbb3ad04559170566cd97e296","datavalue":{"value":{"entity-type":"item","numeric-id":5363097,"id":"Q5363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$0C9FB764-9996-4F9F-B7E1-5ADF4B88625D","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":"Q832249$C6050323-D50B-4F77-A8E8-A31712A451FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257d08455ef584eb671b59fe645a2702cfc11cf9","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$C22167BF-9F42-4B0A-B4EE-D5C550702799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc06b87bb4c751386a813c26b4608cd3699937bc","datavalue":{"value":{"entity-type":"item","numeric-id":6154875,"id":"Q6154875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$4FF61F68-C86F-4D9F-85FE-AD41EE5AA15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$C09A646C-23D3-430D-A5E0-4CC8B2A5CD4E","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":"Q832249$C4CA0F23-E66C-4655-8C13-B8070ADD11AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16088cc87169a38459e2ac37621458259e083bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5410712,"id":"Q5410712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$7D08A393-4DF0-4888-B3A9-81569D7FE2AB","rank":"normal"}],"P1643":[{"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":"5d60a4905c5a1e24b3dd4e1212140aa761752130","datavalue":{"value":{"amount":"+0.8260788917541504","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":"Q832249$CDFC9549-5670-4DF7-A045-03C812A60FAD","rank":"normal"},{"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":"df276f850ea3f7c847c0537ee2d18c0975e1d504","datavalue":{"value":{"amount":"+0.8248718976974487","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":"Q832249$3B0B0FBF-9D78-4A6D-9560-FB400A90C174","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":"06d6eeab975034a84f62f181cbef839ccc6847af","datavalue":{"value":{"amount":"+0.8186506628990173","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":"Q832249$3FA613F6-87FA-4930-A7C5-DEC6F6838966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751b94c0cef29085aeea0c42d5f91d7ab68a1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5499193,"id":"Q5499193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134bcb08f3069207b13e1abd570044dc05297083","datavalue":{"value":{"amount":"+0.8083915710449219","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":"Q832249$9AA41868-BC05-4C47-BB95-D4C3F68117D1","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":"d0a520019f399a51fe1aa8446ec808334fdc84a0","datavalue":{"value":{"amount":"+0.8050833344459534","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":"Q832249$646E54CC-E099-40D3-9C5D-9540F3D1641E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832249$E84289FF-F53A-4B0C-B5BE-865B33432291","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflections on termination of linear loops","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflections_on_termination_of_linear_loops"}}}}}