{"entities":{"Q6535533":{"pageid":14146676,"ns":120,"title":"Item:Q6535533","lastrevid":95488844,"modified":"2026-06-05T09:08:31Z","type":"item","id":"Q6535533","labels":{"en":{"language":"en","value":"Solving string constraints using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787553"}},"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":"Q6535533$57610335-A312-4D84-AE0D-41677D1F06B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de09a1f83b65b390d183ffe207dd2ea8691f7077","datavalue":{"value":{"text":"Solving string constraints using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535533$B56A9630-539A-4352-80C1-876B19AA8A19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49fce5edfca2f8dbee12c0e7e40733c9ebe659a7","datavalue":{"value":"1545.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535533$C12689DD-CA58-423A-95F9-29AB2BA69A5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c73cc5a813e94b6763c43da9e636291b1d0e7a5","datavalue":{"value":"10.1007/978-3-031-37703-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535533$42300844-8F6C-4560-B620-0405E6A79B0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b803f2b22f94b43bee43de85e97ed78873e6a01","datavalue":{"value":{"entity-type":"item","numeric-id":6199875,"id":"Q6199875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$8C76DFA8-45B3-44BE-9EA4-D088DB5CE352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ded5d73a1c3090755c930487a8f09176d403299b","datavalue":{"value":{"entity-type":"item","numeric-id":2881072,"id":"Q2881072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$F59C7700-7966-4EB2-A3C2-4B9A4C00765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51678fc635b6d13e5bfb50dff43810a3a02420a6","datavalue":{"value":{"entity-type":"item","numeric-id":832267,"id":"Q832267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$B25C0D26-9EE6-4330-93A3-4EC0E602FE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9afcc482ca2a503836b4b22d76e89c71dc77cae3","datavalue":{"value":{"entity-type":"item","numeric-id":6535364,"id":"Q6535364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$F2CB8D1B-622C-45D5-83DC-983186B88A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$FEB84CD4-905E-47A9-BFBF-BB8E70733F44","rank":"normal"},{"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":"Q6535533$8C5381DD-96CB-486D-B548-3122174CBA79","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":"Q6535533$CB578924-59A8-4EC9-9751-8FC59516C8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535533$C0784E24-2238-4BFF-811A-FF4CC2275869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535533$8B05C155-AB6B-4F6C-9A64-E2CFA5BC01DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535533$DF424BD7-2B70-48BB-B6B0-681AEBF99788","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84b57807ca70fe78ad877c16ad72c0259b83f716","datavalue":{"value":"7787553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535533$925658B6-9EB7-463B-A957-738174AEA449","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":"Q6535533$69E5CE04-E671-4B99-BE50-B7D5AE591F71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$CFAA087F-364C-4884-98A0-D6EC4ECF6742","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":"Q6535533$75420E14-BC69-4958-9006-EC99ABD64818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f513dee4b5698293b272c411ee2c4e17059445ed","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$D1C475EA-E1E9-4A95-8C69-FEB3F0ED15CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9297d0765766411dd0d536ee866abe35681b6d","datavalue":{"value":{"entity-type":"item","numeric-id":832270,"id":"Q832270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$4688EDB8-E8FD-4C51-B306-8108D7ABEE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$9A055942-BEC9-4B2E-ABC6-EC878736664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$3F755E9D-0B61-4E6B-812F-9ED15E20A2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80c0c955661a3be7255e6ae15d8e2f2b95def01","datavalue":{"value":{"entity-type":"item","numeric-id":2330594,"id":"Q2330594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$3870448E-6553-4C85-AA02-4CB35A6A4D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$8D5A7714-F772-4217-B608-983D8EAD2AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21903b6014864aa4aeb9312cb0a70a134ad47f05","datavalue":{"value":{"entity-type":"item","numeric-id":4590910,"id":"Q4590910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$E34E4D36-EEDD-457D-B39B-09E12B25D09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164c5ef5bc81bc28344164e23f5860bcd798ec8e","datavalue":{"value":{"entity-type":"item","numeric-id":6536304,"id":"Q6536304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$52248139-BBD6-4239-B90B-3BC60C3F426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9bf8b5eaff6ca591418ec3ea82fd95f7d22425","datavalue":{"value":{"entity-type":"item","numeric-id":5283087,"id":"Q5283087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$AA1CC9FC-6C81-4FC9-A9D2-371374662CD9","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":"Q6535533$616B6337-1137-4D35-B811-786AD7D46ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f96bb0aca1f733f35ca891e596454a13a9806a3","datavalue":{"value":{"entity-type":"item","numeric-id":6487302,"id":"Q6487302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$C88D7168-9A2D-4301-A788-F33B6787A27D","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":"Q6535533$3359F318-461F-413B-8286-21B8EBE93937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$3ACA9BBF-A9D0-4ECD-9DAD-B949FF8AEA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484824b7d07f91028ddddaf59e72151dabe344df","datavalue":{"value":{"entity-type":"item","numeric-id":6487337,"id":"Q6487337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$E6AF7480-756E-4C6D-8BFA-2838F329F9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$26BEC511-CA03-432C-8300-7B5667201B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96195abbf4699b29c9ed4377b35412faccc11fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819601,"id":"Q2819601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$0E42B668-07EF-42E1-A818-1BC9230B2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535533$CD6FF15D-F12B-46B9-A359-79F99747698B","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":"Q6535533$D8795153-D733-4E71-92DA-6B12C7458575","rank":"normal"}],"P1643":[{"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":"a4232288890e3989dd3b198e70bd8d2851e2dfba","datavalue":{"value":{"amount":"+0.8645251989364624","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":"Q6535533$F4DE9E79-9273-48D4-96D5-BFB8A4444939","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":"085d539b30ce4283d6478ee339eef1433db4ba90","datavalue":{"value":{"amount":"+0.8456912636756897","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":"Q6535533$C55B9235-6CE1-4C14-84E4-67936ED08866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d60711f61dbdbe8c18ddb45ee2a774c19e4dde","datavalue":{"value":{"entity-type":"item","numeric-id":6154871,"id":"Q6154871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100d1c67d0872b70c735f2bcd576c4c884e8b4e0","datavalue":{"value":{"amount":"+0.8203522562980652","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":"Q6535533$6FD99654-A0CC-4DB4-84EA-95FA78F21908","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":"73068d3a8d5593e5a4d4e7adbefdccd0dc35fe5d","datavalue":{"value":{"amount":"+0.8190720677375793","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":"Q6535533$6DF68A83-497A-4577-B71E-885E3AC50861","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":"71026813af62e0f11657b117956db8fe28d7e54c","datavalue":{"value":{"amount":"+0.8037498593330383","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":"Q6535533$563CC243-4D1E-4A24-9AA2-4C8905254B19","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":"Q6535533$13F9000A-91C3-469E-86A5-A5AE116D6BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving string constraints using SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_string_constraints_using_SAT"}}}}}