{"entities":{"Q6067037":{"pageid":13201345,"ns":120,"title":"Item:Q6067037","lastrevid":56736879,"modified":"2026-03-19T13:27:46Z","type":"item","id":"Q6067037","labels":{"en":{"language":"en","value":"Computing optimal hypertree decompositions with SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7777842"}},"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":"Q6067037$D849FD9E-71FE-443D-ADD2-E7C474C729E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"358e67d7ec6b33deb5d8794a888bfd12d7fed1ad","datavalue":{"value":{"text":"Computing optimal hypertree decompositions with SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6067037$058DEEF6-0DED-48FA-8200-CF98C770482F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"693b10c86dd171eaa1d3c9be5d4be01094006595","datavalue":{"value":{"entity-type":"item","numeric-id":5101316,"id":"Q5101316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$186B903E-5CC1-4FFF-8CAD-963E8E7475DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$86532D55-89AA-4E4C-A445-C04BB74D98DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$A3EBF96F-1069-426F-A988-7FB1B9F5EB57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c2368e678975ca115c0c0bfa4ea8ef2d42fa686","datavalue":{"value":{"time":"+2023-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6067037$98C80931-8F88-49FB-B9B3-F37EF9FCAF3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$C45A85E7-7BAA-4DFB-A9BA-0071A65C371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$761D6EB4-1582-49E0-81FA-6EB688FF84C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$E9E71D08-259F-4A2B-870D-9B7AACE93D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$9368990A-6A85-479D-A5EA-12E9A6EA4DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"661af56d4b4eab4ae1938a71ac2563531347f79f","datavalue":{"value":"7777842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$BE0A0620-9961-453D-AD0A-BF00DE23402E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1e21411b2f546a0087f38db49b740c02dc3cd8","datavalue":{"value":"hypertree width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$5D2BEC78-7121-4166-AA00-4ABC3168A66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$0E8BE29E-1376-4EC9-BBF4-4DB9EF101BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdeacae6ea35d3c55028ade4ac93b6c7813f1db","datavalue":{"value":"SAT encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$A3CFCFEC-AAFE-4198-A5FF-D3D54DADF80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$94D1BE7D-285C-4C7A-942E-3DBD9486C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$22933572-A474-44FC-A8E6-AC40A5227515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$F9BC73FC-38C0-412A-AB57-54349B23BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6067037$2F193253-E850-4EDA-8DBC-79754888AF6B","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":"Q6067037$2CE0D1CA-0E02-427D-81CE-482ACC3F5474","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c31fb244bf54bfdfa5d147da2173f36e0989704","datavalue":{"value":"https://doi.org/10.1016/j.artint.2023.104015","type":"string"},"datatype":"url"},"type":"statement","id":"Q6067037$8983E0B6-9A75-4CF2-8757-12B57B8FECDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c16ebcaba177b871ec39c01257699b80adac26b3","datavalue":{"value":"W4386827690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$EBCFCF16-6D44-4BC3-8B79-F443E116C929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$EABEBF32-864B-49E4-A819-D26325B44A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cecbd5d0d93eea26ef4e9b7301c19a9fe3a05a","datavalue":{"value":{"entity-type":"item","numeric-id":4580187,"id":"Q4580187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$4F291C54-6266-4868-972B-A1BF0281FA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf17d6568b887c85a8060d14fb599405b2f260","datavalue":{"value":{"entity-type":"item","numeric-id":2661355,"id":"Q2661355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$B7AC8CC0-E321-4299-8090-9E17A26A17CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc1515d44020b1debe70a59f43f85399130fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5711519,"id":"Q5711519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$88B99892-3132-4F41-9EA1-EDFA9BE1AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$97D57A7C-D026-491B-9B1E-F9125223F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71495073b65e2ff19b0d0bdd2759fdfc29f4407","datavalue":{"value":{"entity-type":"item","numeric-id":5875560,"id":"Q5875560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$0E887281-F4D0-4516-B8E9-4695C2E8F833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edca7f0a42bcda474989bfc22bb66c3850922d6","datavalue":{"value":{"entity-type":"item","numeric-id":5102056,"id":"Q5102056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$A77BBD38-8340-46AE-A457-324E55752CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1107b06bb0a620ad9f0b2e1579c2e890229dff","datavalue":{"value":{"entity-type":"item","numeric-id":5232758,"id":"Q5232758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$9F1BB59C-ECE1-432F-AFAC-D034A99CC9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254991b7b45789b93921d0cdd78e6cabb1c20c18","datavalue":{"value":{"entity-type":"item","numeric-id":5406168,"id":"Q5406168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$A8557465-5C82-4F77-BC4B-A57EBD94DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$5516C593-EA50-4B5F-8B9B-D92ADF411BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510b6dc2f93f820fe261765df72e9416e86d392d","datavalue":{"value":{"entity-type":"item","numeric-id":1401972,"id":"Q1401972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$1CD75A24-8B26-41BA-B904-C58079A20AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517b57ed3f9b9d3aa96c8af2a5400e596559619b","datavalue":{"value":{"entity-type":"item","numeric-id":5897539,"id":"Q5897539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$D8501D69-46FF-436E-817B-618AA4A98A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3f7ae1754d875c4c31d9ef0637fe681e61c5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2079275,"id":"Q2079275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$E5E613D2-4F3E-4066-BB1D-7D78E504C55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$84FB3659-D39C-44B4-B653-642B1B39A776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382df5b50fa71ff3d89c9f5ad6217e06556d228","datavalue":{"value":{"entity-type":"item","numeric-id":4629543,"id":"Q4629543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$4CBCBEE8-77FF-4CA0-A5E6-F84900DAC298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2bd5ee3db741fde236b9b4661679afea91930fe","datavalue":{"value":{"entity-type":"item","numeric-id":1680270,"id":"Q1680270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$AE031F38-3402-497C-9BE0-8E19A435159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebb707460b38c1d11c3460237967fe5ed6e66ba","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$CC3D95EA-DFC2-4787-AD19-0AC904291C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a502c1b3aff4d345f8e0c9ec2cdcbd2e27f821","datavalue":{"value":{"entity-type":"item","numeric-id":1606830,"id":"Q1606830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$561E87F8-CA79-4D42-9F01-F9758C3CADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cec0d902e3fbcf7273174b450a901b527681eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3637156,"id":"Q3637156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$F4718A68-61B6-4F37-8106-7100A1D826C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917b7bd40cb23fbd9a09e0086ea6345d51dc4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":5147487,"id":"Q5147487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$EEC4F281-CC62-4573-A63A-282C726DAE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ab79554c0ac8a4b417aad372ff9378ed98075c","datavalue":{"value":{"entity-type":"item","numeric-id":2303246,"id":"Q2303246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$974C4662-CBB7-46CA-B756-6FDA14598224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6067037$6FA45FDE-6BA1-4095-93E7-9D3977BBA3DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6440a924937f92a8f075f54a597b8eebad1a2b4d","datavalue":{"value":"10.1016/J.ARTINT.2023.104015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6067037$8C024DD4-2C86-452E-B4A5-05426424C8D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15976e5468d56d6d2a3df212f8c87732f0a5e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5406168,"id":"Q5406168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1af9156455f020718bb2303812856d307d1b507","datavalue":{"value":{"amount":"+0.823821485042572","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":"Q6067037$148B6BCB-9F93-4CDF-A606-17B23416A5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285c8b2828c9008c97b98af1d0c19e03a09a67d2","datavalue":{"value":{"entity-type":"item","numeric-id":5897539,"id":"Q5897539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16e1dbaabf6966aa0c3f4d452b91df38e30777d","datavalue":{"value":{"amount":"+0.811508297920227","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":"Q6067037$483C6A2C-A9D8-4FF1-BDE8-C05F0C8BD8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8515c95dbd355e223ec192c8b0468fde203bdd74","datavalue":{"value":{"entity-type":"item","numeric-id":5101317,"id":"Q5101317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c9e6f8202119a5f8cd7f267ed7eae00de80e54","datavalue":{"value":{"amount":"+0.8014526963233948","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":"Q6067037$9FBBADD5-9FA5-40E0-B3B9-C2F3C8750B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0891e2c075213ad7ebec6df6fd1aa164009faa3","datavalue":{"value":{"entity-type":"item","numeric-id":6536399,"id":"Q6536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0209f80f47def27f582fc5d6df3b077b97ca8e","datavalue":{"value":{"amount":"+0.8012365102767944","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":"Q6067037$45DC8A4D-66C3-46A3-B937-9319686C552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3ed12542e6cdfa79ecaa5b7f4362cf236fa780","datavalue":{"value":{"entity-type":"item","numeric-id":437685,"id":"Q437685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3585f2250aac05ca15f766ffbc6c6a0feb22c91a","datavalue":{"value":{"amount":"+0.7944585084915161","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":"Q6067037$E802E935-ACB9-4485-91FD-BA71FC944D0D","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":"Q6067037$B3E15209-1DD9-4650-A2A2-6EB8686A3370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6067037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6067037"}}}}}