{"entities":{"Q2946610":{"pageid":2957330,"ns":120,"title":"Item:Q2946610","lastrevid":85283807,"modified":"2026-06-03T06:37:57Z","type":"item","id":"Q2946610","labels":{"en":{"language":"en","value":"A tight Karp-Lipton collapse result in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483118"}},"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":"Q2946610$CC2C0308-F154-4C5E-A561-ED6FD4ACD791","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5738e6c445f4978e020b4e825e190109f7d602df","datavalue":{"value":{"text":"A tight Karp-Lipton collapse result in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946610$FD90924B-0765-4968-AD8F-CBBB42DD96C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"194398adcd18fcd014cfa60e01ec0cee776fb26d","datavalue":{"value":"1351.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$76877084-5F43-44A1-9C51-B3280B6ED0E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b498f90f1a87295ac00206e52a4828dcbd66bfa","datavalue":{"value":"10.1145/1805950.1805952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$35257842-9035-4371-8AFC-93CA0B207DC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946610$976085C4-FD8C-42FD-836C-0995F91D393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52289fd3fd1c0cc0a283c15d0912218f7cc8180","datavalue":{"value":{"entity-type":"item","numeric-id":553296,"id":"Q553296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946610$93CAAC49-5510-4873-8490-99936CEDFD83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946610$42FD4270-396A-45C6-B584-5291CA409315","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946610$866D4207-0093-4BA0-8BBA-E759B653E9E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$8E2F8C60-3DBF-4AFB-A3FB-5FB10B122878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$1218E210-8B58-451A-9089-3FEF01BCA335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$5DB02A0A-120F-483F-BF1A-DCFB3D170A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$E4DE7EF5-8415-4A89-B49C-16507479B4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f781ad0a4cb2500d774ee63f2b37e5d4163cda1","datavalue":{"value":"6483118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$FE15E770-428F-43FC-82D6-3B7B170D4A67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8324689a095d918fc32cc42d5915d2d82a9aa9d4","datavalue":{"value":"Karp-Lipton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946610$1F5DDDDD-3E70-4DDF-A16F-0CAC3395036A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4bcaa7445bec056c59ce6aaf9a1f2114fd968","datavalue":{"value":"advice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946610$B430840C-9964-4C84-88A2-0CCE6BD1E45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946610$1BE4C93E-016D-4B77-AEA7-413B4897E01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f64e3457e4e7acae043ba514e80ec3e98a76bc","datavalue":{"value":"extended Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946610$B90643AF-CB3A-4769-8A1E-26003C867918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebd7257ec9e1602de680f759a4796bbee725c2","datavalue":{"value":"optimal propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946610$9949144E-2C5D-4174-A659-D597182CF49B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ab1f9a677fc1637dc3928a2f0d7f1622b5046c4","datavalue":{"value":"Q59903238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$88480E7C-4CBA-4192-A045-F9361D67D929","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":"Q2946610$5999C4AC-63FC-4555-AA26-23DDF988B6D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abaa39c7570fff30ef0bf58f5462980ada21fdb8","datavalue":{"value":"https://doi.org/10.1145/1805950.1805952","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946610$2772D723-6D3A-4FE2-9C26-A5F60982048E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7474cd20d6b4d0bc11e6e6ed12aaefb7efc14a02","datavalue":{"value":"W1989692246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946610$C44417E9-5EA1-491F-B331-645B79543BC2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e563cb3aa0ab89760d269be3ee37bc9046e620e","datavalue":{"value":{"entity-type":"item","numeric-id":3540180,"id":"Q3540180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89883c47f93a54c825ee88bdb00c9f4311e2be1c","datavalue":{"value":{"amount":"+0.9854006767272948","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":"Q2946610$2A3D9745-57E4-4BB9-8413-7FA4F19A59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8c1de62b280957483abe98a651b5770d6d89b4","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dcc9374273ae3609d22747355fecf5e0fd7274","datavalue":{"value":{"amount":"+0.8908030390739441","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":"Q2946610$2427900B-C4F8-450F-B274-C84432D57986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffe7d6d2dbd4556226e0b75b718581841e8a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4418679,"id":"Q4418679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff39c5b862b3d530d3c3af9b65bed2b5dd880aaa","datavalue":{"value":{"amount":"+0.7968124747276306","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":"Q2946610$08A92287-A522-4F32-8822-7C162BC41BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012649e0a8cba23dc446934f1e6c7ed1694cf2d1","datavalue":{"value":{"entity-type":"item","numeric-id":1775885,"id":"Q1775885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12539920df4ea5b46f85ddc23bbae97dc88a446c","datavalue":{"value":{"amount":"+0.7956560254096985","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":"Q2946610$F6EE4881-2852-4C92-ABC5-9643015E680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c661109a2cb8100a726d1631b6278611918f0ad","datavalue":{"value":{"entity-type":"item","numeric-id":3618578,"id":"Q3618578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8079e28c86d0dad8974f6d3fccec4d6f42726db1","datavalue":{"value":{"amount":"+0.776938259601593","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":"Q2946610$5A6DDD7B-810B-43EC-B396-A3A7175A4AEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tight Karp-Lipton collapse result in bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tight_Karp-Lipton_collapse_result_in_bounded_arithmetic"}}}}}