{"entities":{"Q2015129":{"pageid":2025871,"ns":120,"title":"Item:Q2015129","lastrevid":43478310,"modified":"2025-07-28T11:40:32Z","type":"item","id":"Q2015129","labels":{"en":{"language":"en","value":"Dense-choice counter machines revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6306353"}},"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":"Q2015129$66F5AFD7-8B30-48B9-8A7C-79D8BF50DFFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d71692392c509c709675d0c2b8ee68b46ebfa8c0","datavalue":{"value":{"text":"Dense-choice counter machines revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2015129$3DAB8A4A-6881-4EAE-9BF6-38F8BF0B0771","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e154580d31f3bb974d0ee9797266124ad840fc1a","datavalue":{"value":"1360.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$CDDEB061-025B-478F-B121-E9FB6595D629","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$CF3B6DCF-B43A-438D-B5E7-1A781B6C0342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$A1E65B61-7F84-4909-8296-71E0FA124680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0e0174d1b1b10308fd9b7a15c928cfc26e029b6","datavalue":{"value":{"time":"+2014-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2015129$A3D72089-BA3F-4F65-AAE7-C69E0B281167","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$7AD79DD8-DEA0-4810-8C75-4B5ADB067086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$F698FC56-04EF-4BE6-A60D-4777232CBB94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"673a2fad5f7f1316c8027670aad42aeb02511f13","datavalue":{"value":"6306353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$D4D10579-DCD9-4D65-A2C7-00F8EA32315F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2015129$7A12D24A-E79C-4D8A-BE7C-C67F87C5E079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2015129$2C012F8A-B368-4F75-A1BA-6C402658E162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2015129$885A574C-C786-4D9E-A3FD-03BF06F1D2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457bc83c2fdb34f5bf944f52ed1b776272a70dd6","datavalue":{"value":"mixed real-integer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2015129$D84DAFFC-5169-4B0C-B445-F13FB11191B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f1e9bd4f7872d64208dced4eba3c5a147e18aa","datavalue":{"value":"reversal-bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q2015129$CB4143E7-53D4-4755-A47F-1494B7793242","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$F72E699D-1352-48E6-8F20-0DBB8BF9AD02","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":"Q2015129$B7027AC6-06BF-450E-964B-2BEE22B6DDE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"400dd29548916621df621217f4181f5ae216a3e1","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.04.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2015129$4A3EB166-F9B2-4E34-83F0-7F6EC59F6947","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cb78872c7d3fefe67d4e55f793a024d436e93aa","datavalue":{"value":"W2076654590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$DC903F16-B8EB-4545-8E39-778CC5539B40","rank":"normal"}],"P223":[{"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":"Q2015129$0980AED0-1521-4C32-9AA0-2C8ED7DEBE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b05a0e18c45dc7f52afee46ef0cdbeb85b9c83","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$5B4C960F-AE06-4FDC-B647-3731266663D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d07a686abf4cfd8c3b87266fe0b19a84bae550","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$85D421F0-4CA9-4159-BBD1-7FE9A2908C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a500c83f9e12d4fbfd7536ee475a14234aec916","datavalue":{"value":{"entity-type":"item","numeric-id":5465853,"id":"Q5465853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$A3D84BBD-D301-484E-822C-87E468A8CBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe5df846192c6739fda753f831ab68669ed86ed","datavalue":{"value":{"entity-type":"item","numeric-id":5900673,"id":"Q5900673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$DA52BA61-BEF4-4A59-8A1D-7818608E3416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$08528C8D-AED6-49F5-9E39-64D3FD09CC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a94957daf867c9e51d08622d98216a2c4ec899d","datavalue":{"value":{"entity-type":"item","numeric-id":3510807,"id":"Q3510807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$E76AB49F-1A66-4EC1-B452-42A182245807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a50c067c7221a15f1904361c92fe7f5eb731ec3","datavalue":{"value":{"entity-type":"item","numeric-id":2475807,"id":"Q2475807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$9857765F-2CB2-4F1E-9758-6B197B8882BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a51e0e23b0830b3a068ad5286db33c2286311eb","datavalue":{"value":{"entity-type":"item","numeric-id":5179060,"id":"Q5179060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$428DAE5A-2E46-4624-B050-A6110128B684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad4ecd2cff9d4d1db23b094fe864e416013c54e","datavalue":{"value":{"entity-type":"item","numeric-id":1003528,"id":"Q1003528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$DF2B4922-A704-4EF7-93EF-03AA8658B772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$E56D97B2-08F2-4D0F-AE82-34E199A63F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2a494c9a9fdd0a4d015075a42ef197c6ddc5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$72982741-A936-4B8F-9182-840961BF77B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a20241696e85f4f1677f8cc6b6c4bec15e7c584","datavalue":{"value":{"entity-type":"item","numeric-id":1401320,"id":"Q1401320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2015129$16DFEA9E-343E-4A5B-A485-E1AF9352345D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efc7111f675ced84e18182ea6ca6c1f69366a482","datavalue":{"value":"10.1016/J.TCS.2014.04.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2015129$5BB95CBB-E28F-461A-9CEF-D0DA95C0B17C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85643d467ec3c329c9839c5fa28c61c0ac672f5","datavalue":{"value":{"entity-type":"item","numeric-id":5900673,"id":"Q5900673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11dfa7c8a9a143b119ce35e93cf0dea3e63672f","datavalue":{"value":{"amount":"+0.89809847","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":"Q2015129$A1A65E5D-451D-4C77-84A5-F45F8EE364FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a9cac36ce663d5f96c0d99ded3c886d660a25d","datavalue":{"value":{"entity-type":"item","numeric-id":5404849,"id":"Q5404849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b09381039dcf4baee98ac9929b1c61e1e25660a","datavalue":{"value":{"amount":"+0.8771463","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":"Q2015129$53E34B87-67F3-4E99-98E9-12CCCFB1EF01","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":"691ec045eb8143920abcebe900e1f45ddd62aa30","datavalue":{"value":{"amount":"+0.87121964","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":"Q2015129$34043060-B728-4B98-97F1-CB0912E0BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b9d8859a1ffd9fb20d9c027a4a30c52b149229","datavalue":{"value":{"entity-type":"item","numeric-id":5327502,"id":"Q5327502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ec0cbf1926868e31bd99c42e3081831ce546ac","datavalue":{"value":{"amount":"+0.85976124","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":"Q2015129$03F4C75A-F737-4745-A8CD-CD94010B7F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7305df58d440e2cd573ba8ef43bc7026d32c45","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0939f83381dff6112ffa758bd12cfe4ff129a1e5","datavalue":{"value":{"amount":"+0.859532","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":"Q2015129$80152618-C7CE-480A-A03A-FBF7B377D042","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":"fa641b78b99bec280b00b5fc81a9de37bcaadf95","datavalue":{"value":{"amount":"+0.85661197","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":"Q2015129$C9196046-DCE9-4ADC-9149-65637A31EBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7d2b4906eb35498ac493f6e45dc5961f495c16","datavalue":{"value":{"entity-type":"item","numeric-id":4630270,"id":"Q4630270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df8305e63fae6a6d2e17b3a8d54f20621a177c4","datavalue":{"value":{"amount":"+0.8546383","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":"Q2015129$14AB070D-E6C4-4E3B-A740-14967330EB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9fa2399e874e19344e04843c3ed2cedaa6d45","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60946743e06e7f3eef24aea9ca36ffee0fd122c","datavalue":{"value":{"amount":"+0.85077274","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":"Q2015129$DD998CAC-A922-4ECA-AB13-554BDCA7B7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d9916cb77803f0f151d37e5069cb3355d98ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1825044,"id":"Q1825044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b59ac05df55e0de2b1f4381aebf37b0ba4151b","datavalue":{"value":{"amount":"+0.843322","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":"Q2015129$FDE097F2-9E02-468D-AA20-7DAFB0A3EF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20875a5acca8ecb83c7711f2d04422201b11ee68","datavalue":{"value":{"entity-type":"item","numeric-id":4941150,"id":"Q4941150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a41b56451e3a3cbb1ecf4754b8180edac2c023","datavalue":{"value":{"amount":"+0.8425995","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":"Q2015129$AE78C329-FE74-4D15-ADE1-E7A6362BD60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2015129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2015129"}}}}}