{"entities":{"Q5028423":{"pageid":7058000,"ns":120,"title":"Item:Q5028423","lastrevid":54220979,"modified":"2026-01-26T12:04:54Z","type":"item","id":"Q5028423","labels":{"en":{"language":"en","value":"Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471664"}},"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":"Q5028423$893AA372-4293-40A2-A860-E58CF2A4ECAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$EE7D3C66-AABF-4831-906B-0DC7E1BE416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$A3BCC682-0467-41A1-BB50-066D45BC5B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028423$C37E90E8-E1AB-43D4-9F46-AEDED17692F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9ab9cf83c0b9886c2e92ed53c4d7c7cbc93cf1b","datavalue":{"value":"https://arxiv.org/abs/2007.15478","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028423$90DE31E1-0282-4677-9BAB-9902ADBDD590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"985cae146207be7fd5c8a6e7e940cecee262d14d","datavalue":{"value":"https://lmcs.episciences.org/8632","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028423$3320F6F1-0FA2-4FB5-BD61-08131432F920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028423$0E8DD416-0251-42B8-9976-8DDFE4633CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028423$4D8971D6-090D-491C-878B-A370D85B1FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a607b491e40f640360cf14a7eb6ff6ae2118ece9","datavalue":{"value":"7471664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028423$C7E8A8CA-4E88-4107-A9D6-46F8FA9C158D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64db7ba32f2a0c7926ef95e0d36df690389d3809","datavalue":{"value":"acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028423$012CC272-1949-47CF-AB7D-26C8EDF28B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9b282e2f1a60ca466f0d48378e17d5a9cbda6c","datavalue":{"value":"word equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028423$3BD38850-B02D-4E1F-B940-02966C4EA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c12e1d672da49388798988eaf7a6f042ccd9d6","datavalue":{"value":"length constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028423$810635EB-0EA0-4448-A318-9DC3119F32AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4230593d842fcf6b4760e7840edb6e540f2caea","datavalue":{"value":"Presburger with divisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028423$617357F9-828D-4EE8-9313-62C9BCDC5AB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$B7BD6D09-03AB-41DC-BFAA-FFF4998D9157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9b6ed2a4717208bd87edcba8266a1421b187e25","datavalue":{"value":{"entity-type":"item","numeric-id":42233,"id":"Q42233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$05A98B3D-2A81-4BC5-8779-3AE779C44284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49ac22cbc7f1c25c9986192cc70681f40e0463cd","datavalue":{"value":{"entity-type":"item","numeric-id":31322,"id":"Q31322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$1C1FDCC4-0693-4CD0-9034-3204066FB771","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":"Q5028423$6E9E4DA5-B118-4B87-BBB8-8CF05C5BB60F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$6A603CE0-512F-448E-A5E0-85716CD6F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361bfce5076182fbddb1d2a63a09d5d71ad2996b","datavalue":{"value":{"entity-type":"item","numeric-id":5902108,"id":"Q5902108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$206C5836-4CEC-4575-BDA2-B85D5CF56703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ad425eda2ec3e60cfa7215c9358772c4b17acf","datavalue":{"value":{"entity-type":"item","numeric-id":2883118,"id":"Q2883118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$4DD52467-E1C3-46CC-A697-971D1FDDA231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$939A901C-4103-4046-BA14-A5AB89521F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4794088990133ea4bd7d79e5d4fc79acddad0d6a","datavalue":{"value":{"entity-type":"item","numeric-id":5111232,"id":"Q5111232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$A76C8783-4F20-47D9-94EB-BD49DA36D0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a65842a5e59559717123ae3eab702dbd6689668","datavalue":{"value":{"entity-type":"item","numeric-id":4941171,"id":"Q4941171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$D2F66A61-B05C-40D5-9DC3-B285C0564561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b90ce876afc6f420406572534d02a40f2727fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4406307,"id":"Q4406307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$DC45420A-89A1-4A93-BED0-A7EAFC1DE504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$718BE0EC-9CB7-485A-9A5D-EA84EB7B613E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac741c89220cd47e5d20a295f809bee30ead632a","datavalue":{"value":{"entity-type":"item","numeric-id":5673640,"id":"Q5673640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$D7A5ED8B-F721-428C-A62C-DA4784C013BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$01EEA90E-9F43-4700-8F20-23C695EB42B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a8ad599057ae6c5863b64653f9b2091fcfac5","datavalue":{"value":{"entity-type":"item","numeric-id":4635845,"id":"Q4635845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$75B28E05-0AA4-4012-A9A0-FC5168ABEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$776E42D3-9BF7-4C99-9391-7A81CA60E10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af662223b06d9481e94f6c048f61b13284d06015","datavalue":{"value":{"entity-type":"item","numeric-id":5613947,"id":"Q5613947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$E2C498EC-F675-483E-97A6-72D151A18D59","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":"Q5028423$F67257BA-F620-4FB3-97B1-B65BC3BD5147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$5C1F3030-6718-4338-8371-0685D39E1866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59ac119e876d85eb92b15c503e4e479fdd3777b","datavalue":{"value":{"entity-type":"item","numeric-id":4251053,"id":"Q4251053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$3626A5B9-2486-4257-8833-0E3934B0641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$1841A88E-BD31-4E5E-B4E8-037F49DAF5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385429da8af8729761b251b5329b444aae78e38a","datavalue":{"value":{"entity-type":"item","numeric-id":2248096,"id":"Q2248096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028423$9FF71602-55A5-428B-8BC6-B45B41396CD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3496d54b418502b7ef9fd284e492afeb0a0933b4","datavalue":{"value":{"entity-type":"item","numeric-id":6109598,"id":"Q6109598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b1afe0c8b2c52c368abfcf4343637a9fdebf78","datavalue":{"value":{"amount":"+0.9973177313804626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5028423$9D0E8F2F-CAA0-4791-9F54-AED4B934CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2fba806254e9b21db83ebb19f9a9ed99b861c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251053,"id":"Q4251053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4644ae451980ea1cfaf1a398d5cc21fde9dd900","datavalue":{"value":{"amount":"+0.8279772400856018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5028423$EA117494-8760-4D26-8261-E7A8D64F816C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa8cc9e2461ae78da40d3eac2cbc98891bdcd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4941171,"id":"Q4941171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3586f8ed8c7f09b4d6f0cee581077fc7dec76e01","datavalue":{"value":{"amount":"+0.8177947998046875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5028423$5AF1D12E-6356-4484-B825-B0ACD69FF626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5954841f33143b6a7a59d099e24406aaebd2a763","datavalue":{"value":{"entity-type":"item","numeric-id":5111232,"id":"Q5111232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3586f8ed8c7f09b4d6f0cee581077fc7dec76e01","datavalue":{"value":{"amount":"+0.8177947998046875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5028423$C8A1FACE-6318-43FB-91E8-5DADF8636C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57801161d798face5f76eca6a2c219b5528d5e0a","datavalue":{"value":{"entity-type":"item","numeric-id":6166155,"id":"Q6166155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d3565fb8f8c02709e0a8dc5e50788fab726c25","datavalue":{"value":{"amount":"+0.8007929921150208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5028423$4D3E95DC-3B16-429D-BC76-6068D8AE32CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028423"}}}}}