{"entities":{"Q4924642":{"pageid":6954224,"ns":120,"title":"Item:Q4924642","lastrevid":51734441,"modified":"2026-01-19T18:13:59Z","type":"item","id":"Q4924642","labels":{"en":{"language":"en","value":"Exponential complexity of satisfiability testing for linear-size Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171999"}},"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":"Q4924642$EC707EC3-3377-4E75-8D60-B2630F49199C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89844fdddbfbb94d9c20d9cea0c45942c68e6e9d","datavalue":{"value":{"text":"Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4924642$58C1D957-3844-4277-9CC3-09A7888F0A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec46e3805b42288af314f4cee203b4195d45990a","datavalue":{"value":"1382.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$1B24A051-6EC4-4FF6-AB8D-E9BBE96DEDBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c60ffb07054b71b5a7e03d8f8ad8c8c5d8b42bda","datavalue":{"value":"10.1007/978-3-642-38233-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$712C5294-69F1-463C-8A55-48BEC4A777C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924642$DD6564EA-E7AD-4ABC-852B-C337567302D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7649139491eb61f49fb33ab9e9af5fa921190939","datavalue":{"value":{"entity-type":"item","numeric-id":1791021,"id":"Q1791021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924642$70D51B52-CE6C-4E8B-8418-1BAE6503932A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4924642$90ADF612-7E5D-47F1-A59F-42F5371C5B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a8303ee696998ba030c9b1c3b6bc07c6038c334","datavalue":{"value":{"time":"+2013-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4924642$69CC9583-5A00-440D-BC04-A756F0CF8D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$3E6D1215-3627-4FDD-AB9D-0CA170759A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$55F27C1E-9331-4F8F-80C0-BECA8F471FEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff1980e02d7b9168139fba13e520ad9c97fbbe6","datavalue":{"value":"6171999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$DDA302B3-BC68-4DCD-ACB6-27C623182AE9","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":"Q4924642$B293A38D-515F-4B91-9C31-48F5BA225639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc6271e40bd334b28f2a7693dcf34ee70b050c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38233-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4924642$E910E730-4725-416E-AE6D-A334934C59CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95f41789d3e7f79792844ede6ef1a9fdeb6a91d2","datavalue":{"value":"W2140202836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4924642$793A9B9C-33E3-441B-B35A-CBAEFB578ACA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755bb9e2da3e04a3fdd2a172851bfa20892491a7","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b68498ecf7ba27586a761361fbf2f3b75e48b81","datavalue":{"value":{"amount":"+0.7928456664085388","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":"Q4924642$5005F35D-776D-45DD-AB31-86C44F9231A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a631c9d1b9d9e15a31b67059ba137fca4172c32","datavalue":{"value":{"entity-type":"item","numeric-id":2843300,"id":"Q2843300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7a0bc1ded7b5281aca3c976e6b98f6f3a1fd4a","datavalue":{"value":{"amount":"+0.7848645448684692","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":"Q4924642$5F557A47-BA7E-4723-8D4C-3E6EFD1A13A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237f9300946525b55ce9073d9823797bf1ed71e5","datavalue":{"value":{"entity-type":"item","numeric-id":354655,"id":"Q354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41538c4bfdd33e601a4897d3237eb34da9626bbf","datavalue":{"value":{"amount":"+0.7845905423164368","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":"Q4924642$8054A9BD-20BB-45F6-9FA1-40120C52F5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8b308bf65c969dbce03437cfdf931b07768e3c","datavalue":{"value":{"entity-type":"item","numeric-id":2875150,"id":"Q2875150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ac4aec3957ae2f1b94aeb080c0c93f9e99c305","datavalue":{"value":{"amount":"+0.7822561264038086","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":"Q4924642$3DFE4F43-E5E2-4FCC-943F-0FA8B4590CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c885c69eab137913cda2cc53f6b65a22423eaea7","datavalue":{"value":{"amount":"+0.7802718877792358","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":"Q4924642$F9F0BB19-BC66-435F-A1F9-3EAEED3A5D06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4924642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4924642"}}}}}