{"entities":{"Q832270":{"pageid":834118,"ns":120,"title":"Item:Q832270","lastrevid":64675077,"modified":"2026-04-11T21:28:31Z","type":"item","id":"Q832270","labels":{"en":{"language":"en","value":"An SMT solver for regular expressions and linear arithmetic over string length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498185"}},"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":"Q832270$1179ABB8-6733-42CA-8501-705DF9672065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffe58cc3048e4a81ff44974f56eccb594eee702d","datavalue":{"value":{"text":"An SMT solver for regular expressions and linear arithmetic over string length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832270$805FBB92-848E-42E1-B9D7-1F390834E9F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85e446fe6f53ac66f13e03653dc5b4776d05cfc","datavalue":{"value":"1493.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$75B7B52C-48C1-4BD0-BF33-6D9E18E76908","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03fb79995b3a36cb2054072ae52ce278f0bd3f89","datavalue":{"value":"10.1007/978-3-030-81688-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$9AB70294-BB15-4613-B3C1-4848E330A76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ceead9d746ea149b83eac318b0d9a4894b84ba7","datavalue":{"value":{"entity-type":"item","numeric-id":526764,"id":"Q526764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$7F6AB4D8-2784-4107-B26A-9F181018095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"246c4bf37a5be8c5f0f5bfa1900fd05d4b481f08","datavalue":{"value":{"entity-type":"item","numeric-id":782601,"id":"Q782601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$43164F66-217D-460B-803E-9569D1F96993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b82342bc4479b4e43e73fcdb146e9de5fae6ddf","datavalue":{"value":{"entity-type":"item","numeric-id":832269,"id":"Q832269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$E4C4FCAB-FBD5-425E-832D-BCCA0C8590D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d0acde8fa6970f0fc1d7a1726a2116611eb8e96","datavalue":{"value":{"entity-type":"item","numeric-id":256424,"id":"Q256424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$35D9F4EC-6534-488B-A739-CD3DDEDEF591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edda92c65bb5020fc2d6487012898b1d7b432a6c","datavalue":{"value":{"entity-type":"item","numeric-id":340550,"id":"Q340550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$6D156CBD-7682-4899-BB73-E4ED1FC7F64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2faee2368478bf55a793dd701ca5744189c916","datavalue":{"value":{"entity-type":"item","numeric-id":344548,"id":"Q344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$FAA98F8C-D7F3-4D73-9CA0-B197F2F3B125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$085EC80A-D78C-4A50-A2BC-B083A09259FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832270$4E4163AC-8F99-4D23-B744-9A3308AB838C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647d484804b215c00a365d2438426c4fea0ea8e9","datavalue":{"value":"https://arxiv.org/abs/2010.07253","type":"string"},"datatype":"url"},"type":"statement","id":"Q832270$4A51BD2C-5DA5-41CE-A941-525117215A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$0BA8C968-64FE-4449-A5BD-5D39FDBDCD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$A31C87C8-CC4E-4C08-A788-F7FAE7560C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$6182141D-4ABB-4C93-BD2F-A911AD38BC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$498D55B0-7613-4517-BA38-E4C11979F0F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97b92b95f95d2fdd2c94b8053581058b2e24e47","datavalue":{"value":"7498185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$45A59799-6A1B-451B-8B4B-7CDC6ED20317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3e2e0c4a14e18bd35b300b2b79508f6877bcee","datavalue":{"value":"string solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q832270$1882613F-AFEE-40A7-BE6E-45CDE9486B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q832270$D9E2E1B1-736A-4FB3-ADE6-C6E364D02562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q832270$B8FF535C-99FE-41B3-9692-3A4B4C69ABF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$9D6F63F2-B015-4FA2-9821-98C49A972120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$52DC8F30-4A8B-4521-A60A-39C1FEB172CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$202AD102-81A7-4912-B930-527096D9270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0176915bcd8e9197e025aeb643840aa8fcdc5722","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$7D47E146-55B7-4337-BCAD-D4E98C0AD735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e52eb8c12e67ae602bd0b00a9b40eeff4288451b","datavalue":{"value":{"entity-type":"item","numeric-id":37001,"id":"Q37001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$F896EE20-A989-4EAE-99B0-23B946737AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"247ef23aae49b21642fc9166a53c0c546eb9b52b","datavalue":{"value":{"entity-type":"item","numeric-id":42234,"id":"Q42234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$44250FEA-65BC-4D10-801A-D86D7A6E1C72","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":"Q832270$8903DF1F-675B-4045-B381-301DBE0635EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8defdd41bc909054c02be9fcdac73c75633546b2","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$6F61F785-A78A-451F-A4E7-185A54329951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c4e55f5e7ac3266222f7593ee48c3fa61c4dd66","datavalue":{"value":{"entity-type":"item","numeric-id":1349735,"id":"Q1349735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$1738CDB3-5F0D-4FF5-ACFB-30CE447FA162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$EA87E0E2-8A6D-44EF-B134-2CCBE015DB98","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":"Q832270$1781C6A2-BA1C-40CB-86D1-F570F27493FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8aa74026211974f6616906a5104d318ec1bd591d","datavalue":{"value":"W3186328512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832270$24E969D2-BC08-4C9A-B168-B8E7D50A6F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9913d8c87cd1e113f76ae1e6bb2d932ced378fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1702923,"id":"Q1702923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$DC443BE0-8F5A-4C3A-A791-CC16E1D23486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cffc01e2d2430a622e0bf1a7204037b9a8f431","datavalue":{"value":{"entity-type":"item","numeric-id":2140459,"id":"Q2140459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$8118FF36-0C73-4443-8BAD-1BF721FC7CAF","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":"Q832270$7CB55F37-E653-4EE9-8E90-F1E70F6B4282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$C861F5FB-3244-4BEB-AEDB-61867BE5DFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d900351da38b5aee7b71b54ebcad9b0a795d46c","datavalue":{"value":{"entity-type":"item","numeric-id":1798903,"id":"Q1798903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$88DDCFA5-3738-4305-ACD8-9D7A445CAFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdd9e476d1f75379ca5fa58c4f7bf7ca1cf3ade","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$9650A69B-E8B0-41F5-B7D4-0A4B269E5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189ffc00fd486dce99d82aed7bca1ec9c81d610a","datavalue":{"value":{"entity-type":"item","numeric-id":6109598,"id":"Q6109598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$381760C6-E09C-4AB5-8B9C-58BD20EBDC52","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":"Q832270$9169B3B7-C729-4E6D-A46C-87F8262E79B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$DE3BC5A9-45C8-4138-9EF4-8B537CCA12D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c8a78fdb6d49ac1992048f78754c13989c50a7","datavalue":{"value":{"entity-type":"item","numeric-id":3583578,"id":"Q3583578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$609305F1-1024-4B8D-818A-7D6260E8D45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66ceb8ec0539a655fc0af44496831760b37a384","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$4BA7D7BB-0CC7-4FC6-86C7-B8232B577C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$C7EF9DC7-DA6F-4CFA-9176-942969C3C4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5719987d95abcff509f77c3d64c5ea4f2a7f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4633536,"id":"Q4633536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832270$5047DEF8-4F43-46DB-8773-8F3AB96EBE79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcf3f2034fa71e7a40d720f397d1ccf7e1debec","datavalue":{"value":{"amount":"+0.8985809","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":"Q832270$5F71522F-E9B4-4F78-BE0D-6CEB15FDE033","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":"c64e3c3df79a6919e14e7aebe93e8ec0d6e16d1b","datavalue":{"value":{"amount":"+0.858225","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":"Q832270$D4D29C00-F243-4568-9D31-D64CBEF81A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d664dc9cf8893654920d4da87b311bf0b2742543","datavalue":{"value":{"entity-type":"item","numeric-id":2978511,"id":"Q2978511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b915703924faae392d86c83c546331a791a15a6","datavalue":{"value":{"amount":"+0.8558854","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":"Q832270$8DBED1A4-1E3C-4499-8DB3-2DB02992D5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64cd9d2057c5c009e121466203e61b4f2f299be0","datavalue":{"value":{"entity-type":"item","numeric-id":372977,"id":"Q372977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12105fbcb7ab3a362aedc5894b114900dd33e2b1","datavalue":{"value":{"amount":"+0.84961605","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":"Q832270$A2814DF0-49D3-44A8-A1BB-8FFF8447464A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f93385f08792c348cd6c31a93a3e1ccf76b2b6","datavalue":{"value":{"entity-type":"item","numeric-id":3113715,"id":"Q3113715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12105fbcb7ab3a362aedc5894b114900dd33e2b1","datavalue":{"value":{"amount":"+0.84961605","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":"Q832270$713D3F39-AFFB-4CDD-9113-92FB260E4AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3e395de17fd4363de1a91973e01f6103e1c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e989c1346140f3781675167f9a167cb2b17566","datavalue":{"value":{"amount":"+0.8439893","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":"Q832270$3DE3B1B6-8546-4D9F-B069-A31C0498927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0c6616d1745f1d93685a9149fdaeb54ab56075","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b15dc7655dbba3e948476c52d67150a4066bcf","datavalue":{"value":{"amount":"+0.8428959","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":"Q832270$397EFE19-BCCD-43A7-8E69-42A2C505EAB1","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":"Q832270$6B155685-8398-4104-97FA-3903F69E4F53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An SMT solver for regular expressions and linear arithmetic over string length","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_SMT_solver_for_regular_expressions_and_linear_arithmetic_over_string_length"}}}}}