{"entities":{"Q1178690":{"pageid":1189439,"ns":120,"title":"Item:Q1178690","lastrevid":66511785,"modified":"2026-04-12T10:34:35Z","type":"item","id":"Q1178690","labels":{"en":{"language":"en","value":"Bounded queries to SAT and the Boolean hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22282"}},"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":"Q1178690$5E04F232-E37A-4B61-95BF-4666C333D434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b600feefeb19ef0f4c2b623aa608f76a317bf50","datavalue":{"value":{"text":"Bounded queries to SAT and the Boolean hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178690$D7363A39-61B0-42E0-8CD2-D9F908C9A10F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45177fc06849b712f1c393c0a270c7ee09c02830","datavalue":{"value":"0739.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$EAC4A0FD-70DA-4EB7-B457-DDFC669E8A6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e4819f5600c4bfc2793c8078c1d9385c029d1b3","datavalue":{"value":"10.1016/0304-3975(91)90160-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$20B27847-3024-4DA4-8DB1-E2B90C4E3C69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0353358515be2d1b5877a1b267862980a7b952cd","datavalue":{"value":{"entity-type":"item","numeric-id":294935,"id":"Q294935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$2B7CB419-FFE2-4E6A-AC76-25DB96C0DEFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$B00188EA-216C-422A-885F-180528059B2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178690$2F5E8B4D-1236-48DD-81D7-6B22750C02A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$5345190D-C8F1-46AB-ABC3-FE5F61C8434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$5351FD99-5644-479A-BAAD-0F353B06476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$89BB2F60-5F14-49C6-9B88-EFCD84C65CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd04bfb07ffd8ab79ce3d089501be3fbd3261bd0","datavalue":{"value":"22282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$7B72A2A6-A167-43F2-95A2-AF2711918076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de7c8d0e133d05e230c44991611004a38c7ba3b","datavalue":{"value":"bounded queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$2817FC2E-AE3E-42E1-9551-1C9BE50965EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7e042a5b2f9d0ca80d2a9758f2efb48ff62ab9","datavalue":{"value":"difference hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$4B1A2D22-036C-48F7-AA7C-A280363B6768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc1d5febe81797bcd7a49c6abbade9498d08c8a7","datavalue":{"value":"rounds of queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$D0CA6698-949D-4F46-9EF8-F56EA5BF0B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a6b945b07818fe80594ac81341a68019345d94","datavalue":{"value":"separation of the hierarchies of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$421E1949-62D1-415D-A01F-0679AC3E2167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6e7e8d07e5868604dc28576474155ee532e968","datavalue":{"value":"p-terseness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$ACFDAEBB-DB16-4343-9E46-76FD2B07D27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e10e42df7624f4c44e25a596575282d4d3f781","datavalue":{"value":"Boolean hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178690$DE86D1B2-30B0-4D40-8837-1E0A622B42B9","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":"Q1178690$4F137609-5633-426E-AF32-7E53A391AFF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1dc2027979a2479f5060c82ce527086546e0f94","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90160-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178690$A951BC03-F16E-40C6-AB2D-A7434797B54C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa732c40d00e113e5a6bdf91e38d09b31404e9a","datavalue":{"value":"W2063158069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178690$B6787DC2-2ADD-4D74-BA41-7850C26A83FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ab74cdfcab5dc4bad64905b863388aefc5a4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3999199,"id":"Q3999199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$12D672A6-1CCC-4758-9431-FFE8F48D0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e1bb1cb44d6c5f0b383e96f621c2bb23767aac","datavalue":{"value":{"entity-type":"item","numeric-id":1104077,"id":"Q1104077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$F87C5311-7028-4099-BBED-05B6A313D103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$4CEA27D2-E50E-47C7-B630-D1D4F8B2E542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a52bec577a06efecea1094670007df8d23954a3","datavalue":{"value":{"entity-type":"item","numeric-id":920981,"id":"Q920981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$E113466E-400A-463C-BA00-88A8761199B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018038fb101d8ec315a3c155690ad0c57968b1f9","datavalue":{"value":{"entity-type":"item","numeric-id":1803657,"id":"Q1803657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$2C184934-2F85-4DC2-A49E-D13490BDE239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec53d3b2bd50d99bc1ad2d6f00f6523e5d308248","datavalue":{"value":{"entity-type":"item","numeric-id":1114678,"id":"Q1114678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$20F8941D-67A9-4A85-AFD4-AAA78308EB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3737257493e45989645a4ef4e506cbef38d9e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3816983,"id":"Q3816983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$5041DADE-E7EB-436E-BF19-8F6AACA2BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5257f71d98a6e1899a8d1ff1a09a30fa28cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3751004,"id":"Q3751004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$0CF8905C-6783-4FEB-86D3-5ADF2386BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4360fb17af7ffff93385595ddc049810e9169f73","datavalue":{"value":{"entity-type":"item","numeric-id":2366567,"id":"Q2366567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$CE2C8A3F-AF67-49C2-BE4B-53A56E674E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80da5dbf79d1c137536de30a44e307449b537460","datavalue":{"value":{"entity-type":"item","numeric-id":584250,"id":"Q584250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$0F8B28B6-6138-41C5-BBBB-14EAC62F1239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b832ae6038bd66626b817aa4f18e62fe9f667e","datavalue":{"value":{"entity-type":"item","numeric-id":3783278,"id":"Q3783278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$1843646B-9083-4291-81A9-AE61BD11DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30f6e432ce9e9ae75031144ac1199e0b83ca0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1107309,"id":"Q1107309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$6AF1C614-8671-4294-9709-2B8066C2502B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfdaa084cd0215bced370fbc881b845fde5da9c1","datavalue":{"value":{"entity-type":"item","numeric-id":3254629,"id":"Q3254629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$59C7544B-9494-448B-B917-F0EBBE47A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cd0b081ca47daa1ed5dc4d371f2932337f9787","datavalue":{"value":{"entity-type":"item","numeric-id":4735186,"id":"Q4735186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$379547B2-2FC5-439C-800E-77B99F835E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$C226D1CD-DD9C-49A8-8E5D-1DF4497DC1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$CEF8D6F9-3D74-4318-A513-15C22F91D7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5d43e58020977f5420eb7b8ec7095ce17d3134","datavalue":{"value":{"entity-type":"item","numeric-id":3793733,"id":"Q3793733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$923556A0-B9F9-4713-91E5-A744F4C5FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f5d749e4775b9ff8ad70d19f88e3741e680ea","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$FBA54399-E69F-4DDF-A658-0C533B08451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83662ae316121ea72100b37e1d7f310700b0f0a","datavalue":{"value":{"entity-type":"item","numeric-id":3703297,"id":"Q3703297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178690$E88D5CF5-6BC2-4228-BEFD-6CE72361535D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea5ba89da2fa4d7fc310ca33abaa3cd1bb18635","datavalue":{"value":{"entity-type":"item","numeric-id":4016404,"id":"Q4016404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d5b8f3fa6939709005b87fc290f363f9628bd5","datavalue":{"value":{"amount":"+0.8655318021774292","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":"Q1178690$4625345F-15A9-4C7E-85CB-07A3C4F629D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f142bc0f29634b4f9a83a251811101bd2cd608f","datavalue":{"value":{"entity-type":"item","numeric-id":3495646,"id":"Q3495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf478701203de65cdfa9e0b05e69aeeaf678c60","datavalue":{"value":{"amount":"+0.8554002046585083","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":"Q1178690$E9D391B2-C3C9-4501-8D9D-7D6CD5520C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99297a0cabe19abd8f8e7dafba41d83e3e43020c","datavalue":{"value":{"entity-type":"item","numeric-id":3815290,"id":"Q3815290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2321d21712042065aaf93d84842c0da1b7d30e","datavalue":{"value":{"amount":"+0.8461757898330688","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":"Q1178690$8CD4644F-CCA9-4FD6-AF32-29F7365924AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f14ce48c0c269df929c4eadd4793354cc77d795","datavalue":{"value":{"entity-type":"item","numeric-id":1426008,"id":"Q1426008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b87536de1e68fec420b072dd639a13f63d06b87","datavalue":{"value":{"amount":"+0.8398060202598572","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":"Q1178690$ABB31311-D436-44AF-922A-A58EF52869A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded queries to SAT and the Boolean hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_queries_to_SAT_and_the_Boolean_hierarchy"}}}}}