{"entities":{"Q518402":{"pageid":520169,"ns":120,"title":"Item:Q518402","lastrevid":62444448,"modified":"2026-04-11T06:08:05Z","type":"item","id":"Q518402","labels":{"en":{"language":"en","value":"An efficient SMT solver for string constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6697747"}},"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":"Q518402$CB8257EF-1CF5-4646-8F6F-CD4459724AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a6fa71968149fb799310126336ee685a7e6d7c0","datavalue":{"value":{"text":"An efficient SMT solver for string constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q518402$189325C8-7001-4F68-8D17-B449C5FCEBBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66309b69e096cc245870095cf72d853dd5817b51","datavalue":{"value":"1404.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$01A72655-C9BA-40B5-A1C4-1E9576B8639C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a708f833efb7d08c0315fd576eae86717ce6ca9","datavalue":{"value":{"entity-type":"item","numeric-id":518397,"id":"Q518397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$6EC41714-93D2-4F66-BE0E-188F7714BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$CDBE729E-FAF5-4AFC-B8A4-8633504A116E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb86119916d61a15ffc3436f1b3c720cb4c289f7","datavalue":{"value":{"entity-type":"item","numeric-id":518399,"id":"Q518399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$9EDBDB90-7D7A-4CA4-9ED1-791D7F10D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$64DA03C9-92C3-4665-8D6A-468597DE87B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$E418C278-E9A8-40D3-A078-B1D7841863E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5374aaae6c4fa00723de88e8acb31ca46f3aaf1e","datavalue":{"value":{"entity-type":"item","numeric-id":518401,"id":"Q518401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$B9039281-F29F-44EA-A721-AA759FE959DF","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":"Q518402$DC15328D-3239-42CB-BB1C-ED15345E6EDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b1176cdd607c21645d7c2ae40c91c6f83a8c91f","datavalue":{"value":{"time":"+2017-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q518402$66B3D5EF-89E2-4F70-8AB2-34F5D27038B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$3D8D0D4A-E8F2-462F-BE68-FACE587FED84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$189CC9D5-2F58-4F71-AD40-1CA91A665F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$33338312-BC83-4634-9DA3-79AEC664AC4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21ef4e10c14b33ef76d977d2916df81dca645320","datavalue":{"value":"6697747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$5A057716-184D-4DC4-9586-FAE5E4ABF381","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da7e3a96745c9bb4e0a0b4a98ff680d11168213","datavalue":{"value":"string solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q518402$30C3E061-8715-4F54-AB4A-FF6113C5E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q518402$4E0A6B40-E4CF-4E03-BB16-6461113065B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q518402$ACEA094F-040C-444D-89D5-246C9D7830F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$1FCE1C26-3731-4CB0-BCEF-9168D5EA979C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$98C5C912-FB9A-4FA7-A615-211BD85B0CDD","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":"Q518402$C2874712-5124-4208-BC68-BC77E020F048","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":"Q518402$1BB53DEC-8C2D-48FC-8E9E-D4039BB901E4","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":"Q518402$8E367833-D4D3-43B7-86C9-C297CA35A439","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":"Q518402$32C8E728-E53A-4F75-AD45-233D9AB6ADCF","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":"Q518402$5FD352BB-CD3B-41C3-B15C-BE59979F2B2D","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":"Q518402$E81F4452-25FB-42BF-8BED-037AC113384A","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":"Q518402$1B9355A4-878A-41A2-9512-99FCDA3EFDFC","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":"Q518402$68D7EAFF-8125-4A01-9365-EC386B4B1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5753d56e39ba7d24593b634590199df60ba70d70","datavalue":{"value":{"entity-type":"item","numeric-id":23970,"id":"Q23970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$6EEDDE70-EB2A-4430-86B7-6B80DD649321","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":"Q518402$25D70470-51D2-4CF5-A7E4-B768BEB8FF19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d7ea8afa29f725b667441d889be14d3e16bf986","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0247-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q518402$630FBE8E-5F2A-4D4D-A7D4-A864EFA335E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ccadb74596e6247c16c5d39e4b2e500359b51e","datavalue":{"value":"W2330747214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$FC1D9B7D-4B8B-4908-B0B2-0BCD4BBFC1A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$A36ACDA2-6611-4FCA-9CC1-99E5D9BDE503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$E0E149D0-50A6-466C-AD67-FC0FAF927010","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":"Q518402$0CF1AD60-50AF-4EB5-A7F7-1C78C7358BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$01E66606-1DC1-4E7F-93EC-819A277B34E8","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":"Q518402$D7243CCD-91D0-4F33-A6FA-21B274F8657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4d91de204feb5edcace878be2e177a0321303f","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$DFB7BFAE-68C0-4B21-A2B8-76A606B112D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af715aae48cd14c943c8337adae687a070af0749","datavalue":{"value":{"entity-type":"item","numeric-id":375907,"id":"Q375907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$B5ADBE51-4923-4782-9136-3CEF8B8A9E98","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":"Q518402$A9645AC6-2E20-4FC6-AE7F-E0215CBBEE55","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":"Q518402$42009E0D-CC02-4513-A70B-D2B192205C4C","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":"Q518402$B80D1D91-6CBA-45DA-9D7E-EBB88CE47AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$6E091EC1-03AC-4218-BAE9-434643FB3462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c205a3527c640b7f32da7151a10fe74486f68","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$C3FCE214-D6F6-47FE-8C4C-9B04DE6D932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q518402$BD6C261C-B341-45BE-BC17-7419F159329D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a0b2660d07e0f11842469b3541bd4a9093669f2","datavalue":{"value":"10.1007/S10703-016-0247-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q518402$A3462879-63E4-42C1-8511-233509E1773E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0661bb8afb793b8d790ffe632fdd1f9ae496d","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a43b01a176fcdd253be3ddbf49a902a776f495","datavalue":{"value":{"amount":"+0.8653701543807983","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":"Q518402$E34CE669-742D-45F8-9D55-33A51FCAD35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094c88d03a598347d4c045c01fcc76beff211ce","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"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":"Q518402$3637CED3-A1A4-4448-9960-86ACB40064F8","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":"4193ca79a1e34663d9649755056fc056c7b8d4ef","datavalue":{"value":{"amount":"+0.8483649492263794","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":"Q518402$C099B86F-1A76-408B-B321-F3E89F948788","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":"d4d3ed096fb2f3522c1c739987f6abff17d145f4","datavalue":{"value":{"amount":"+0.8353128433227539","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":"Q518402$73E35CEB-ED8B-4B98-851E-315C05BCFEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe307e50fa6e08a5a0532ef08eb312437e27c28d","datavalue":{"value":{"entity-type":"item","numeric-id":6487302,"id":"Q6487302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2314dbe1519eba31f2184050816ae86b13d6985","datavalue":{"value":{"amount":"+0.8016788363456726","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":"Q518402$90232FFC-8FBE-4841-9B39-2FDACD4DC055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient SMT solver for string constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_SMT_solver_for_string_constraints"}}}}}