{"entities":{"Q6842458":{"pageid":20551462,"ns":120,"title":"Item:Q6842458","lastrevid":84284204,"modified":"2026-05-14T15:40:26Z","type":"item","id":"Q6842458","labels":{"en":{"language":"en","value":"Two variable logic with ultimately periodic counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8174016"}},"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":"Q6842458$7C09FE0E-7D29-4E7F-8F38-7EF7CF71D26A","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":"Q6842458$0C422107-9E3B-4312-87A4-D82D904FA260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0ddfdc3d78f8bdf8e8edda3306d98225ea19358","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842458$00C1EEFA-E801-4E19-8634-39E5A7023CBB","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":"Q6842458$34C778D3-925A-491B-AF86-A18811B92773","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":"Q6842458$085D52F5-64FB-4000-8FBE-ACE5BF9DA07C","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":"Q6842458$BB029675-D337-42C6-A4A1-C7689A420557","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6842458$13427DCF-4929-4CA8-BC3E-5733AA3EFF51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842458$3E4E7201-54B7-41DA-81AB-A704888E8B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842458$CBDC78D8-D663-4D5C-BDBA-BEF035C58EA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c75802e803e94245667d77825ec5b0f6c60a1be","datavalue":{"value":"8174016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842458$EF095A2A-9A22-40F1-AC5A-95C3639D99D6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842458$76F18CB9-01CD-43BF-A440-F96D97AC1047","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842458$79AE8E58-82F3-4436-81AD-06906CD2D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842458$02348F09-74FE-4345-A128-25A62AEA7437","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":"Q6842458$CD4FE085-6DD2-460B-8ED6-65DAF4F5F62A","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":"Q6842458$96344315-AF6F-4941-A415-E9E5A90CC70C","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":"Q6842458$8FE84C0C-0D0D-4CC5-908D-C373912312E5","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":"Q6842458$BC2E27A6-84EA-4CC8-8190-1E614C084E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286eb472d88d6e763ebec004c52b5ab35cf7cb17","datavalue":{"value":{"entity-type":"item","numeric-id":5222957,"id":"Q5222957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842458$AB99C32E-3649-46F2-AF56-F31BF08348EA","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":"Q6842458$B72B8D9F-A096-4412-8D44-7E3E68681A07","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":"Q6842458$E8AF11B9-1FB9-43B9-868A-50E91F2EDC02","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":"Q6842458$0833E27E-70C0-44C5-8D0B-2B9FEB3104D7","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":"Q6842458$CAB3F50D-6480-43E1-BA92-B2A4AB983EDF","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":"Q6842458$BDECD782-C831-4A00-AB9A-E9ED4C071849","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":"Q6842458$27AF6A22-5F4E-444C-9AEE-8E8D214B951B","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":"Q6842458$A4564354-24A0-452A-800D-BB343B5BE22D","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":"Q6842458$B128CF70-E7A0-4CC7-B900-FD98D2243091","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":"Q6842458$C22C1258-FFF3-4787-9D9F-AF887E9271D2","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":"Q6842458$D93871E5-0871-436A-882E-AA5D8F475C73","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":"Q6842458$8AB75F6B-7B52-4BAB-9455-A879478EA692","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":"Q6842458$A5A8B6F0-B1B7-4645-A738-03EF9A648F03","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":"Q6842458$628DF874-0E80-4E79-BA83-E129E0559D53","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":"Q6842458$D7D4DFB8-F301-41C9-9127-DBAECF2A9515","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":"Q6842458$61248EA9-6EB9-42F3-AD08-EA5E89DD1CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two variable logic with ultimately periodic counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_variable_logic_with_ultimately_periodic_counting"}}}}}