{"entities":{"Q3540180":{"pageid":5570084,"ns":120,"title":"Item:Q3540180","lastrevid":50499146,"modified":"2026-01-14T05:22:26Z","type":"item","id":"Q3540180","labels":{"en":{"language":"en","value":"A Tight Karp-Lipton Collapse Result in Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369497"}},"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":"Q3540180$9CF988F9-1D1F-46AD-BDF5-80170E60DC6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"302b2a9784c9d8cda5a51f4ddff355d746cf6ccc","datavalue":{"value":{"text":"A Tight Karp-Lipton Collapse Result in Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540180$F92F877E-DE94-4F3E-9E6D-A1A4F2F3B06A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b58df1932c1e1a6df41c623c7915fc0ee91eaf99","datavalue":{"value":"1157.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$444C8150-E2EA-4B1C-92DB-C2E435E9F650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65fa7febb2006c320a562e3abbbc91c50eb22d2e","datavalue":{"value":"10.1007/978-3-540-87531-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$C2B6BD96-C93B-4052-A8FC-BF111DDF4316","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":"Q3540180$BE296B9B-22DE-4915-85F8-DFAAABEAB9B8","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":"Q3540180$CA8FBA6A-A409-4F7F-B3A7-0C8135A863A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$0831FE4F-D7B8-4945-ABDE-7FFB2BA987B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540180$2830AF88-FC45-47C9-9391-7D5638D15A3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4ddb4aecd5c94e3eaf62c0a9f7ef5ce1c5bb8ab","datavalue":{"value":"http://eprints.whiterose.ac.uk/74793/2/advicefinal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540180$77E1CC29-9C4F-4615-9775-8FAFD4518F82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$0544ED81-0813-4AB1-881A-3065CB67952B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$E6B5F2FB-0954-464D-8AA3-B61DCB7AB25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$ACEF829B-5EC1-4AEB-80ED-53C6F2E679C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba99fd023769ced47a0980712c4fd166e9807102","datavalue":{"value":"5369497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$5106E58D-0800-4C57-888A-5F217F1FFFF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8324689a095d918fc32cc42d5915d2d82a9aa9d4","datavalue":{"value":"Karp-Lipton theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540180$22B08EAC-2921-4C1B-87CF-E26B761BB898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4bcaa7445bec056c59ce6aaf9a1f2114fd968","datavalue":{"value":"advice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540180$4A121615-00FF-46A2-B8B0-EE74EB559654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebd7257ec9e1602de680f759a4796bbee725c2","datavalue":{"value":"optimal propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540180$8CEFE7DA-C557-47F8-BC36-96A52E9BD601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540180$C4FD0EE8-6DD2-4C7C-936F-0DA2D81F791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a9d5ba5d586cae1f3eb27ba8cd7fbe3fab9e4","datavalue":{"value":"Extended Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q3540180$F9A3B0CB-1BF9-4345-8685-3A20A6B7FC5C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9cbf4a2edb7de0fd378477b4bfcf37f392de8bdb","datavalue":{"value":"Q59903873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$0B616308-E675-41AD-8A31-EFC2C05904F0","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":"Q3540180$2DA9D754-AD80-45A4-919B-B5A41023B5CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc80f3727c00ebf7539e3bf03e62ea65d44e0e8c","datavalue":{"value":"W1503766551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$1137A3CB-001D-4B94-BF75-AF6CD0F34DE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$4CC1BE0D-2329-4513-B1AD-DCD841E60D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f95a774381c0a85c6c478f1cfa3c8eacecfc93","datavalue":{"value":{"entity-type":"item","numeric-id":1178690,"id":"Q1178690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$780154C2-DE06-4C01-B987-785417C5241E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8164383b94e3fd6fd6d7c12191b3a760a749da8a","datavalue":{"value":{"entity-type":"item","numeric-id":4418680,"id":"Q4418680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$88C2BEA4-C0D7-459A-963E-8F49D7133A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41077c97b504be2e6ac56fb7b26543ed4cb1d08","datavalue":{"value":{"entity-type":"item","numeric-id":859979,"id":"Q859979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$7D482DA2-85FD-4E9B-88FE-7BCED6F586FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651595b6045c6157b9e1cb45dd17869413d65f08","datavalue":{"value":{"entity-type":"item","numeric-id":1775885,"id":"Q1775885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$3DEEFAAA-5B1C-4106-B6B8-A7CFC4289885","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":"Q3540180$5CD7D2CB-67CF-4BA1-B76B-C9102E7EC8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$18547956-835E-4E33-AD02-BBB2D998AD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984975ecbccfcfe41323be323bdb608bb03eb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":5465359,"id":"Q5465359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$7ED991E6-CFD6-4FA1-810B-0998C52A5821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$B29ABDBA-94A8-420D-92CE-90AF739555A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$30CEE01E-41F1-49D2-9A3D-5058B4A2FC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e99b88859c1084b6b9b66a060c1210cf65590c","datavalue":{"value":{"entity-type":"item","numeric-id":5422312,"id":"Q5422312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$5AFCE633-B20B-4BD3-9F7C-E0E0B58363C0","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":"Q3540180$6D897A91-FF00-4712-85E6-1EB486972849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2120b12ab96678ee03b84909ec3e390673400419","datavalue":{"value":{"entity-type":"item","numeric-id":4210150,"id":"Q4210150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$D9EAE677-28E4-4335-BB71-58528CE2FB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$9C4BDB7D-4A75-48FA-8114-6FE0980C568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$E7D05A3F-2661-4B9D-979E-4925BC133EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$973AC4D4-0D05-4EFC-96B2-770F1D5D6991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3cdefc1d006e7d2436d741ee7ac2f9d32d56a","datavalue":{"value":{"entity-type":"item","numeric-id":1853507,"id":"Q1853507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$175C4728-FC62-439E-A197-D243F92C3001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c45ca7e85b7fc779ac39c5df64bc8fcd404d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5687325,"id":"Q5687325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540180$9DD38BB2-8A89-4C0A-BD28-898597112800","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fe5c42ea292f92871a7a962090f9c303648a9aeb","datavalue":{"value":"conf/csl/BeyersdorffM08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540180$F5F2906F-35AD-44F0-B51E-1C067F51CFCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375efe1fa462b567be5541315dc3f50bc5c99f14","datavalue":{"value":{"entity-type":"item","numeric-id":2946610,"id":"Q2946610"},"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":"Q3540180$90C7D72B-4E78-4739-BC94-91EDDBBDFB40","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":"399fdc198b8ad27e1a3c5484bf77b9ced54a3ebf","datavalue":{"value":{"amount":"+0.8791778683662415","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":"Q3540180$0B062461-6B56-4BB8-8D67-D60C03FDEDD9","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":"80229df3ea9a4bcbac48a20553b6eaa77d5a1112","datavalue":{"value":{"amount":"+0.783852756023407","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":"Q3540180$41553386-5E98-427B-92A2-90D5B1CC222F","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":"edf04930d69fe179e76be7d3b80d64d3b6e7544f","datavalue":{"value":{"amount":"+0.7827311158180237","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":"Q3540180$6371183B-8B4F-4E52-8A2F-43D77B5A6F07","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":"74f54a56b6d79e3f58a1c9214720d5f89da14912","datavalue":{"value":{"amount":"+0.7695014476776123","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":"Q3540180$6AC67639-1672-4D74-9B71-B0C48DD710F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540180"}}}}}