{"entities":{"Q2007734":{"pageid":2018476,"ns":120,"title":"Item:Q2007734","lastrevid":72322341,"modified":"2026-04-14T04:06:47Z","type":"item","id":"Q2007734","labels":{"en":{"language":"en","value":"One-variable logic meets Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135128"}},"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":"Q2007734$4A1C2E1E-EDBC-4819-94DE-B5C84E06A40D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d83ea4d69a1e1080a7c58fc2cb067fbf1b118ed","datavalue":{"value":{"text":"One-variable logic meets Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007734$B648C164-556C-44AD-A403-BF2C9B5A42AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc7500933d9b3d8c13bd438ef4a1634dd13d4d9","datavalue":{"value":"1454.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$4F3721F6-FCF0-44A7-AC47-6CD131964CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007734$E4BD454E-C4C5-4DF5-BF64-D839D3F6C0E8","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":"Q2007734$D48FABB6-2C8C-45FE-9556-5517852AFACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007734$28FAAD9D-6196-4EDC-AB87-9D107A31DB16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ca08c1d6f8f3979904e4eebbb8ced37d1bd8310","datavalue":{"value":"https://arxiv.org/abs/1810.10899","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007734$DB5E3305-B5C6-4285-BB0D-F2DEA8853ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$3E7E6B3A-58F1-48FE-AFA3-1691755B8519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$56C6016A-E61E-4084-B403-140DFCE4B9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$129B76A3-84A0-46CA-9D47-EEE8CAC32DB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf5f8b64fad5e4b6cb9edeea2881d8f9d15dd0ae","datavalue":{"value":"7135128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$4E1BCFB2-85D7-4238-AF43-751B29F405FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007734$4DB04FBD-D90C-49A3-943E-366A8D43883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007734$ADD4F1F8-7A1B-459F-ABF6-5EB4A87A6ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007734$A1FB0BCA-00AD-4C85-9DD9-C27DBCA68C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5006a9920f4095d0164c81800402e769b3f84a37","datavalue":{"value":"classical decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007734$1DB55695-5D40-47D3-B4E7-E525DF340D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966d24acfd450b601a0bddbecb88b7c02ffa08ac","datavalue":{"value":"arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007734$9B0D05AD-D2C6-48B0-9E07-884DE4412F91","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":"Q2007734$164573EE-975F-4837-B2AE-4C1E2D8314E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f50888100481ffd59bcf4e40c380d0012fef8ce","datavalue":{"value":"W2975157560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$A65F41CD-9C81-4E21-9C2F-AB9E7102DEC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2a65c951acc9cb9bf928a795051973479ca7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4577743,"id":"Q4577743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007734$89073331-1927-4125-A9F4-727E4515DA52","rank":"normal"},{"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":"Q2007734$49FF8365-10C8-4976-93B5-5A9543FB9362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e876ff67df10cc936cb792ccdfd3dbe5b282dff","datavalue":{"value":{"entity-type":"item","numeric-id":1074620,"id":"Q1074620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007734$4D733BBF-411E-4426-9319-08AA31FA1ADA","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":"Q2007734$72C2F17B-B464-415A-A046-40AA9650124A","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":"Q2007734$D2EA7DB9-8C9F-4039-9F91-9784699ACE43","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":"Q2007734$8471A100-1542-4FE5-927B-2419094AE8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946fdb05a1b2cdc6c5e8f1eddefe4e92f4cbf919","datavalue":{"value":{"entity-type":"item","numeric-id":2947894,"id":"Q2947894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007734$F6DA69DE-9EBE-4D87-A3E4-953DD0D045BC","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":"Q2007734$4A357935-BB61-4312-9494-C5ADF94C1C83","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":"Q2007734$47A62CF2-EA52-45AF-A7BA-FF6D4AE11EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9707e88243560477db8c209ae075d90b292b8470","datavalue":{"value":{"entity-type":"item","numeric-id":5387294,"id":"Q5387294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007734$A931E1E9-FF41-488E-AEBD-EB1C827CBE48","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1dd623b992a03336b70f17589ca24142935fb62","datavalue":{"value":"Q127218853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$392B0BF6-F514-4B49-B344-ADD305917127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1daf8b46ab50394593efa730b40013d0f7249a3","datavalue":{"value":"10.1016/J.TCS.2019.09.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007734$73251905-D645-4F25-B80D-C518F589C4BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7063c313b0e6a94cfd5f6c2cdfdd69b8e5340337","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263010f9fa5a3eaa2e012afe5717de7d58934afd","datavalue":{"value":{"amount":"+0.87762237","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":"Q2007734$C6610A51-F25B-4825-8BC2-87D3EE7C8446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ada152450deb91fa0c6568addd017fb55e8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e1aca22a43d53d4f6f58d192d32fc0456ab043","datavalue":{"value":{"amount":"+0.8775032","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":"Q2007734$2DB18C33-8A8D-41C8-802D-73C34BDC5166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b776ef8861144a32ebc28efe8a9d85b710b7885","datavalue":{"value":{"entity-type":"item","numeric-id":2560807,"id":"Q2560807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91348446c0522008f4f95856ee298c9b4c00bdf","datavalue":{"value":{"amount":"+0.877368","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":"Q2007734$403A9491-3143-4934-9111-87439AA7DEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62928df10a458e511f917d788646481f1373110f","datavalue":{"value":{"entity-type":"item","numeric-id":1076507,"id":"Q1076507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e99631e65cc541ac00bdd79c0195a2cbcc5329","datavalue":{"value":{"amount":"+0.8680227","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":"Q2007734$39459934-9D7F-40E0-AF89-4974E21F5790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195c5238d9d3aa5ef85bbbc3061e8242e9337f52","datavalue":{"value":{"entity-type":"item","numeric-id":2303581,"id":"Q2303581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c99f96183b1c197bc74bf5f3afe2f3d9a498184","datavalue":{"value":{"amount":"+0.86511636","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":"Q2007734$26096E88-EA6D-4DA2-A609-DEC0DFA73018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f4e6ebfa1e70192a844c78c3c46c7dff577c39","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17591acd0506db48a9b6816aff41a35ada734d52","datavalue":{"value":{"amount":"+0.8631545","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":"Q2007734$63249CCA-2C31-4A42-9B62-110238541C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b718697ca928d8c19ed63c7a311e86c047e483b7","datavalue":{"value":{"entity-type":"item","numeric-id":5402572,"id":"Q5402572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053dab2ad39f66cb451f1c58e9f5c82528d4efb7","datavalue":{"value":{"amount":"+0.86252373","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":"Q2007734$A2D403E0-1CD3-4C23-99C3-E6AF22C490BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a61e2c46df1de9eb5a2cbf279bf9fe379b5c085","datavalue":{"value":{"entity-type":"item","numeric-id":4255974,"id":"Q4255974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778907daba91ac929ff1e04270b376cbaf9242c9","datavalue":{"value":{"amount":"+0.860715","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":"Q2007734$EF8F0700-1EC0-4F78-9A01-2180177D48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487232138a4be79b274e9de8491e030da91a165d","datavalue":{"value":{"entity-type":"item","numeric-id":4645009,"id":"Q4645009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54f39275004cfdb7818d101bc8afe093507a3dd","datavalue":{"value":{"amount":"+0.8573075","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":"Q2007734$6B19EE68-D394-4CA1-A71C-1ADE9E038F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9ba87d1438699c39badbbf17bbc51bd9288a81","datavalue":{"value":{"entity-type":"item","numeric-id":5884949,"id":"Q5884949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadba1fbc4c68baddaea283a219a35d53b79839b","datavalue":{"value":{"amount":"+0.8564261","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":"Q2007734$C6813343-1377-4519-ADA3-616ECBE7E9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-variable logic meets Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-variable_logic_meets_Presburger_arithmetic"}}}}}