{"entities":{"Q1071500":{"pageid":1082252,"ns":120,"title":"Item:Q1071500","lastrevid":69787890,"modified":"2026-04-13T09:23:34Z","type":"item","id":"Q1071500","labels":{"en":{"language":"en","value":"Independence results about context-free languages and lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3940714"}},"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":"Q1071500$A7DDCA8B-B233-4354-A3EA-2CF905186396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01026b3a0272457ba9f1b3a8fd3b07acfdd330c9","datavalue":{"value":{"text":"Independence results about context-free languages and lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071500$C0EEB7C6-81A4-40C7-A7DD-145408850796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9188b3756eab3c330d16bacd80b96f7e4fe797c4","datavalue":{"value":"0586.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$E2F2CD5C-E376-4FC2-80F3-60755D2E076E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8301439e2cf2e6d3f23f49ff68188c269d4393a7","datavalue":{"value":"10.1016/0020-0190(85)90026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$DD80B10C-9B86-473C-AEB8-BEDCF8C1AFA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24581060e1fc674d2a5c7705dc19743c7374ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1071499,"id":"Q1071499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$92DDDFE1-FCAB-4B2E-B8C4-965F505D3E49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$03121649-D30A-445B-8C15-AD562DE2F254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1071500$7AF85CA1-5471-4D68-9ABC-1D659E59138C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6097cce12d0f02eb5c45460ea7cd3fd0a6866b","datavalue":{"value":"https://hdl.handle.net/1813/6446","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071500$443EE2B4-1564-472D-B7CF-F0911FBE46C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0708f17e80803cfdfc726baee074d59e7eb38fbf","datavalue":{"value":"For every axiomatizable, sound formal system F there exist instances about context-free languages, lower bounds of computation and recursive oracles A for which \\(NP^ A\\neq P^ A\\) that are not provable in F for every recursive representation of these problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071500$9D9739A4-C614-4D47-AC7D-A1D36810D0FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$C2E6C74E-1CB6-4822-92AE-BCBA8133D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$89C0777B-24A4-4297-AD6B-E54EEAF18334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$F0AC004B-71C8-4A8D-B0D9-1E89A999FB3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8ca39960b8d2d59777438051221c430535e369b","datavalue":{"value":"3940714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$BBEFE9B2-29C4-493D-A17C-579701796486","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071500$142B7CB7-C021-45F8-B51B-1F7581EB7257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d76a5581bb1bfa59e084a76b879dd189a5ad2dc","datavalue":{"value":"recursive oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071500$681A4A76-CCE4-49CD-985D-EA37AA12D6F2","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":"Q1071500$90A75216-F1AA-4543-B7C3-D2C3A7EEF523","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"346cf9d2fef2d677a4ae50837a04fa94475354c1","datavalue":{"value":"W2085310804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071500$C7B373F8-EBD5-4380-BA2D-2B4C1B65DBEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a7cfeece8562a9ac87120b107e2b528967937","datavalue":{"value":{"entity-type":"item","numeric-id":4773298,"id":"Q4773298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$4D2DADFF-2953-4F7D-80AE-45191C93FCFE","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":"Q1071500$16E3F294-9974-406C-B257-A336B8D3990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45543575358fa9f936229ea1980f01498db37989","datavalue":{"value":{"entity-type":"item","numeric-id":4128010,"id":"Q4128010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$DC49E0D9-33E8-4822-8C9F-CF7F58900062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$5A7C665C-B3EC-48BE-9F63-6136BD231F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48121bb30f26c529a29e3837bfab8d37bf6b36de","datavalue":{"value":{"entity-type":"item","numeric-id":1255490,"id":"Q1255490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$F732DB43-C7E3-459C-85F7-F7BE686CBD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeb3bba30baba223f9809b105566586fcf2db8","datavalue":{"value":{"entity-type":"item","numeric-id":5583856,"id":"Q5583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$239647E0-1891-46F8-8C57-89FD340C8C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9791f4b37ee125203fd0d0075552c144cb2e86","datavalue":{"value":{"entity-type":"item","numeric-id":4162663,"id":"Q4162663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$2507D191-72F0-45CA-8FBB-1ED3E7A1AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ef791ee882adfc8e4af324a7fe87050a82e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":4197341,"id":"Q4197341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$BD01C548-BE52-49F0-9999-1BAF529967E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d33a8bea03e38d0829c039acfebe8d2d278a62","datavalue":{"value":{"entity-type":"item","numeric-id":3676130,"id":"Q3676130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$D5D34A7A-1FA5-44D0-AB42-2FACBDFEE998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$72833AB9-E517-4DCF-9CD2-C45B334C2D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece2270b16b9fbc48e0a9ac072c1cea045ecd584","datavalue":{"value":{"entity-type":"item","numeric-id":1162811,"id":"Q1162811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$4649D9F6-5B00-4AB2-9122-9115A99D4AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$5865655F-0125-4F08-B374-6681CE77370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cefd7574d6776aa0391d0dd90bd375c1811d3f9","datavalue":{"value":{"entity-type":"item","numeric-id":1164414,"id":"Q1164414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071500$58ECAE94-A198-44E8-892D-19E754D63200","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b6abc77ecdb123c2a350422059d29b57db8072","datavalue":{"value":{"entity-type":"item","numeric-id":1091820,"id":"Q1091820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0e0e5c301b45655aa1361d4e07cae173cafd09","datavalue":{"value":{"amount":"+0.7362006902694702","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":"Q1071500$E9C5CEEC-FD75-4AF8-8921-61B5240A7C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04f573e7da81bc482a21dfff05e83779d43987","datavalue":{"value":{"entity-type":"item","numeric-id":2988824,"id":"Q2988824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1333ad64d18b64f84e7c1ee6358e6068352e6e3","datavalue":{"value":{"amount":"+0.73072350025177","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":"Q1071500$A0B042E0-ADF7-4682-8381-EE19BC4EB779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e047350193f4e6f1d8464c4f8d3fec396fbf7e7d","datavalue":{"value":{"entity-type":"item","numeric-id":5384126,"id":"Q5384126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9de4927a68a5f3d53471b910d8796f48bd3199","datavalue":{"value":{"amount":"+0.7285945415496826","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":"Q1071500$21757E4C-BD89-47EE-ACCE-2138F7933E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b570b08caf64805665ad5d626e0965e16c643","datavalue":{"value":{"entity-type":"item","numeric-id":4649564,"id":"Q4649564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c9eb7fbb17d11bc37f1b1b072db950692c2327","datavalue":{"value":{"amount":"+0.7252195477485657","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":"Q1071500$BE17187E-F230-4400-835A-476F6C462425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9ffca5dda6b523aa55899cbcabae81e7d10e70","datavalue":{"value":{"entity-type":"item","numeric-id":3742752,"id":"Q3742752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e261f33a3b36d5c5e06329a7afa35ca3ab859cc","datavalue":{"value":{"amount":"+0.714671790599823","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":"Q1071500$D762A175-11BF-47CE-9843-F87DBFBD5E64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence results about context-free languages and lower bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_results_about_context-free_languages_and_lower_bounds"}}}}}