{"entities":{"Q6091196":{"pageid":13225503,"ns":120,"title":"Item:Q6091196","lastrevid":98796218,"modified":"2026-06-05T18:30:30Z","type":"item","id":"Q6091196","labels":{"en":{"language":"en","value":"Unboundedness problems for machines with reversal-bounded counters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770340"}},"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":"Q6091196$C13909EA-5486-483C-B3E0-3B49370EA230","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161230df52a04f62dc71446fe957607b29935846","datavalue":{"value":{"text":"Unboundedness problems for machines with reversal-bounded counters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091196$928C43B2-78D5-4C25-A5F3-DC87D50D8523","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fe398206f3f955f0ec4999ba9337f9f54ede274","datavalue":{"value":"10.1007/978-3-031-30829-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091196$AAE953BB-12A6-4D0F-A7E1-F2CE7FA00C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb75d309cc5a8735b9305cec5986873617c0952d","datavalue":{"value":{"entity-type":"item","numeric-id":6091194,"id":"Q6091194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$4947D1EF-209A-4CF9-BA80-9E40B1AB25B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"234384bf5a815e62b76e6d825c0d9c9a82ab643a","datavalue":{"value":{"entity-type":"item","numeric-id":476874,"id":"Q476874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$6F9D6882-1D85-4402-84A3-79A149948DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2526676e7f7329cc9635203c2b68a2a96851cbde","datavalue":{"value":{"entity-type":"item","numeric-id":1647671,"id":"Q1647671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$F8C22A16-A36A-43D0-A0A5-C9618C3D1109","rank":"normal"},{"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":"Q6091196$1FC680DE-1495-4848-ACF7-B1F2AC175A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaf226bed97fcfbb2e029b3cce0c0d7a70c7768b","datavalue":{"value":{"entity-type":"item","numeric-id":265079,"id":"Q265079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$9FC1D982-0BA5-4AEA-949A-75C74B0AD114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adea6bcf7db8058f76b6c31b28eb61dae8638020","datavalue":{"value":{"entity-type":"item","numeric-id":6091195,"id":"Q6091195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$C37AC2A3-E8F3-41C6-B3B0-337DB4BCEE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$CA9754DF-84F8-46C0-8535-FCA4C284F551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$75839D1F-E4F5-427F-8CAB-7C77099C1B12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091196$3597A3DF-EBD2-4457-BFEB-CBB7C4CFB49F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ed1df21c6caf8d9b170b95ddc5fc003877a7e33","datavalue":{"value":"https://arxiv.org/abs/2301.10198","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091196$D2E4E6FF-203B-49D3-903D-33C9FF8181CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091196$A59D7B36-6C78-4A40-A4FB-A63C3878C30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091196$674E2D33-2E13-4E43-8FA3-0C1A2960D1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2a4f6c024ed59f419eba47a88afb448d328c1c","datavalue":{"value":"7770340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091196$6CF8EA18-7DD9-4D0B-BF78-7C4B975B6118","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$7C35B5C4-3E9D-42A5-AC0D-C642F3A02D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$33302CE2-3057-4166-B3B3-903F04735C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$042FD628-3B29-4886-AE20-EBC525C5EB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278889c234cf01d7d5e7d0a30acad59211bfe558","datavalue":{"value":"counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$D051F60C-B3D5-4C01-B1E4-7AD17B7C090F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9801c1070d01ff661f97c15ecc00d18398452d90","datavalue":{"value":"Reversal-bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$4AF684D0-7CF8-4996-ACFD-C6D161956B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b1e70ae1fc70c62ecf8fa1ba16f6ba46bb9905","datavalue":{"value":"pushdown","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$E9C18C8C-E6BD-4731-9267-F74D20812DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$6FA252F3-FD62-4167-8C2B-C91F91BB19FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df168f0bdd8dbc719e92ab45831e22a078dab8b0","datavalue":{"value":"unboundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091196$169EE86F-CB06-4FE5-9B69-8A441AD86059","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":"Q6091196$0BD2EE76-E4CA-48B1-9FB8-E56B78A5D6E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"476596309615de1b05df3141ad8589e05febeb49","datavalue":{"value":"W4366547923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091196$0842883F-640E-4692-9425-81967CAD2F81","rank":"normal"}],"P223":[{"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":"Q6091196$B4FDF582-F3EC-4285-81C7-C6A1ADE5630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f0de5497e29a792dde9baeb96fdbaf8800e38b","datavalue":{"value":{"entity-type":"item","numeric-id":6044492,"id":"Q6044492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$F7A64DDB-F7B9-44F4-92A5-C6F387AF025A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3629762934303b290f6d2704dd128fb650effc50","datavalue":{"value":{"entity-type":"item","numeric-id":4649455,"id":"Q4649455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$6A534B16-C3CB-4979-9191-98436A63C8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543caadc26f919c00437b306634d6ddfc00d8c87","datavalue":{"value":{"entity-type":"item","numeric-id":2841977,"id":"Q2841977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$35B9730E-6258-4023-B44C-27F67D6D1127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376863148483bc0fb86af2b2b2865bf5dac906aa","datavalue":{"value":{"entity-type":"item","numeric-id":722218,"id":"Q722218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$075EC7BC-04C3-4D32-AFBD-C57255BB23C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3c8891b56fc634226f60407a51128fd73db51","datavalue":{"value":{"entity-type":"item","numeric-id":1998865,"id":"Q1998865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$358C62B7-E59C-47B7-8970-910D52A8E823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a09fe51bf6135aeb991be40b4ffa5447546f767","datavalue":{"value":{"entity-type":"item","numeric-id":1112611,"id":"Q1112611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$B81EF81B-5174-4B2F-A30B-6CEE4DD9FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce33d64f780e403cd770ae6d3fbf4629ba30f834","datavalue":{"value":{"entity-type":"item","numeric-id":5111449,"id":"Q5111449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$3756A289-C071-4C0B-83AE-D0B1B4EC6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4630cb20bffc3b123eef8415d7aeb24d2bdd3bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$DBDF6406-D5E6-4C66-9119-7CD42593E8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65ae3a5dbadbdd96adccfd553797067c2cacc1","datavalue":{"value":{"entity-type":"item","numeric-id":5002804,"id":"Q5002804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$7FABAA31-FF75-4A2B-B5D0-777FA106DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037a87a9e22feeb786799318ec9f4fffc713078d","datavalue":{"value":{"entity-type":"item","numeric-id":2257288,"id":"Q2257288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$5088EF58-0798-4CF1-8A80-A67318050147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7fce50babd07745e63f8663c4ebb5fb781e4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3451105,"id":"Q3451105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$AE7F051B-6FF1-4FE9-A414-A8AD107B2F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1039a4c84eb42ff381f0cc0ca8d6fcc1b1ef13ca","datavalue":{"value":{"entity-type":"item","numeric-id":4640039,"id":"Q4640039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$E6F99F45-D010-4521-A59B-F9AD7957F4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$0C4AE119-F583-454B-B5D2-5A6523AB567D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fa4157a77401eaaa0f2c0bc81e465456535a04","datavalue":{"value":{"entity-type":"item","numeric-id":2986805,"id":"Q2986805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$1A76F836-4B6F-4AA5-B66B-706E4ECB73E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65767e4e62083497abfd04971a6e8d39e3aca584","datavalue":{"value":{"entity-type":"item","numeric-id":1605318,"id":"Q1605318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$B38C4035-F09B-43BD-B5A1-0BC214152B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7b1a855e4e73fbe0e3dafbbe91fd436cb69260","datavalue":{"value":{"entity-type":"item","numeric-id":5875675,"id":"Q5875675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$7A64B806-296F-45F1-897D-92333CBFB0DC","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":"Q6091196$A5ED1986-A0A8-48BC-8FBF-CB53A91C246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6cd82a1d78efe0e8663662c5bdbe2ef5b80d95","datavalue":{"value":{"entity-type":"item","numeric-id":3586406,"id":"Q3586406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$FE4367E4-4460-43DA-BA7E-36330503083F","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":"Q6091196$34606DA5-DD43-43FE-98C9-54822F33C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c275f00bd2b1625717370185ca0dbd8464de5303","datavalue":{"value":{"entity-type":"item","numeric-id":1251070,"id":"Q1251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$71B8606B-59BF-437B-A085-774298B6CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ef1cb7cd04e966ccb1ae19910e0aa4c051b035","datavalue":{"value":{"entity-type":"item","numeric-id":1285594,"id":"Q1285594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$3D54EF0C-6206-4D25-9D25-EE43ADF0835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$6AAFEC68-8CED-458D-B53F-D0907D4EF0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$77D4BF77-7071-49AC-B4D9-24F033139823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f432a378a2a52eb6368f54838cec386ee473cf","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$DE62F0D0-3A38-48D4-9CBF-F6BDA9341589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7e382b8d9ba21624462e67ab02e3dfc00b110","datavalue":{"value":{"entity-type":"item","numeric-id":5144688,"id":"Q5144688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$F50BE9FE-1528-478C-AABA-E5D36AB36AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8568cde47d1cbd9f4ac52d0da01fec6a7858ab15","datavalue":{"value":{"entity-type":"item","numeric-id":1222965,"id":"Q1222965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$4552BB8D-6ED4-4718-AA80-7311F7097AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bce5a2b54bf78cba26667c17a478492ba26eaf6","datavalue":{"value":{"entity-type":"item","numeric-id":5569456,"id":"Q5569456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$D32E67F5-81EA-4603-A558-32E050E37F8A","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":"Q6091196$7EC046C8-0E82-47E1-A1C2-58AF00402833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2631bdda72c0ec46e1523c6d35212267852671e","datavalue":{"value":{"entity-type":"item","numeric-id":3742754,"id":"Q3742754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$16A626CB-AFF6-4490-86EA-3E1C07A5821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03869378e3776038fd1cb927d0a8d7143147780f","datavalue":{"value":{"entity-type":"item","numeric-id":4923281,"id":"Q4923281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$A9F34B2E-78AB-45D3-B582-EDFA8EA3CA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6041a480921e1f5316d9caafb85b6e72750ed7e9","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$A7DEFEEC-2B67-4487-89ED-40A839306C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2f2b2cb7cf8952d57f2729b6383231bdc223ff","datavalue":{"value":{"entity-type":"item","numeric-id":1427852,"id":"Q1427852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$95489561-AC25-4F00-9BC8-CAB297582589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20d0c59e7dd6e80dfeda3e37f20a9bbf0232efa","datavalue":{"value":{"entity-type":"item","numeric-id":4449212,"id":"Q4449212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$63C6F6CF-693C-4194-92B5-F4B6EBD46376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23f1071eb367a0230fda4bd4da7883391a9c31f","datavalue":{"value":{"entity-type":"item","numeric-id":2422040,"id":"Q2422040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$9D5DAC9A-C064-4F56-8CD2-188AF7D2C2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f51663ccd600014e842d4cbd05dbb5d9909d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":2289086,"id":"Q2289086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$4BC07419-5F29-4C18-8A7E-5A95FA034162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$4233BEBE-804D-4530-83AF-9B7406641F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085e89af12340bba39e85eb73f932d436c3fc4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5207052,"id":"Q5207052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$590B3250-1A5C-418A-BEE0-39A80A126F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$0DA32344-4371-4A02-9528-4B6734E49C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df06d47d21d3fe3b7538e97ca0c134fe6625460","datavalue":{"value":{"entity-type":"item","numeric-id":4601852,"id":"Q4601852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$941F8D3F-6071-408C-AC07-4421D9B01249","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":"Q6091196$F720FB9D-A287-40EF-85C4-41EB235B3D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28032eb071748a84d01b4c7034db1f92de14d31a","datavalue":{"value":{"entity-type":"item","numeric-id":5136337,"id":"Q5136337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$8BBF3242-AF15-4358-A2BE-A0D7CCABADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22181873dfbb996a0b605daf51c75714bfc3ef9e","datavalue":{"value":{"entity-type":"item","numeric-id":5055757,"id":"Q5055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$984BEBFB-081C-41F0-8D9C-EFD6FE90D02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c7a786d50b61b81c837f107881a4b9a94a2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$BA058918-2738-496C-AEC0-18DB909897D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8786f641875749064af4d37b49188815d546b","datavalue":{"value":{"entity-type":"item","numeric-id":3449495,"id":"Q3449495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$D3E1CFDF-205F-4189-AFF0-5ED8995BA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2379d7cc09fdc737cd9cb3fbcc6001d11cd8011a","datavalue":{"value":{"entity-type":"item","numeric-id":4598265,"id":"Q4598265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091196$08BAFD30-C9A9-4D9C-BCD7-73C79441F687","rank":"normal"}],"P1643":[{"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":"4cbfa1f0f418f6adf44d48c2cafe8f9c513375b8","datavalue":{"value":{"amount":"+0.9260013","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":"Q6091196$3E714B35-3B02-42B1-AE79-7561BA7E14CF","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":"42891526e73b30fd8db3547aaadaeb111b85cd9b","datavalue":{"value":{"amount":"+0.91693443","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":"Q6091196$96BEC135-0E5F-4F45-AD45-DBA365EDAF9E","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":"42891526e73b30fd8db3547aaadaeb111b85cd9b","datavalue":{"value":{"amount":"+0.91693443","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":"Q6091196$FB54E7CC-7F01-4D05-B053-73139C23469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66a535c7ffbceca90dc4327df6ccc714099cfd0","datavalue":{"value":{"entity-type":"item","numeric-id":3702514,"id":"Q3702514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4cf47e31227efc85f785bfb5a009f5fe93a19a","datavalue":{"value":{"amount":"+0.90857565","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":"Q6091196$CECA452F-7E9E-4111-AD1D-D46C3993A0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95233dd9f5e671f52527e031446fbba8db3f2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1094884,"id":"Q1094884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31690af7161dabf5a062f8e831b9ba59deb6259d","datavalue":{"value":{"amount":"+0.90132755","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":"Q6091196$78C00B69-6733-4B57-B611-4B60C67EA2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3053354b98e5da52014cb3936fe8ae37d4691ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3830987,"id":"Q3830987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2a405b3e8e8d43d4c91a42d24a928aa4c81105","datavalue":{"value":{"amount":"+0.90055454","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":"Q6091196$565A6837-68C7-4F5F-A028-DEFBEFC75860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0d1e30e4e2477744be6a392afe05e3133a20d8","datavalue":{"value":{"entity-type":"item","numeric-id":3740236,"id":"Q3740236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20cfc1b8cf3f147b2e41928d6d2eeb18c567843","datavalue":{"value":{"amount":"+0.8976328","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":"Q6091196$EE37EAB0-768C-4816-BD14-207B52D758AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fcaf59a04b8d34287efec81164ecbf8520d1dc","datavalue":{"value":{"entity-type":"item","numeric-id":1094140,"id":"Q1094140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20cfc1b8cf3f147b2e41928d6d2eeb18c567843","datavalue":{"value":{"amount":"+0.8976328","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":"Q6091196$B3CF750B-B9FC-414D-8AD1-06EC3FE35643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561a556981847876956a9e851274c07126fe49e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496173,"id":"Q5496173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c53b610b1e87d26db9f4e3569b3cf91be1f1262","datavalue":{"value":{"amount":"+0.8892006","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":"Q6091196$2265F374-0C99-4011-B595-88FC67A9B727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1680e11224a81d36b38cd30ffafdf480aa80a21","datavalue":{"value":{"entity-type":"item","numeric-id":1102114,"id":"Q1102114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0147edbcc5d2a7272a241df0fbca1e0abe74ac97","datavalue":{"value":{"amount":"+0.8883855","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":"Q6091196$616421BE-D2F6-4A2F-BF6B-6C065BC3DBA7","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":"Q6091196$7D9BD7C5-9637-4B35-B52A-E87B718C40BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unboundedness problems for machines with reversal-bounded counters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unboundedness_problems_for_machines_with_reversal-bounded_counters"}}}}}