{"entities":{"Q2475408":{"pageid":2486151,"ns":120,"title":"Item:Q2475408","lastrevid":50301299,"modified":"2026-01-13T19:05:21Z","type":"item","id":"Q2475408","labels":{"en":{"language":"en","value":"Proving SAT does not have small circuits with an application to the two queries problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5246769"}},"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":"Q2475408$E083C889-97B9-4E49-81C7-D15A5DFBAC7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c98313428c44281d5c5960ba313b1d700f2593d3","datavalue":{"value":{"text":"Proving SAT does not have small circuits with an application to the two queries problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2475408$519CF9C7-61BE-4F1F-A13D-86F8179CB5D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bbfe65488cbce57f8281f4b9b800812138ab4c3","datavalue":{"value":"1135.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$A9F9AA0B-96DC-461C-A5CB-B4D14EA0FB31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717bd7e49187dccbd000704e69f42d17b3b2d5b2","datavalue":{"value":{"entity-type":"item","numeric-id":208054,"id":"Q208054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$59E3004B-CFA8-4901-872F-4A49DE5F7A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2cfd616b49234fe8c48e1d0d610222718b314b0","datavalue":{"value":{"entity-type":"item","numeric-id":2387198,"id":"Q2387198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$DE1284C9-BF0A-422D-904D-A940DBAC1EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe4057f7ea6f8b50335cff0c4e37872da7faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1318472,"id":"Q1318472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$30CAA3C1-844A-4E6C-8113-58A23580AF20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$AF33393B-F129-499F-8CEC-F0E12833CDC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5191b06fb6cb88c011afaa0f154255cfe3a8de0","datavalue":{"value":{"time":"+2008-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2475408$8818FC8F-8128-4BF7-883A-89EE34DA4815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$A721222D-9412-438E-8D52-D41B510D56A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$61682AD9-F3F5-44E6-B8B3-6E1EAEB158FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$5955CD69-51A5-4F5C-96F1-5059D62D16EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b5b4cd271e906088d6ad6db9ed3db023ba8598c","datavalue":{"value":"5246769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$6CB191F8-FFEE-47E5-8A78-1EAE8D2D620C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475408$223A167F-F9D5-4B25-B6FC-D7360840D99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3d3c7d4733251d1b85df17c865ce8e2366c20a","datavalue":{"value":"small circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475408$043DA14F-32FC-46F4-89D7-70E4E22319B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa362fc09b305790d41b87c70c2d7de73aea056","datavalue":{"value":"two queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q2475408$1B0514CB-809A-461F-8562-EF49E494F86B","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":"Q2475408$2D6FE020-28B4-48B8-8BF8-464BD158B1A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acc4db94c87b71218ab084e99113b2bd62c1eb5b","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2007.06.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2475408$F9D11CDA-606B-4F90-8E2A-5EE9DF5F917C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"355febed831bdb7b49ea1c29ed79c8c252c84bf9","datavalue":{"value":"W2013387708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$96ED2995-5563-430A-AAA8-FE84D4F17031","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bfe07f4dda7d726618c463adce3babd3960876","datavalue":{"value":{"entity-type":"item","numeric-id":5289273,"id":"Q5289273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$266D6A0C-B282-459E-99BD-C5A9E4E3E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8485af4f2dd4cfae0164b58f96a808b5d82c01","datavalue":{"value":{"entity-type":"item","numeric-id":1924380,"id":"Q1924380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$92653BE1-AC03-4634-A0A7-B0DC876ADE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf21b505b1db4cdc3a167da928476658c779f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1961371,"id":"Q1961371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$10A014A1-A1F3-41CE-9E33-C0C4CFC9EE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668c5b2da34a3aec680c0f5e66f9e4d87ccb409e","datavalue":{"value":{"entity-type":"item","numeric-id":1351599,"id":"Q1351599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$4A9E541A-F9C8-457F-A76F-5DCFEB1518CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e02d789c690c4ce2b5c788e44ec22ce9bffeca3","datavalue":{"value":{"entity-type":"item","numeric-id":4877522,"id":"Q4877522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$AA5CA152-B6A8-46B8-A6EE-0190DD76A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$050A1A4F-9E1B-49EE-BD4C-D83FB27C9655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$CCFD0F2F-C0D5-408F-8A65-06829518D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2a1a71b49ec8a49d1aaa20916821b36ece12fa","datavalue":{"value":{"entity-type":"item","numeric-id":3815290,"id":"Q3815290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$7351E898-624C-4A39-85D5-1D2201948892","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":"Q2475408$EC6EED83-E34A-45A4-AC91-FA3038E8F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1644b84d3838bf2933f19816a06e0772adad2efa","datavalue":{"value":{"entity-type":"item","numeric-id":1272661,"id":"Q1272661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2475408$B3FFF1B8-9BAE-47D8-9688-B64AD07C9DB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce2c345796e8d44a3e11c6faef7566f738dd04b","datavalue":{"value":"10.1016/J.JCSS.2007.06.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2475408$4846CF45-874E-4B7F-A06D-C959FB52D0DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc78a1f2db2ff7736a432efaf375efc18f7976b9","datavalue":{"value":{"entity-type":"item","numeric-id":4258567,"id":"Q4258567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2310d2e5639fc1cdb1afafef434dc95c5cfa2d3","datavalue":{"value":{"amount":"+0.8303741216659546","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":"Q2475408$C83A2E23-331A-4CDF-A4CA-927A8569363E","rank":"normal"},{"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":"e2310d2e5639fc1cdb1afafef434dc95c5cfa2d3","datavalue":{"value":{"amount":"+0.8303741216659546","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":"Q2475408$408D52CF-F1BE-45EE-8AB7-27B75627FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0cd5616231ae4d18f8d0b2e79c6d1055e66301","datavalue":{"value":{"entity-type":"item","numeric-id":1961371,"id":"Q1961371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5a8dc3060ae806e167dca0e5685473462c99f7","datavalue":{"value":{"amount":"+0.7865003347396851","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":"Q2475408$0ADFB06C-6516-4C48-B76F-9B9EF6FB1F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1339f261c7a40aa6d30a7831b30aeb7bb6f3bd45","datavalue":{"value":{"entity-type":"item","numeric-id":4210150,"id":"Q4210150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a756f47c037ab936b6aa9c1aed2efeac8fb336f","datavalue":{"value":{"amount":"+0.7739759683609009","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":"Q2475408$EFD5A67F-FEF8-40CC-AA9B-01431253A0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad67e0d0f7606665242f0946a2f02dffe1a8a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1178690,"id":"Q1178690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aee42b60954f4c4c109fb5507dcaed8a73a88ce","datavalue":{"value":{"amount":"+0.7733595967292786","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":"Q2475408$A3339866-33A4-4716-9846-9FB0A13F7D4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2475408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2475408"}}}}}