{"entities":{"Q1853523":{"pageid":1864265,"ns":120,"title":"Item:Q1853523","lastrevid":74321928,"modified":"2026-04-14T19:31:46Z","type":"item","id":"Q1853523","labels":{"en":{"language":"en","value":"Counter machines and verification problems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857060"}},"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":"Q1853523$A41F13E2-5B9B-4F9B-BDC2-B776AAC93D5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53eaa1dfc34e0df05e27ec307933644f74dc91b7","datavalue":{"value":{"text":"Counter machines and verification problems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853523$992352AB-28B7-4715-AA32-B18E60C3DCD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aac21169d5a08cbe13aa87ba3a1e597aa257ff0","datavalue":{"value":"1061.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$5BFB4FAB-62AF-4C70-8393-0D157A6FD88F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34b3472ec776e7ffadb09b10f7abebfe5e930e7f","datavalue":{"value":"10.1016/S0304-3975(01)00268-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$50FBE883-66F2-4CBC-B4D8-84174584B804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$9B3C63E3-1BAD-43AE-8029-3E08A9BCB669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7f46f7e898be762c100de5b315dd4eb1b625552","datavalue":{"value":{"entity-type":"item","numeric-id":672738,"id":"Q672738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$B3BEF36A-D0FC-47FC-B828-3949463A02C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$1F9DA029-BA1B-4107-82E8-B0143EBC118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$98B86909-4746-43ED-A9B6-703F389D1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$AF8893A6-04F9-435C-B42B-869B6E0C5AC5","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":"Q1853523$4EDD4F85-6661-41CF-8AD6-A5EBCD90718C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-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":"Q1853523$B76F4BF1-513B-4F42-AB9F-C15CADB81E5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$5CABD881-E1DB-4EFF-BE19-4A8D7D271BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$7BDF2CCD-209A-4E72-83DC-20D31B97986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$327C8EB4-4724-4022-B247-CF81041D026B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132c12eb1f05dc4ea4492fb3fe3bbb24849b6479","datavalue":{"value":"1857060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$5613662C-D0DF-47F0-AA13-DF74BAD02284","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20099646c68e0aba76c7db6acb8ad390030cf2e2","datavalue":{"value":"Counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853523$E33CEC75-D1CE-4218-AC8E-F3D93AC5B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5b1cf7c5bf61fbe0765b3642c87185a78c9f8c4","datavalue":{"value":"Automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853523$E118A1A3-BCF8-48D5-8B06-49666781DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59730cf7818c892312636bed117bd3460e24595","datavalue":{"value":"Infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853523$14B4E4D7-8102-47AB-954B-98C6A1594EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853523$D83A6692-6577-4F0C-85F4-853085014826","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$6F8E97E9-CD5A-498E-BE1D-9B579B0E5DF3","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":"Q1853523$55C0A043-0ED0-4594-9451-CB240912B70D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$45889E88-01AC-4FBA-AAA2-92AB2D80FB3A","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":"Q1853523$ECDB3CE9-FD8E-461E-9CB8-7B27B0974A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b059df79753dba48fb66fda4ddb1cf3fa023547","datavalue":{"value":{"entity-type":"item","numeric-id":1219160,"id":"Q1219160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$3A58F91E-68C9-4B88-9F3E-786D6AFEDB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$9A6F3C3C-55A7-483E-BE33-247AE7A236ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a97cbd9c220f9e26357aa338afd6a64b98f80","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$AB649C15-71DC-41A3-951E-29C42FC9C703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da955fd986994d622ff42c86830cc6ba9ad32393","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$1A942F6D-15B3-4560-BA7A-DA2A4231A967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$DEE8A966-0A13-4A9A-A2FA-03B15F355BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6facdbfd57f59bbf3890e7a6341ee0b6944e23fc","datavalue":{"value":{"entity-type":"item","numeric-id":4501546,"id":"Q4501546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$4BDB9832-A497-4B81-B225-D1CFE33DDA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$15623F20-5078-4229-9751-4365EC598FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdad79c7872e404e711cb8be9d678452ceb585da","datavalue":{"value":{"entity-type":"item","numeric-id":4194462,"id":"Q4194462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$0CFB29A4-C49E-4FE6-BA80-03AC26EFC9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3adf4d1940f3bce106b55e4e0cf50a5f88f38e","datavalue":{"value":{"entity-type":"item","numeric-id":1136223,"id":"Q1136223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$AE31CF53-2AD4-489B-A188-777571A6C513","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":"Q1853523$ED1063E0-4AA8-4F92-8F57-1EF07B1E8DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$689F9659-1107-40F3-A779-C485C60F1851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe39f5467ab8d58a80c073a71fb157d82ebf590","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$9C4F9A5C-1842-47FF-9725-99C170ABBD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$F89D41F6-FC1B-40E4-9391-25254138E5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$F85466D9-89AC-4AEE-963A-45056A2F13C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$4416AACF-0418-4A09-B00A-470F44394E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d668c3538345487e0c265ecf68f834af72514c","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$5BAFE470-02E1-479A-A1FD-D3F1901E2916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853523$8DFD2FAE-03EF-4FB8-8099-6D757BE30B3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd37c8bc57794335c1ff6947109390a46326451d","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00268-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853523$65E8F3B4-D4E8-427F-8F28-6474E7330753","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"345fd750a57604611859f1cefe994a4d529d1a7b","datavalue":{"value":"W2033058983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853523$E2A683F8-AF22-4385-9381-89CEBFD49B17","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":"fccb9c77f8ae6b0e047c2574c74328ff1db9ee6e","datavalue":{"value":{"amount":"+0.8990514","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":"Q1853523$A8601C3B-93AF-42E4-AF12-9BB2BB82FCD2","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":"e1d1126c5684cdae8d18c5faa604834e61d6b117","datavalue":{"value":{"amount":"+0.8474381","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":"Q1853523$3B3A6A47-36D9-4774-A748-E2F1D17713E5","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":"e972c0ca07df43e5fbaacde0067caf245e6550a4","datavalue":{"value":{"amount":"+0.82820314","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":"Q1853523$74C7D3A4-F964-4BAB-A06E-8E0E5884A637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063af71e98796c20f5b66b074c5191a3ed0ce5b6","datavalue":{"value":{"entity-type":"item","numeric-id":4420787,"id":"Q4420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f96ad778c59790131d51f5f5a632249014fe858","datavalue":{"value":{"amount":"+0.81692237","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":"Q1853523$F7A94B3A-747E-49AC-A0B4-B86BFD78C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c427bc79d3c30b1641cb74a3cd56f52d1ee122f4","datavalue":{"value":{"entity-type":"item","numeric-id":2915109,"id":"Q2915109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3eba1c5901f1561ab85e890dc891889287cd6b","datavalue":{"value":{"amount":"+0.8075448","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":"Q1853523$9763D23A-5329-4FAC-AA67-87A4D322A45C","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":"50a205667d33b04618c6c5a3c2a234fc5e5ff1dd","datavalue":{"value":{"amount":"+0.8037919","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":"Q1853523$6E7FEB48-52F3-47A6-8D9F-0A9E46827AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b589f87e4db1a7c1e984bb6fbd0ec08caa2daf74","datavalue":{"value":{"entity-type":"item","numeric-id":5122009,"id":"Q5122009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96536a7a0837af7fb771af399ec5e74f16d025a7","datavalue":{"value":{"amount":"+0.8020374","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":"Q1853523$4D005880-0337-48FF-AFC3-55A3E4F136C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c21eb5f1c98922f7f545812e2f4ed99b6ccc605","datavalue":{"value":{"entity-type":"item","numeric-id":517037,"id":"Q517037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071903a53c6185eeb52b5c6d0878b1592cc184fe","datavalue":{"value":{"amount":"+0.7978014","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":"Q1853523$52CC2A21-12D3-4150-8AB5-D4FD6375717E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c636da3f6df0db98ad3898751b71d2c79d534186","datavalue":{"value":{"entity-type":"item","numeric-id":3690258,"id":"Q3690258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59481a195a5a1b1320878ee45d23596d9d795f56","datavalue":{"value":{"amount":"+0.7939669","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":"Q1853523$54EF9431-C8ED-4724-8253-F07F73881767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counter machines and verification problems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counter_machines_and_verification_problems."}}}}}