{"entities":{"Q6584029":{"pageid":14195185,"ns":120,"title":"Item:Q6584029","lastrevid":42363320,"modified":"2025-06-13T01:59:26Z","type":"item","id":"Q6584029","labels":{"en":{"language":"en","value":"Higher-order quantified Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893071"}},"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":"Q6584029$4B7910F7-16FF-4F34-8191-77C994170BBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68d085d0839d0e511f17a0efda4f2eeb0683c33a","datavalue":{"value":{"text":"Higher-order quantified Boolean satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584029$6A59A6CA-9EE2-462D-999B-D46B2E267E1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bc30e36f07191a4ecd36454fc0cca4e25306420","datavalue":{"value":{"entity-type":"item","numeric-id":1683926,"id":"Q1683926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584029$7BBBBF08-CB7A-4997-BA54-80C148F60F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584029$DFA2686B-87BD-4BC7-B7E5-3F4DAD8814FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c591b5284131d0899e3646ef4a5fb1ed9391fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":6584028,"id":"Q6584028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584029$E7D8922C-4887-4E62-A9F1-A58374338EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99e236d88f37cc15497b2c872ea8381f2a5704e","datavalue":{"value":{"entity-type":"item","numeric-id":1653009,"id":"Q1653009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584029$5FD39E1A-3F86-4AE7-8876-E8B56B95F56F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584029$ED95834F-2444-4F14-9D76-3B6E17A170D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584029$00DE44D5-011F-42DE-9099-1269328203A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd4798c67a78a77570ec0396a53be22dc905963d","datavalue":{"value":"7893071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584029$27E7DBB4-0FFF-4601-89F3-5E5652DE2B36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584029$F3EF1579-598B-4C43-9F64-E4026D44C4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0da2870b91d158d4254b69bd67586449fe34968","datavalue":{"value":"higher-order Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584029$310ECBD1-534C-4805-8C87-6EDD504E0E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32bcf2f0274e2ed81ab0f5d1957e43ea462f053f","datavalue":{"value":"weak \\(k\\)-EXP hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584029$33264170-2CE3-4113-89F7-B851BD9F1110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89f2f833b3ab8d994fc4522eb974d4dccf12ad0d","datavalue":{"value":"non-elementary complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584029$DE7256D6-01AE-48DE-8967-430FA1516AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584029$30F41726-E456-4BBF-B4B2-244F9C4AA3AD","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":"Q6584029$0F9FAA7F-2DBF-4B92-A751-9C5948BEAFAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f90428d3c6cfa5881c8c5885a931a8ed716febb","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584029$FA402E64-673B-45DC-8834-BF066806D049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584029"}}}}}