{"entities":{"Q2915099":{"pageid":2925819,"ns":120,"title":"Item:Q2915099","lastrevid":58053492,"modified":"2026-04-03T15:09:34Z","type":"item","id":"Q2915099","labels":{"en":{"language":"en","value":"Non-termination Sets of Simple Linear Loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084973"}},"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":"Q2915099$04BDBE94-1B7F-4C48-945B-73C5FC1AB84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39d13526d4c9b4f69af8f5c17b0969431da2ae2e","datavalue":{"value":{"text":"Non-termination Sets of Simple Linear Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915099$3921C8C4-7B0F-4F7B-A566-F196D4B1FF2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd4a4df9c7a35876f8e73e26ce145a98d19e61c0","datavalue":{"value":"1362.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915099$8F3D6DAD-7613-4E9F-9DA1-06C0C8858737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"303b92680c7665684bc58c599ec5fc7dd062f429","datavalue":{"value":"10.1007/978-3-642-32943-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915099$EA29871D-815B-4932-88E5-B3344D67D739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da0a89075607d7b8ca44279b5d1b6258deef213","datavalue":{"value":{"entity-type":"item","numeric-id":507350,"id":"Q507350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915099$B71B4B1B-7A53-4E64-8363-E652EECFEE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915099$B71ACF67-F4B4-4A95-BA44-0028D03624C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5d26dfabd2a1eaea8344d31d26120815afdf182","datavalue":{"value":{"entity-type":"item","numeric-id":2915093,"id":"Q2915093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915099$F1BFCF28-C8A1-415E-A5FD-AD9CE543D25C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915099$C4187687-3452-4670-AA08-5EAC43C9BD59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9b51ed60f47f8040bd1f136441d7df8a0859674","datavalue":{"value":"https://arxiv.org/abs/1206.0232","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915099$632EFD89-9912-4588-B2C8-55E8F5DCA868","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915099$2236F339-47FF-4ACF-B255-71FFC2193FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85843d71ecfbf1f2d5c6eb24cc3210546edade34","datavalue":{"value":"6084973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915099$CD0984B3-BF8F-4F0F-B659-AAC130C40EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68236dc95d2d94100a52d361b93b3063bd20fef","datavalue":{"value":"simple linear loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915099$39405D2B-BB1D-42D9-BC0D-ED4369B0052F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915099$D146FF4F-FF99-45CF-AAAD-02228D68849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09106b378d5add56668ebf962050c41e0d8dff11","datavalue":{"value":"non-termination set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915099$6509F078-02D8-4150-B4BB-AB9295555394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2621a7f114359c15599320f635eb9b30e969bde4","datavalue":{"value":"eigenvalue","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915099$6E3D69FA-B69F-4F39-8101-1CD01E821541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6fc11c84f2d81e4ddbf4d14fe95dfa717e9d272","datavalue":{"value":"Tarski formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915099$769F5CCF-A526-4AEF-B59E-B2C99CDAA111","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":"Q2915099$8417FC19-CCA7-4679-AB4A-0FC92F68E230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1da1f607fd3e5a84e14dc89b6d4ebb9e4b83c039","datavalue":{"value":"W2118025397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915099$2CC93F1B-ECD1-40FA-AA6F-C525825ECA69","rank":"normal"}],"P1643":[{"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":"d59dcdefccb235af03f877cdb035c2d5e1a04ef9","datavalue":{"value":{"amount":"+0.88857836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$E8C93F47-9A1B-47CB-A0F4-FE04296A6203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24424719dc970ff930d85ab45642a0de76acb36f","datavalue":{"value":{"entity-type":"item","numeric-id":5092319,"id":"Q5092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a41db05204089737cbf516587cc0ea8091fb69","datavalue":{"value":{"amount":"+0.8808846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$93D3D6B3-4C2C-441B-BD59-0CDA03BE955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f760e9bd7bd320ff70d8bcee646e1fd80edf435","datavalue":{"value":{"entity-type":"item","numeric-id":3222379,"id":"Q3222379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccf1402a7c70ae3b95f7dc8d5fa23db6291915e","datavalue":{"value":{"amount":"+0.8654058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$6D341418-EAA5-4329-B218-C7C2DDC4A0BF","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":"917f8bbc8734167b1df1bc83109b80bd57be5881","datavalue":{"value":{"amount":"+0.86515474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$99FF890C-E2E3-4DB1-966C-00F9B3D73D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a92385d42c3195461808373308d72d053a92744","datavalue":{"value":{"entity-type":"item","numeric-id":6060374,"id":"Q6060374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb2912dc4fc458bd8ab9ec64041c3808a803838","datavalue":{"value":{"amount":"+0.85746753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$4FD8D572-3700-4BB9-A941-57DB78EE0C49","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":"f4ea6bc6ab775d0bc859de1e13f5e16c4372312f","datavalue":{"value":{"amount":"+0.8529228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$F1A4EF5C-D70D-4D21-BBF6-2C42A072EEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac55623476f8bade5e16f4aa5f7f23c17aa73145","datavalue":{"value":{"entity-type":"item","numeric-id":2891402,"id":"Q2891402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933038630ff73ad317b42c8ded03f341657191e8","datavalue":{"value":{"amount":"+0.8453915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$258B728B-49BF-4013-8DBC-5AB58A29BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a55a86003f15b0d09a2e655888b290c33a35d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4834552,"id":"Q4834552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c88bfca1931cd846dd34c998be19a692e0a28a","datavalue":{"value":{"amount":"+0.8448416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$25642F3F-6F8C-469B-986E-3F55383FB8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57898ad5938baaa660b9084b87b99b319157a720","datavalue":{"value":{"entity-type":"item","numeric-id":5897503,"id":"Q5897503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc8a97fbd3c33043b72dd9130cc143e4b26fade","datavalue":{"value":{"amount":"+0.8427311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915099$FE5F57FC-695D-4A44-A0C9-97C5347F7BD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915099"}}}}}