{"entities":{"Q4785629":{"pageid":6815209,"ns":120,"title":"Item:Q4785629","lastrevid":48026161,"modified":"2026-01-03T09:58:41Z","type":"item","id":"Q4785629","labels":{"en":{"language":"en","value":"The Minimization Problem for Boolean Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1848447"}},"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":"Q4785629$AA3B2C66-0052-4427-983C-65A995677357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80ee81522bbcebfd9741901e4501117fa368ff51","datavalue":{"value":{"text":"The Minimization Problem for Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4785629$D27148F0-7F2A-46DF-B74D-97AEAACBA716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe28622fdc55a4dfc08fbac722f08d0368b09c4","datavalue":{"value":"1008.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785629$8F0A6E9A-820E-4FF0-95C6-E0902CBB5ABD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64b2c9f8d887e58dffa92c2e9e06ac903ff30868","datavalue":{"value":"10.1137/S0097539799362639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785629$60280985-2DAE-4165-9B26-1BDC896B92D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5f5c67ba04f18de6b92a0e90cb5f04518d29d25","datavalue":{"value":{"entity-type":"item","numeric-id":293221,"id":"Q293221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785629$FE96B3F8-485E-4405-8050-0EB68648C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19271338ab1f986510acb204ee362887c758de3","datavalue":{"value":{"entity-type":"item","numeric-id":751269,"id":"Q751269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785629$F4F9991C-FC47-4FFE-824A-5DD640640D50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4785629$9F7F1484-7613-4DC9-BF37-2D8CF0F31A10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93cbd60b6d73fe7de3d4d867e2220ad7d88c1f","datavalue":{"value":{"time":"+2003-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4785629$868F8C01-5082-4300-9806-10908F4B39E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785629$F90E27B4-CE04-4CEF-AF85-84A2CE22E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785629$9E73A555-2E8B-4F0D-96F5-ECF7954657E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4787c5f3da417931af645917564bc95e19d39ec7","datavalue":{"value":"1848447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4785629$29A7DFFD-B117-476C-8558-E95E45A5E46A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a547de780010faa89857aaed6edb4ca63d1c78b","datavalue":{"value":"Boolean formula minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785629$2B239987-4B3A-4EEF-B26C-C0A4F8D19576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"988b358fcbf7af31021edcb4942c015b5e383ad4","datavalue":{"value":"parallel access","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785629$5F8BED17-1235-42E0-919E-C55AD64A0701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785629$F4A4C232-D9CE-44BF-BD73-6970930E2525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785629$6C3F55C1-787E-41B6-ACF3-1C1A59DE218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4785629$52BBADEF-36AC-4A42-8572-8240CFB03324","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":"Q4785629$E8D274F6-FB53-461C-872F-30B17D41C10F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f614cc1a4b9163a9b7ded2de992f438ad7d9bf4","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7a4817bd5a587b8efaf492358732431d973d82","datavalue":{"value":{"amount":"+0.8336668014526367","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":"Q4785629$7D2F6FC9-08CA-465C-83C4-C6443396C9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369832fe5edfe5290cf1d5c4616390b7a8fe088","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc5a55e4164fe6075983f09d769ca48ef187418","datavalue":{"value":{"amount":"+0.8325192928314209","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":"Q4785629$6C4CB70F-CD5A-4FB6-A006-DAF673E60020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10244f636439c2f69380574916d6a5b62c000f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3335526,"id":"Q3335526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f65f013ca312276e79dc96c0f559ba354875d41","datavalue":{"value":{"amount":"+0.8166486024856567","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":"Q4785629$21F01202-D7F2-45DB-9640-8C2AA912B0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9064644a4a5048e797959a1e4aba711194bab39","datavalue":{"value":{"entity-type":"item","numeric-id":1768604,"id":"Q1768604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696e2f63bc8406876f68c3fef5be41e01bc92611","datavalue":{"value":{"amount":"+0.7944787740707397","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":"Q4785629$239D52EA-4784-4777-89DE-C76B48056725","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":"63fcb876942db77fe25aab852c8f02835a171125","datavalue":{"value":{"amount":"+0.7885910272598267","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":"Q4785629$D80CCB9E-8490-473E-A4FF-B30A006F0702","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4785629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4785629"}}}}}