{"entities":{"Q6877207":{"pageid":20759812,"ns":120,"title":"Item:Q6877207","lastrevid":84220814,"modified":"2026-05-13T18:35:28Z","type":"item","id":"Q6877207","labels":{"en":{"language":"en","value":"On the consistency of circuit lower bounds for non-deterministic time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8142703"}},"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":"Q6877207$F1977568-9102-4F74-8050-9400398D6BF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"739fe7e276c7144363491d95350962e63f16deba","datavalue":{"value":{"text":"On the consistency of circuit lower bounds for non-deterministic time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6877207$AD0A2536-56C9-4C98-A637-818C529196C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ffc22dfcbb2832ddf42f8e80281f8066a47702a","datavalue":{"value":"10.1142/S0219061324500235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877207$FED62329-D233-4AE4-99A3-845DA28D2F71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$67D43CCA-FCE0-4998-9FE3-9FA1C736A5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$3B697300-1124-43F4-98A3-39C2BA900A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$F3E7F523-7AAB-4005-90C4-07A74D9F8870","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$F3CE8696-4E95-4F8E-A575-17E1B3E4247A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9eddc63da383b5a21a42c76b87aac56a89cb928b","datavalue":{"value":{"time":"+2026-01-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":"Q6877207$F48EB61B-B07C-4387-8C07-3D1F7B622F86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877207$25284B1D-BEEB-47AC-AD81-5CB2CA97157C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02011e22189cd6b33cef99c286cba05ee2a7380c","datavalue":{"value":"8142703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6877207$E71B7AA9-B816-486E-9674-C94AF8742CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f92bd1505c422e47773c8ab751d528b7507c18","datavalue":{"value":"non-deterministic exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$4B84C519-E70D-4BA3-91C0-603A373B2371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2285ebdbdecc7b43b7d8de07acdd12d531fb45d4","datavalue":{"value":"polynomial size circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$9C558399-789C-460F-9EB3-5351ED1A679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$67E7A9DA-812A-4ED6-B160-EFEFF9239B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$3F896459-C84F-4204-A17D-B1A0BDD48D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1a96ed6ffe2ea3d9e59077ea94ebf582551c14","datavalue":{"value":"independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$7A5810A9-12C8-4F88-AA90-529C789B0D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6877207$908A6DA8-F3D6-4E11-BDE5-BCB8129FB2CC","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":"Q6877207$336BA391-E6BD-4BF6-8BB3-03375EEB39CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cfc99bba2350067184daebe722d48dbe7c45d0","datavalue":{"value":{"entity-type":"item","numeric-id":6428147,"id":"Q6428147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$4F9350E9-5837-4C03-A17F-AE8BA8AE1032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204682625eacda272aedfd607165e41e0bbcbd64","datavalue":{"value":{"entity-type":"item","numeric-id":2257103,"id":"Q2257103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$6FC84D28-A7A2-43B5-BE32-F3CDDB0AA685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$FB07E1AC-D4E9-43D1-9249-4222D7DE6869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$39B69A5B-4A9A-48A8-BC13-5EC3FC3D687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5606b712d2ebf2a2a003c80b8cfe29c7a645423c","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$1FDF9D5D-B12E-4FB8-AE78-A8CA1B384CCB","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":"Q6877207$6238B882-0229-479A-AAD7-80CD5B322E5F","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":"Q6877207$784F2C35-4A10-47BB-91E8-C5C9AB5E6168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50df8731b78af2d67ce749e1ba94706070a7f343","datavalue":{"value":{"entity-type":"item","numeric-id":6943470,"id":"Q6943470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$CD682A4C-5727-4D3B-9B66-FA20F3EC0E9B","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":"Q6877207$B3A02454-61FC-4920-BC97-AA27B9EA5A2B","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":"Q6877207$7F42A7E2-0EFC-4CEC-87E6-E607B9827749","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":"Q6877207$AB55D996-5C9D-4676-90C8-856149EB17C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f82b9cf19e79b70e93fbc8bedcd5979716c701","datavalue":{"value":{"entity-type":"item","numeric-id":1872732,"id":"Q1872732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$D47C7BE6-5CB5-4C45-AFE3-EA20AB5F2C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$10570AE6-EC08-4C00-A1BB-E6E7FA8EAC44","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":"Q6877207$8C8E357E-71EB-4CAD-9607-B0C66764144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83904af4ce7c3045229ccaec38d75eff59e768c","datavalue":{"value":{"entity-type":"item","numeric-id":3323851,"id":"Q3323851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$3B5F784E-F3C7-4BC7-933E-09BB4FE6A4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cded707123398ff6798a322d45de37a4390f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":787674,"id":"Q787674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$25988FDA-E49F-42D9-864D-1B9DBC06A0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$C2D1698D-EB2B-425F-BCA3-0C46DF85181E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905912f2ec63a5e06b29b829589aeea25563459","datavalue":{"value":{"entity-type":"item","numeric-id":922540,"id":"Q922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$71BC236B-7238-48D1-AAFE-AC2A6FA8429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a8301ee2a4412c50f6ca3708d56cc316c8339c","datavalue":{"value":{"entity-type":"item","numeric-id":4010360,"id":"Q4010360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$27996DAE-1163-441F-B333-D2C0CC5472C3","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":"Q6877207$65AE9D9F-8A6F-4436-B176-0E344E9B6631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$76412A0A-54D0-48E0-8EB6-F33826EDB51C","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":"Q6877207$813D1DDF-34D4-40DE-9F73-AF842A5244B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890a4e27ef84585702a7bd9bd16c717586b24cf8","datavalue":{"value":{"entity-type":"item","numeric-id":2659102,"id":"Q2659102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$0D9C1326-4DC7-4581-AC9E-C064B9A309BF","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":"Q6877207$6B5963F2-4AB7-427F-8B2C-5394BE5578B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cddf81db9cbb2a7323327556787a8eb54966c96","datavalue":{"value":{"entity-type":"item","numeric-id":5130843,"id":"Q5130843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$56755618-DC14-4A3B-BE62-0D583CB56293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9962b8ea3e7772fc9911be131656c3716e5aa10","datavalue":{"value":{"entity-type":"item","numeric-id":6944398,"id":"Q6944398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$C2643E1D-A9E4-42A0-872A-8FADBA77CC95","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":"Q6877207$03931A62-C575-45AA-A4C4-9D43206FC0B6","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":"Q6877207$EA5C7798-8EAD-4E29-B57B-8AACFA118562","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":"Q6877207$DFDB214F-3F17-49C1-8844-9328A95241B1","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":"Q6877207$A09921E5-FF89-4022-B4A5-34DBBDC245FF","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":"Q6877207$35205908-F03E-44D8-98CD-B6EFD860CB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$E49F6EB7-A915-4DDE-83C7-0F6A02159B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee372bfe86deb50690e53bfd0affaf6e62ac5994","datavalue":{"value":{"entity-type":"item","numeric-id":488049,"id":"Q488049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$AB904FA1-1222-48E2-A83C-4D13546A5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b017d1f28bd3380b738de7a9b6bd65fdf2dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$38EE9051-9E8B-4EF6-98AB-CF9948D76D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c781337e93f50cfcff52b43f4e06243fa301e132","datavalue":{"value":{"entity-type":"item","numeric-id":2848219,"id":"Q2848219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$AC8C855A-BF10-40BD-8ADB-BD0B4E357910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc97146aeceee8eaaad0fd8ccdac3ec6a9bb7e7","datavalue":{"value":{"entity-type":"item","numeric-id":6828774,"id":"Q6828774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6877207$1E9E826A-B6F7-4FF6-840A-01B868E09BE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the consistency of circuit lower bounds for non-deterministic time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_consistency_of_circuit_lower_bounds_for_non-deterministic_time"}}}}}