{"entities":{"Q6925609":{"pageid":21056701,"ns":120,"title":"Item:Q6925609","lastrevid":101363648,"modified":"2026-06-06T00:57:28Z","type":"item","id":"Q6925609","labels":{"en":{"language":"en","value":"On the unprovability of circuit size bounds in intuitionistic \\(\\mathsf{S}^1_2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097726"}},"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":"Q6925609$38EF3940-FF1C-4950-80F3-F2DA4A96BFBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef876c78335bc5dae71307a4a5f9573f2561b2b","datavalue":{"value":{"text":"On the unprovability of circuit size bounds in intuitionistic \\(\\mathsf{S}^1_2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925609$D7E6A64B-F4D2-4B0D-A41F-2ABB8E6B2467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d20fa86892deb0485a6694f261eb792ffadb8bf","datavalue":{"value":"10.46298/LMCS-21(3:26)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925609$F9A8891B-689D-4A58-BD93-2FB8276B1ED2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872548a5717e13b0f642923365c9967954f53b31","datavalue":{"value":{"entity-type":"item","numeric-id":2481025,"id":"Q2481025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$EB19936E-CAFE-4532-8DEA-2BF86CDC4B40","rank":"normal"},{"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":"Q6925609$6021E717-161F-40E4-B216-542DAC104783","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":"Q6925609$61A2B927-2455-439B-81C5-0D47344EE520","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$68E2D9C5-8B7F-4C2A-A903-823B79B4BE24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6925609$D66283FE-A4C0-4985-A42C-E7E04C934AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925609$0ACB15AE-C65E-42E6-A8FD-B753C42C4ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925609$CA190C38-E857-4288-9E0A-9D16E41B3EE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a975ab75dff9f77ec287f8a786d692387f5e8772","datavalue":{"value":"8097726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925609$8EA4077D-012A-41CC-9E75-B648525E54D0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$65B5F3F9-BA3F-492B-B7CE-9B6D0C81A8D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925609$089D7E65-6738-40FB-B042-810A57B0CD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925609$92A6119F-2083-464F-8C8C-8C047E8B2DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925609$125C953F-F3CA-4E6B-8AED-653C15073900","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":"Q6925609$026559F3-89BA-4297-8CC8-C1E5BAE0C41D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$CEF29170-2501-4718-9DEB-3E6A907092A5","rank":"normal"},{"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":"Q6925609$19468D76-BD46-4ED9-B3B5-4FE303725D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$7B46EA46-9968-467E-A518-6941E02BCC7C","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":"Q6925609$98751285-2E1D-460C-99EB-0CC754581673","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":"Q6925609$8DD4560B-68A3-4514-9FCE-35ADD90C8118","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":"Q6925609$F755C88D-A218-40B5-8F4D-FA556B37A5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$96D9EFCE-8C35-4D8A-8158-AF26003D6FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4489775ac4fe4693cafe9f4393b82cee4cc4e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$4DB49D44-4549-4A88-8850-7BC6209B8A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a92b4f123fa4e9d402c12a53dc896b2f39e4867","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$88FBC992-C5F9-49A5-93BB-B498CA981E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$E8B11E7D-0374-4634-BEC0-642EDFF6AA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b645023a8d04cad0a14618e2426e86442be9","datavalue":{"value":{"entity-type":"item","numeric-id":4704759,"id":"Q4704759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$6744A7DC-37C9-496B-A02F-979369A71257","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":"Q6925609$DD9DB868-2B5E-4F8B-96CE-AADF8B56F66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$1105D864-226E-40CF-BB1C-ED52EDF03A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1526ad5b071169c7644395463f6f975adaacabe8","datavalue":{"value":{"entity-type":"item","numeric-id":4393165,"id":"Q4393165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$BC01B8FE-5D1F-49C5-B0D0-CFB99B6373AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7552d53fa71ff91555a1c402a2a60f85ea13602a","datavalue":{"value":{"entity-type":"item","numeric-id":2475580,"id":"Q2475580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$557F5616-2AF2-40F5-BBDC-ACFDA1886229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0f8183cbda123ce43acce41bfdebc0fdb8836d","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$2827462D-B1D4-4A19-BCE5-BB4271194214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc62a7d0c8e9762ad2050016eed3f052ed0ba7e1","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$E26BBE1C-32BE-4374-A7DF-D18C93F1F2E0","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":"Q6925609$4DF53365-16D6-4213-A5ED-E2883379C3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$722CB1DE-996A-457E-A6B0-FB6AAF1ECF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69c6bd35d6a46c79a1a093429fcbf25fe8a0b79","datavalue":{"value":{"entity-type":"item","numeric-id":4268484,"id":"Q4268484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$823D51F0-B96F-460F-95F4-57F2C810E1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$933D53A9-824E-4185-A077-C17987A7FF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b195aa3313cbc2f113266d59b0433801d69fb","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$637374D0-0AFD-4B28-95AA-AAAC9989DE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e7ca617d267cac88bebd3db43c967df334a76b","datavalue":{"value":{"entity-type":"item","numeric-id":6499282,"id":"Q6499282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$2CD91E1F-8C4F-4921-BC18-6FD09A91C048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da9050e0e689fa74d61905eaacaedcbb02e9d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3520239,"id":"Q3520239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$C6EB59EF-0689-4AB7-B78E-1DE68A32E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc72d21d33f60485ee2ac0fdffc03aeaf1bc2370","datavalue":{"value":{"entity-type":"item","numeric-id":4978012,"id":"Q4978012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925609$C483AEB1-908E-4C1E-B11D-F09C264BA6A7","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":"Q6925609$A41CC8D8-850A-495E-8070-D77D739522B5","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":"Q6925609$069655EB-D88C-4099-8AC1-6CA801B841DC","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":"Q6925609$DCA50904-D623-4868-9D3C-0B8087E21200","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":"Q6925609$34EE229D-1015-490B-8840-FFCB2D660C87","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":"Q6925609$E3576906-1C61-4FD6-AC81-E95942792996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6925609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6925609"}}}}}