{"entities":{"Q2330597":{"pageid":2341340,"ns":120,"title":"Item:Q2330597","lastrevid":43891578,"modified":"2025-11-15T19:21:53Z","type":"item","id":"Q2330597","labels":{"en":{"language":"en","value":"On the termination problem for counter machines with incrementing errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121142"}},"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":"Q2330597$0721A384-6DD4-4C89-A243-A08D52C8AFEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29657eda18235bed8a0a1b1514c5cc9f8c67dba9","datavalue":{"value":{"text":"On the termination problem for counter machines with incrementing errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330597$53757353-0E5B-4F80-A8E2-51937515C710","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca5b99d2cc33f891edffbefa7e715452c7526788","datavalue":{"value":"10.1007/978-3-030-30806-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330597$FC0BF6B0-7671-49FA-8AB0-ED80B2B34437","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"addcf6d44783d1bc7ae5a6ba955d62602d552548","datavalue":{"value":{"entity-type":"item","numeric-id":295917,"id":"Q295917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330597$B0A661C0-4FD9-46C0-815B-A92C15A43FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2330597$D10D8CEF-BDA2-4D2B-A86B-6B3556CF8EC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e888f80497ad1dd4cc98ffa9712d776d4c266a3e","datavalue":{"value":"https://kclpure.kcl.ac.uk/portal/en/publications/on-the-termination-problem-for-counter-machines-with-incrementing-errors(87ceb73d-325c-4580-949f-484f38f45676).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330597$77B5CABA-0E48-4791-8304-9694C137F5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330597$2EC9DED1-0FB6-4D1B-B0B6-E0317593956D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"decbcfd2e24aaefa345260a77556a0b015d85e86","datavalue":{"value":"7121142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330597$175C7454-8A85-41C6-B389-DDDA1B5BF9DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330597$7EE9C9CE-4A9A-4A63-B6AC-69D0C86DEC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330597$2FC3EE26-D335-413E-A584-5C4D9B9ADEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6eec89f85a357bbfe83815a77de65858750530","datavalue":{"value":"unreliable counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330597$308CF412-77DA-4F57-9365-FE03404ACBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"606a4bb91d00991aca66a9c2051a823df3b0a466","datavalue":{"value":"incrementing error","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330597$B59068E0-002B-48DA-A895-95DB669DD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7976e4c66ff2eee85fc38d222b42d19890e428","datavalue":{"value":"lossy error","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330597$E7C1F995-D5AD-4642-ADDC-A0AFD6940E2D","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":"Q2330597$9BFFC504-617D-4BFB-A256-868C60ADE6F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ddbff0cd43f990ffc65c79a673d759178d0e227","datavalue":{"value":"W2972213460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330597$963CAA29-994B-4D66-A27F-5F4C99498D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e93d93c0a75c47198b3e97919e7d036dfed3f08","datavalue":{"value":{"entity-type":"item","numeric-id":2037198,"id":"Q2037198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eae01f77a7a77ed90d4db09668e42428187a492","datavalue":{"value":{"amount":"+0.9800257","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":"Q2330597$B01804B4-FFF5-4076-A113-3D67C2855001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca2f25cc1a01355cd97f5654e90c1e0a12947bd","datavalue":{"value":{"entity-type":"item","numeric-id":1941874,"id":"Q1941874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2461d348f0ae01d989960425c81a0b5852fb02ed","datavalue":{"value":{"amount":"+0.86300284","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":"Q2330597$CB640F42-4CD4-4160-BAA7-E455BEDA80FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03623fda6cd17a56f45755a08323e72f6f063f2","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f06ff82788fd70ff465b6ce4a373303cac719dc","datavalue":{"value":{"amount":"+0.8513725","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":"Q2330597$2C34E786-05DB-4D66-A3AF-5E2F2CA1CC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf556f9ad8f0628a8561df560d7278295742618d","datavalue":{"value":{"entity-type":"item","numeric-id":6091196,"id":"Q6091196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ed1f9ac5fcf48faa93b1c01772fb6914d9c7ba","datavalue":{"value":{"amount":"+0.8479335","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":"Q2330597$25FFEEA7-99D8-4035-A5A9-58D7E68C0307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac8ad4f3338c3680286aa1498be35a2a0c0e6e3","datavalue":{"value":{"entity-type":"item","numeric-id":5917948,"id":"Q5917948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfe5fb54d7a7e6b4c26f0c650fc921a4b3d0b00","datavalue":{"value":{"amount":"+0.8433198","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":"Q2330597$5FE9CCB6-E4EF-476E-B5B6-D5F38FA8A84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42955356a2772181392673f3260f6f184c49927","datavalue":{"value":{"entity-type":"item","numeric-id":5892524,"id":"Q5892524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfe5fb54d7a7e6b4c26f0c650fc921a4b3d0b00","datavalue":{"value":{"amount":"+0.8433198","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":"Q2330597$726DD260-B03A-4541-97A1-9A13A16D5B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b70848ee415dd6a3e6e3fa6909a0f19d34fc26","datavalue":{"value":{"entity-type":"item","numeric-id":2163996,"id":"Q2163996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e42076f327ae1329ad7965d4520f19e8cfa464","datavalue":{"value":{"amount":"+0.83901954","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":"Q2330597$46BE1CC1-625D-4E44-8F5B-B33327EF9B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c102b5e298637d32c2532084f334f8510bd5ee22","datavalue":{"value":{"entity-type":"item","numeric-id":3526543,"id":"Q3526543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db7c872700133b8be2ea0a4eae4af2f5d313fc8","datavalue":{"value":{"amount":"+0.8376392","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":"Q2330597$3048EA49-45D7-483D-8228-43AFDA4C8F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ced6611f231f7727b071ab4a200fe82a9ee464","datavalue":{"value":{"entity-type":"item","numeric-id":3769965,"id":"Q3769965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5375fd6e101c46e30d9f374f209e37e2c43396a7","datavalue":{"value":{"amount":"+0.83454984","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":"Q2330597$A4BCBF12-B293-4382-B866-748A0E3A3E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21acd230051a91ba6b903a98e5db12cc74637e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3785946,"id":"Q3785946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914329d8c9104a3c905f37c31a284e2dee1d5e16","datavalue":{"value":{"amount":"+0.8345086","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":"Q2330597$F31E23AE-6D4A-4227-94D1-4DBE14BF7138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2330597","badges":[]}}}}}