{"entities":{"Q6573777":{"pageid":14184932,"ns":120,"title":"Item:Q6573777","lastrevid":42357124,"modified":"2025-06-12T18:18:06Z","type":"item","id":"Q6573777","labels":{"en":{"language":"en","value":"Two variable logic with ultimately periodic counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7882245"}},"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":"Q6573777$E50B5E32-740B-4D93-99C8-3187EABDAAB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9965a649d4839ad02208c4f7d0a3ae6459cdb697","datavalue":{"value":{"text":"Two variable logic with ultimately periodic counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6573777$22D98D74-3CA7-410A-A0D1-E5CB9DD667F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$05CD4C68-0CDA-49E8-8CB0-EBE2D757930B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7561eee339ddb2b90c74e6044fcf3f56049dbb","datavalue":{"value":{"entity-type":"item","numeric-id":269722,"id":"Q269722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$F846C8DE-1634-4793-8D00-B4CDE3DA6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$28FC32D3-F141-401A-B380-B0861768C814","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$FD9D66F9-4589-413F-BAD5-874934152C11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84e83cdaa7774f8e95df4f03e50b440b804f20a3","datavalue":{"value":{"time":"+2024-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6573777$6C723EE4-A0E9-44F4-BF6A-AD9C24A90EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573777$CE52D668-39D5-4632-86F3-9D595DF1585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573777$C31C0620-05B6-4C7C-838B-894DAE6604E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573777$B9128411-C708-43E2-B7C6-34E036FE064D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79804a8adbf12ca15d5998721fceed9d50372ca7","datavalue":{"value":"7882245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573777$B84E9837-35F9-4531-A30A-738668316A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6573777$6BAC18AD-A88F-4ED9-8F89-BE560E1DC9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6573777$2A2CF0C5-0DEF-484F-AB3D-5F5544EBACF6","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":"Q6573777$60790B8C-946F-4874-B040-887257864326","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6e0c9ca8a16586175ee8d929b1475e6be3093","datavalue":{"value":{"entity-type":"item","numeric-id":1687537,"id":"Q1687537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$CC98BF68-5018-44F6-AB54-B01441E83043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6ddd1b76a32b174521fb23baada37fc067560d","datavalue":{"value":{"entity-type":"item","numeric-id":2007734,"id":"Q2007734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$55D75E99-2E7C-4E5D-B853-445911E4C3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8409c1b3652f0ff552694602cb43b69764351611","datavalue":{"value":{"entity-type":"item","numeric-id":4999259,"id":"Q4999259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$A1AA0799-0A01-4ADE-9AE3-ACE6C8F84493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c468ae094785548dcde75a078562b6b560214a","datavalue":{"value":{"entity-type":"item","numeric-id":6187052,"id":"Q6187052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$B67141B1-A5D0-40CC-A56E-BE8010B5E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$363E49E4-2419-4C01-9BC7-F1E2F4FF3525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a0c20658d52692a35b482a0d99019a4c8cb225","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$F8C19554-CF4C-4637-A229-93FE51093111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d725ee5f807cfbf08e422a4304ee2e6a3b9ed68e","datavalue":{"value":{"entity-type":"item","numeric-id":5278191,"id":"Q5278191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$C217BF43-2BA5-4C7D-91FC-C6A27EE607B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$A90F0B5C-0D77-456F-AE39-5851897A947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cede0ff806d98b3c150a87a9307eaa595358afa","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$FAAF34AA-F99C-4BD0-AA5F-5F43A2F99A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$61C2D152-C3C4-41D2-9ED2-36C4A1002FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$7CE101A5-3D99-45EF-91FC-772DA0E71873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$79298D2E-73D9-460C-B62D-37D7C667F598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$48BB47C8-E5BA-482D-9A71-E321EE92603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$D5FCF06A-3FA3-4F31-BE5A-E4A5870C8998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d1d7e2fb2503f881bcd0b1b315d789d22ec2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5258916,"id":"Q5258916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$1FC7FEFE-040E-41D9-89F3-60C55568635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fabd957957d15bd966d434cf5d049114b63c32a","datavalue":{"value":{"entity-type":"item","numeric-id":4888627,"id":"Q4888627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$7202C64D-4846-4A6A-9243-D4BF64D8626B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278276176b213e20723f5199a3fe875c19d6492","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$F18CB46D-D613-4F62-8792-B1473C8785D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$26553361-C060-4E49-B64D-0D50E3B89131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900bffeb0fa39cad78b98f0ee33fe60626b797e","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$18829227-C21C-45B4-9919-0A08C64B085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$CE609EED-AD4A-4601-9AD9-0AC3D945C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$72C66D48-54C5-4F36-A411-AF88AC1B65A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eb569b3d29a4b85e8e04fd194e19bee13c5c5a","datavalue":{"value":{"entity-type":"item","numeric-id":3437261,"id":"Q3437261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$84BAEAAD-1974-4B95-8741-77CDF5834E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5650c4e4fa8a532b90079a68af401e1af143155f","datavalue":{"value":{"entity-type":"item","numeric-id":2389348,"id":"Q2389348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$AC1D578D-D95A-4F28-9567-F2D639DC5D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29cac0f07e33291d0529245afbf79c4094ee1d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4931588,"id":"Q4931588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$2658908A-1EA0-445C-AFA4-CE9AB14E7253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b385791b5f19cf0803fb8b62a394b0fef7fade8","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$DBE8F7E3-213F-422C-B9D0-20A392DDC836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bda03a5882747a1da8ba6c55aae5a08950ed16f","datavalue":{"value":{"entity-type":"item","numeric-id":5871044,"id":"Q5871044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6573777$8293A857-0ABF-4203-A36F-D636F73C2361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34c04d2bd753e92ad09ac8993ae6959d7fe10923","datavalue":{"value":"10.1137/22M1504792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6573777$ACB96342-A4D2-46FF-B058-94B301C2DE67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6573777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6573777"}}}}}