{"entities":{"Q1040040":{"pageid":1041888,"ns":120,"title":"Item:Q1040040","lastrevid":66875193,"modified":"2026-04-12T13:27:05Z","type":"item","id":"Q1040040","labels":{"en":{"language":"en","value":"On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637301"}},"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":"Q1040040$746AD402-D342-4B35-872B-91B98EACF4E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d95aed060692ea965ba29ed5430be3b16131bf0","datavalue":{"value":{"text":"On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040040$CDEFA557-8C4A-4EFD-B5B6-80F44C6B6B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f437ffcec4f925c0799b0ef4292e32932de20a","datavalue":{"value":"1182.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$37820C06-E67F-42AE-8B04-12C327A9CDDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a1ec5d29ee87ca48a687adf66adfc26c2b0aad8","datavalue":{"value":"10.1155/2009/845804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$CE1D2643-4149-4625-B0D2-DDF20DD4DB12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d127085f944eb24026719a2a4a849158864c3044","datavalue":{"value":{"entity-type":"item","numeric-id":86285,"id":"Q86285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$CA176DD6-CDE5-45FD-B65E-3185C4C49B9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040040$DA9DC685-95B6-4153-8A2F-9DF64A5D6958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a1524609bbf95f945e17835f88167ba10c1eff","datavalue":{"value":"https://eudml.org/doc/232421","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040040$F8601DA1-1AC2-45E1-BF97-6A0D71E9E13C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"125b17a4902e4d415268ca734f17378dd6008215","datavalue":{"value":"Summary: This paper is concerned with the computational complexities of three types of queries, namely, satisfiability, equivalence, and hull inclusion. The first two queries are analyzed over the domain of CNF formulas, while hull inclusion queries are analyzed over continuous and discrete sets defined by rational polyhedra. Although CNF formulas can be represented by polyhedra over discrete sets, we analyze them separately on account of their distinct structure. In particular, we consider the NAESAT and XSAT versions of satisfiability over HornCNF, 2CNF, and Horn\\(\\oplus \\)2CNF formulas. These restricted families find applications in a number of practical domains. From the hull inclusion perspective, we are primarily concerned with the question of checking whether two succinct descriptions of a set of points are equivalent. In particular, we analyze the complexities of integer hull inclusion over 2SAT and Horn polyhedra. Hull inclusion problems are important from the perspective of deriving minimal descriptions of point sets. One of the surprising consequences of our work is the stark difference in complexities between equivalence problems in the clausal and polyhedral domains for the same polyhedral structure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$094392C0-D01A-4381-A347-097E482C5B89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$BDB47193-9169-46F6-B1FC-151BDE3CF0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$4FB89F15-E7E8-4C8C-9F4B-A77D23FE5C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$2A6317AD-2CD2-4415-A053-DF2C32FE7470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a075736dd24125fb22e78e1f01acbe15d48baf3f","datavalue":{"value":"90C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$543BB81E-D55C-4D94-A09D-8CFEA1B48640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ee405a0e36bbe7f6f7a19b5a930220880af3d9","datavalue":{"value":"5637301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$11C7E8CA-4610-49E6-9C0C-64F83FCF1400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$82FB30CF-0382-4DE0-951D-81F7F41B53DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$02BB1577-33BA-42BB-BEF0-67B6EDC025B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$6AA939B9-B44F-43E8-9DD3-74DDEA0EF495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f5f0ccaaf31b9f6d665cfc8b88f0de4dea68f5","datavalue":{"value":"hull inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$AAD68C2E-5997-456D-9CC1-465B5425A415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4d905a10d60abd7f2a7836612632c0a4d242b1","datavalue":{"value":"polyhedral structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040040$FEC91F96-717C-4900-A646-6DAB46F7EECC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ddee6186e623c1e85b115819916bfe5c68743388","datavalue":{"value":"Q58646855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$974132E4-4BFF-4433-BD43-5EBE1BF3D7F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$01048838-AB41-4CCC-B0FE-E831DDD45886","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":"Q1040040$742F5A96-0D40-477B-AC98-CE6C808FE80C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f59faf53b566d9af696633aa52e6dabba651e74","datavalue":{"value":"W2008997517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040040$45065C2F-94C2-4957-9A46-2E83A98759F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$9A9583C5-6778-425D-843B-4058DA39F09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4daed9c0ea4f093315555cd75291aa4ca82c9e6","datavalue":{"value":{"entity-type":"item","numeric-id":4779137,"id":"Q4779137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$C5FD0EB6-A34B-4AB0-86CD-A4BA251C78C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$1B8D349B-8C3B-4490-9FE8-E1437C20E9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$A8B7FF03-19C7-4DCD-9B4F-80C49D514988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$44EB2905-C7ED-4F0C-9E5C-E3E8C89F9C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$7A625792-0AD3-4A49-A8EB-1FF65AF481BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$D99222E9-7093-44E6-A136-4BBCBEE04DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$60939692-B4FF-420D-8140-D7B8B012821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb54c789eb8ae1365b41d698d504541a9be76f3","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$3B55EED5-E405-4339-B305-146C4F4DA597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$6AFE5928-ED33-4752-9E99-A70B6A82A995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa32a44166d42f4bd1de0aa45682819f58891a8","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$1A9CBE95-E65A-42A0-A103-A6A3FE28F263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$4C77E39D-9F59-40E9-836F-283421F4BDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$6EBD2FB7-B5DF-452D-BA06-9A1AD69EE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$C5148EFB-D20D-4B3B-BDCB-2E8248A76891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266ea70927c2263d4a76203953012772cc280eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3525910,"id":"Q3525910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$14BC8D1E-4506-4006-B47B-EFFFDCE67D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$64746711-C9E2-419C-8558-E63F1BA11B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$23C98A74-0897-4C32-BF22-0B4F15E277F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$18FA09A8-9C9F-4418-9FA6-75F2B85E991C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$9C213F47-6E76-4C54-A11D-359D7CCE5D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2e9e00ed215b4c00ce416793c753a5efc25dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$FB71F635-602B-4EBF-A90F-7ECBB6DEFAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8aa35289747463c7264c9641cfbcb6f2612259c","datavalue":{"value":{"entity-type":"item","numeric-id":4842117,"id":"Q4842117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$2138BDF4-DB5E-41B7-BD79-2FDB2CA11011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43219cfa4e1f74b898f9a19611200ac83fddfc8a","datavalue":{"value":{"entity-type":"item","numeric-id":4396949,"id":"Q4396949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$14D4E1D1-8441-4E71-8237-DB484D8F9499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e907527bf0f648ce6809bffd7dc773179d3a09","datavalue":{"value":{"entity-type":"item","numeric-id":1198025,"id":"Q1198025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$079D289E-1A6E-4202-91F4-EB5C871D6280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd00c9bf4aeb1d0b8fd8219b6ce89a688bc08bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1045885,"id":"Q1045885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$6B089872-33FF-49A6-8A1C-FE481C9F6939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae5be185aab1a36f2ad2cb00cc9f463732851c7","datavalue":{"value":{"entity-type":"item","numeric-id":5325856,"id":"Q5325856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$C4697F8C-FC20-4159-A121-53978D1E9CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$DF01E7CF-AA19-472F-B967-EF28731B4B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127c62f6e048e8ae433b3b5c8eb6d0901ef01e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4302827,"id":"Q4302827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$4321D2F9-F6A8-4C1E-9225-7A92451760B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ff388f1854cc1183de8af7335052d365ad39ee","datavalue":{"value":{"entity-type":"item","numeric-id":3821581,"id":"Q3821581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$7D25E2EB-1AEE-4597-861F-5937B4FD97AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09d0aae33bf2d92477dca4e0713ac43bb18da87","datavalue":{"value":{"entity-type":"item","numeric-id":4808721,"id":"Q4808721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$0D7D5059-CCE3-4BC5-A875-035AE23C69E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$7F6F6577-DA5A-4FC3-B766-66CEBFF2600C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e472e71486639d0030dd63f9880bf07574170e62","datavalue":{"value":{"entity-type":"item","numeric-id":3769977,"id":"Q3769977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$351C5969-E93A-4C81-91B5-CEF8362A3BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cabcc6c33339345a4333f2979adeb19662b919a","datavalue":{"value":{"entity-type":"item","numeric-id":3581436,"id":"Q3581436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$629BB1B2-B10F-40F5-89DF-590FCCB11CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$29ABAEDC-E05F-47C7-A7DF-D880514051BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a747f632449cd2b4381818ba8b8f61816ee79d1","datavalue":{"value":{"entity-type":"item","numeric-id":4736755,"id":"Q4736755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040040$E1A2B7C3-AF14-4143-8CCC-D7390C3D08EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063499f181cb00510e740fdcfa4d594a0cee7701","datavalue":{"value":{"entity-type":"item","numeric-id":5897360,"id":"Q5897360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4c2ae7f948eaaf3b9431d641411e6d9840a9dd","datavalue":{"value":{"amount":"+0.8530911207199097","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":"Q1040040$1E3B14DC-42A3-4F3E-B0E1-6C42B37E75F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8067dcdbe6e5a8eabd6902dc7cdce8afef6277","datavalue":{"value":{"entity-type":"item","numeric-id":3142267,"id":"Q3142267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5929015b0bdb0e8d1c7a107a97e7806b2cf4dc16","datavalue":{"value":{"amount":"+0.7072674036026001","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":"Q1040040$3307BE1B-B3DB-4CF0-9E9C-3D2FA12A96C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6bbb5e1a3a2447aa22aa16e34f75135c5de521","datavalue":{"value":{"entity-type":"item","numeric-id":3474280,"id":"Q3474280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704763716f8518cb5c1175b89e4d2b6af2e3515f","datavalue":{"value":{"amount":"+0.7053760886192322","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":"Q1040040$CFE546CE-DA44-451D-8DF5-3F838F38DD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd9e5cacfc9a515f723536fa9ba0f70d9f901d8","datavalue":{"value":{"entity-type":"item","numeric-id":1380432,"id":"Q1380432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10081af7eb1e6f1c7373879122c9c6e11ab19f62","datavalue":{"value":{"amount":"+0.7050681710243225","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":"Q1040040$6BC31E68-9EC7-4D75-8F7C-69756B21758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3514a4a6a4a248864735094514e2ce6a0d1e68e8","datavalue":{"value":{"entity-type":"item","numeric-id":293437,"id":"Q293437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283057e1d53b91abf6c68311cb23cf0c903384aa","datavalue":{"value":{"amount":"+0.6975811123847961","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":"Q1040040$F1AA7DCB-2BA7-467F-9749-63B8F9CF4FEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexities_of_selected_satisfiability_and_equivalence_queries_over_Boolean_formulas_and_inclusion_queries_over_hulls"}}}}}