{"entities":{"Q6499282":{"pageid":14078055,"ns":120,"title":"Item:Q6499282","lastrevid":38018396,"modified":"2024-12-03T13:42:12Z","type":"item","id":"Q6499282","labels":{"en":{"language":"en","value":"Unprovability of strong complexity lower bounds in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7844652"}},"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":"Q6499282$616904BE-DA42-4792-9DC4-B8B8CB55DFE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25008ff35dcbabb9826281cb0cdba7064f4e843a","datavalue":{"value":{"text":"Unprovability of strong complexity lower bounds in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6499282$7E7AAF75-AC3C-4DB9-B52A-AD7B45193F4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3223da00573b479cf77b2569eda8ad30cbcff0a5","datavalue":{"value":"10.1145/3564246.3585144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499282$AE0003DD-427F-4A58-914E-CEBEAB5FBD7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a536f5f648ddd741ec92d241b23db0eb9586a3a8","datavalue":{"value":{"entity-type":"item","numeric-id":6083550,"id":"Q6083550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$A76F8EB8-0B74-4328-96FF-5817BEE724D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7805073a5ae9040c991641317a6d3bbe630dcf22","datavalue":{"value":{"entity-type":"item","numeric-id":2125079,"id":"Q2125079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$3BAAC701-5DCB-4C95-A233-AE054EBC43EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"591d6329015fe1d528aff69c1e1ba256bd049037","datavalue":{"value":{"time":"+2024-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6499282$7F220B1B-3E78-4727-AD91-E57564363E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499282$1731D886-AB2B-443F-8902-924ED3E1DA5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8522713f47eec1c53a2068b3c38a7b94e2d80231","datavalue":{"value":"7844652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6499282$89A0ADDD-A6A5-4905-ABEB-2FADF485629F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499282$FA9F922D-F883-472A-A555-6BD14B05D516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499282$87D08FE1-DD7E-44F9-B6E7-022CC80F35DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499282$9E3801E8-0DDB-4FBB-8692-09A09A186A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6499282$0535E159-7149-4EBD-9CC0-F4786C23F738","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":"Q6499282$146F2F4C-DEEA-4F24-8B0A-F4C318CCFE7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d25331ccecdfb640afdb45d6669e59a83b63dc","datavalue":{"value":{"entity-type":"item","numeric-id":2947539,"id":"Q2947539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$9E0D8561-9C34-4817-9057-C60A9411A06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$406D1D7C-454B-45EB-94D5-36F9BAB67FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c777522aa8b6ef06e12a47667fd1e8a3c29c21c","datavalue":{"value":{"entity-type":"item","numeric-id":3578198,"id":"Q3578198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$D6C54216-8AE8-4058-9D62-8D73C5957C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$750822AB-35F2-47D2-A685-8594F1E0BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25b6e3a78e9a3f320205259f9976f9eabd886a","datavalue":{"value":{"entity-type":"item","numeric-id":4726174,"id":"Q4726174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$0AF2AAEB-364B-487F-B669-6DE85407B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$EFDAC6A5-E3DA-40EE-AEE4-4AE94687E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f810fcfb753207e78a3aa47daed5406a72625356","datavalue":{"value":{"entity-type":"item","numeric-id":3619867,"id":"Q3619867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$9A551EF8-67C3-4DAC-B44C-43DBF7C36038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83af5c85eb4c97a91c7cf75d396c6fed4e8547fc","datavalue":{"value":{"entity-type":"item","numeric-id":2187260,"id":"Q2187260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$D5465088-3B7E-4C6C-A698-61DF3F2B7516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac051da90312b45e1a154b6bcf5dbaee2e7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1899144,"id":"Q1899144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$BC927E80-C754-456F-B069-E47D448BE1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23400c278c34c4952b60ea1739aefeaf237f99e0","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$DDB8B093-43A4-4A62-A8F4-88BEE19FC9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4289fa36eb6d6c297f3e75837df0dcbd2f05db50","datavalue":{"value":{"entity-type":"item","numeric-id":5114830,"id":"Q5114830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$46813347-CDFA-420B-9239-D648B41765EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e5f19247556a8a46c76eb766aa9031f4dbe5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2288334,"id":"Q2288334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$82A38440-0A86-4241-B8BA-ABB252A31995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc641b2df7e4c95895a03a0fa54351a8f44d0512","datavalue":{"value":{"entity-type":"item","numeric-id":5889786,"id":"Q5889786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$2817C531-8011-4AB8-85C5-0FD8307EA0BE","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":"Q6499282$F5F8CB76-1FBA-4561-87AA-F3414BB29146","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":"Q6499282$D7A2B0EC-2D9A-4E56-9D13-605D44E4C79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$240A34A0-C818-4BA9-AB1F-A905FB3FE1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$879CFB9D-0EEE-48FA-904C-339321D2DE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd5c254fab686780e9e59fda0a6375b9061ba22","datavalue":{"value":{"entity-type":"item","numeric-id":5470719,"id":"Q5470719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$AA429DDF-CC06-4231-8F83-AE335C9319BD","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":"Q6499282$EE4E41B6-EC33-429C-8BA7-63D1428AF9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216faf1fffbbcd9707c5f7418ad53a218bd8eacf","datavalue":{"value":{"entity-type":"item","numeric-id":2155497,"id":"Q2155497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$D0CAF6AE-EBBD-4CF2-9922-A9DE728E1219","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":"Q6499282$16CDEC24-B367-43CC-B924-0410E4F3B68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$45E9DCB7-CB62-4D25-9FA5-2AE9364AF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a7a709c2b108dd48de5fbeff5f583efa5de9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2980966,"id":"Q2980966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$37031AAA-A65D-4DC3-9F23-65D87B053D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$C2484E21-ABA4-4108-BB71-FA56CFF82C98","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":"Q6499282$3E1199D2-8E56-4A4B-8C4B-1BF28CE80E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$9F002826-F432-47A6-99C6-29BB8CFD7CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7907e66b404205363343a5c63fcad380117ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2904622,"id":"Q2904622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$B20486A5-7FC8-4BFF-A51C-442F16B57117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205c7fe6d77c5222e4d8cb8d3554a860b0233441","datavalue":{"value":{"entity-type":"item","numeric-id":2007873,"id":"Q2007873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$BE5EC293-B2DB-41D5-9C37-92C3DFD6E2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$560C1920-80C3-46C8-86DE-BACB8DFB8FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d918d8e81c81e61a7db8ce2ae89da6e6eefc5f","datavalue":{"value":{"entity-type":"item","numeric-id":2488271,"id":"Q2488271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$F8A78D0D-425A-4C08-985A-78D5410E5813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931de89fd04e19357f6e5b8ccff01e105ec8cbb9","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$3FCB0389-58DA-495A-968A-0E2398E7D618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7c5d2354d993f33fdeacb31af59b367a090d35","datavalue":{"value":{"entity-type":"item","numeric-id":2941756,"id":"Q2941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$8690B2CF-E59E-4CFE-B794-B57188BF1133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a464fc382a5b1951f25f50773fa0f19acb5174d1","datavalue":{"value":{"entity-type":"item","numeric-id":6086996,"id":"Q6086996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$9628548E-B5C0-462F-9C50-3ACF12C93700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ce0ee9dd19b0828283a55ea3ec0f693a68ede1","datavalue":{"value":{"entity-type":"item","numeric-id":4010368,"id":"Q4010368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$2FE1E86B-35DC-439F-91A6-4699C6B2C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857361e144f811034a54f6ed659aaba8b0542a3f","datavalue":{"value":{"entity-type":"item","numeric-id":5477362,"id":"Q5477362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$7D2E937C-244E-4DD5-B6A0-573758CDD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$0175D80B-3428-4AC0-B921-8E0036C3C538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$1B6DF7B8-E761-4B62-BBDD-9D83C122CBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$2DAFCF35-511D-4A4B-813D-40F005CF9F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$CD4A2C96-668A-4C72-939F-82527E9256B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$8707B8D8-68E7-4D79-A046-352EF539B2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab084c5ea0620a31c3907d48140af6599137344","datavalue":{"value":{"entity-type":"item","numeric-id":5056443,"id":"Q5056443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$13813317-69A8-4A34-8D69-88BFA4CF2386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9295637fd4e359fc8e65c1b474446e900dfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6499282$356F7AE3-5C6C-4984-91BC-19016D15E5AB","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":"Q6499282$F90E0CCA-3A53-4BF1-9FE5-D2D6563D95F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6499282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6499282"}}}}}