{"entities":{"Q526767":{"pageid":528534,"ns":120,"title":"Item:Q526767","lastrevid":62501832,"modified":"2026-04-11T06:31:53Z","type":"item","id":"Q526767","labels":{"en":{"language":"en","value":"Z3str2: an efficient solver for strings, regular expressions, and length constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715525"}},"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":"Q526767$53C8F166-EBEE-4360-9521-B9723F9D2E3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcf1985ccabb3d964307983537fb9b310598845b","datavalue":{"value":{"text":"Z3str2: an efficient solver for strings, regular expressions, and length constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q526767$0190B70B-B8D4-4E8A-8013-6590A742171D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8cb436d0e9bb8e863a9b4dbe0611caa07aad86","datavalue":{"value":"1360.68773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$083C2D5F-60A7-444A-B2C6-D12C99EF5390","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762c048cb016a11709eaeec581244a7884ddbf0","datavalue":{"value":{"entity-type":"item","numeric-id":526760,"id":"Q526760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$2F1E73F4-FA92-4ABF-AC20-CA906D56B12B","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":"Q526767$D0731D2F-E6FC-4367-B6E5-46379E63C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71ac3aa25d5cae3fd2a613ea8c6aa9f3552c6cbe","datavalue":{"value":{"entity-type":"item","numeric-id":526762,"id":"Q526762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$B9ADAF7C-66AE-4DB2-A55F-DAD558242508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"580626a6219252fcfa6ca5bf57652124d25358b4","datavalue":{"value":{"entity-type":"item","numeric-id":526763,"id":"Q526763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$1502E58F-9161-440A-9A8A-D3BD5211697F","rank":"normal"},{"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":"Q526767$182A206E-0967-42BB-88DA-158B59FC14A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afcffe7da469d1f73e1685f3ec88d03389e94a85","datavalue":{"value":{"entity-type":"item","numeric-id":526765,"id":"Q526765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$725524E5-2BFF-4118-9A58-16B8D13CBBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"048e87e70f0aa68a1e1e4efd11d3caf2c7909dc0","datavalue":{"value":{"entity-type":"item","numeric-id":436389,"id":"Q436389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$264862A7-6F1C-4E0B-8837-46A170BC8CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$4052D6B7-2B7F-4062-B68A-9B250BE37A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edf4e654995b527c1583dd79535ae94d23c9eef6","datavalue":{"value":{"time":"+2017-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q526767$983B16A4-F669-4CB8-8EA8-CA62F324DBE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$B0953F77-5A10-42A3-9048-D357BFDDCB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$32B3330E-D75A-46F1-84FD-DFCBF7593318","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23723808fea8ca05628d29055de2d80522409bf","datavalue":{"value":"6715525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$4FA5610A-3E8D-4580-9D85-B4E6BE8A88B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d333e017cc9dd200b374ca8bf90f2813f3d3b4d","datavalue":{"value":"string constraint solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q526767$01B2F49A-BF42-4EFE-8137-FD871441CA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69915e018ed669c5d09bb1f8b68333ef5bbefe95","datavalue":{"value":"SMT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q526767$11E0AA4B-AACB-4838-A91B-456E4D6CA423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q526767$B5731A47-6229-4AA5-A43D-D0B52843DB30","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":"Q526767$AE3224B1-082A-4007-B3D4-640A78D1EE9A","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":"Q526767$7C76A959-0C7E-4930-B976-F610418B2F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58983eb13ff884001edd1d51c3da3c619d8b872c","datavalue":{"value":{"entity-type":"item","numeric-id":33658,"id":"Q33658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$0C0E6CFD-D82C-4282-832A-2DA9E20587F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67d5db4e593f3cebcb0fe02fcc20b626c776af40","datavalue":{"value":{"entity-type":"item","numeric-id":42236,"id":"Q42236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$A1A8E112-6990-4F2F-8568-578912F0A325","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":"Q526767$B1DF025E-E8F1-4E6A-987D-04F5BC2B2D3C","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":"Q526767$8CA776F3-C2D7-4A27-BCB1-1788FD7F07D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$9137B416-1E7A-4EBF-A4D7-A5F36F49ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d068560d63c03dfd9102c9b275d1ffc29cdd1c75","datavalue":{"value":{"entity-type":"item","numeric-id":31321,"id":"Q31321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$44640993-A105-44CA-AA41-139B8FA24613","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":"Q526767$E8CFA662-657F-4085-B2AC-DBFC28C24109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3ae470baece4f03ec596df9827c9204c93258ca","datavalue":{"value":{"entity-type":"item","numeric-id":31320,"id":"Q31320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$CE662CE7-F043-4F3D-98EE-76D31EB49FFA","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":"Q526767$E7BAC5A3-A3A2-4928-9272-8CC260A7B6E4","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":"Q526767$32929934-DF51-4859-A242-728623A46A86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9ff7765aa2ed3f5a8f749d8874f9fd1824ddfd5","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0263-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q526767$48C4CB9F-97B5-4EDA-B6A1-0EB2E9760B83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b4aedd00b7e5addc1b4ce4d973971d0754515bd","datavalue":{"value":"W2565985959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$46363B7D-92DF-4CEB-B377-46EA7BD33A89","rank":"normal"}],"P223":[{"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":"Q526767$775BF521-3FF4-4BE3-86E0-FB000EDE4C0D","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":"Q526767$E1165FDB-451D-4300-844D-C2CEAE61A8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$7AED948D-F09F-460F-AFBE-63DA73131C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb644c5841dd8ef7fdeb2c27817dada70761fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5429343,"id":"Q5429343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$160BB0A6-9A51-40AF-AB1F-BB0003B4C2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$9EBFEB9F-344D-4341-818F-03B73E82235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d4a9163ea2508316da05aedb00179c7f99925d","datavalue":{"value":{"entity-type":"item","numeric-id":5300826,"id":"Q5300826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$9F6240B2-9428-4E3F-8200-E9A2232AE90B","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":"Q526767$DEFABC3F-E4E1-4892-8A3D-47594D688FE3","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":"Q526767$DCA6B46C-32BC-48B0-B5D8-6164E59BBE05","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":"Q526767$38C8A15F-E8C7-4814-B184-32FE7D202EA3","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":"Q526767$5FA7CF05-95F4-490B-BFB0-082BF7E3F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0575326ee4146a185d8f7188836c49aee6505f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3617765,"id":"Q3617765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526767$1E0D6DD9-64BF-4616-A88B-64DEF4F770F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d082088a8dfa5ba17e5e25bcd8304876db9afc2","datavalue":{"value":"10.1007/S10703-016-0263-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526767$E92DD3E0-4C99-4F64-BFAD-A1EF870B5838","rank":"normal"}],"P1643":[{"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":"2f2ab694cfe63549fcb2c3d72bc274fae6d2fed7","datavalue":{"value":{"amount":"+0.8769413828849792","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":"Q526767$434393D6-D1FB-4F81-BB3D-0BCA7DC48D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404add9b67c51908c2b32d9915ae598bf7f3cb66","datavalue":{"value":{"entity-type":"item","numeric-id":832270,"id":"Q832270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2679ea609796c8882059819e2c5bc67bdea8ae83","datavalue":{"value":{"amount":"+0.8589516282081604","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":"Q526767$00845E59-2275-431C-919C-BB8828CD24F7","rank":"normal"},{"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":"b2cc53679b053cac12e3f480c1fc383ca1fe1c5d","datavalue":{"value":{"amount":"+0.8559379577636719","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":"Q526767$0A8E9D77-2A4E-4A35-9A51-EFB9BE15A623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca659b72b15749ffe2242a2b0e45f945fb135e7a","datavalue":{"value":{"entity-type":"item","numeric-id":6487337,"id":"Q6487337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e8e801cb7f5c1dc672fd756fd55ccf697f8e29","datavalue":{"value":{"amount":"+0.831427276134491","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":"Q526767$3BE90D9E-0EF0-4C39-B412-40ACE0405854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef22f9fa114e4387b275e4bdb3e00349e411201","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6f8631fa90b0dfecc761d1aeaf83b8702a79c3","datavalue":{"value":{"amount":"+0.8302018642425537","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":"Q526767$892D7A04-DC72-4A95-9BDA-F98EEFA42657","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Z3str2: an efficient solver for strings, regular expressions, and length constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Z3str2:_an_efficient_solver_for_strings,_regular_expressions,_and_length_constraints"}}}}}