{"entities":{"Q4864743":{"pageid":6894323,"ns":120,"title":"Item:Q4864743","lastrevid":47395753,"modified":"2026-01-01T15:12:11Z","type":"item","id":"Q4864743","labels":{"en":{"language":"en","value":"Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 846580"}},"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":"Q4864743$CB24411E-64CB-4FAE-8C64-78E4AC37C660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ad41c71277fa21ef3a4c1a1d1b96592f683cc3a","datavalue":{"value":{"text":"Unprovability of lower bounds on circuit size in certain fragments of bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4864743$F3D0CC83-3F4E-4D15-9B1A-411ABE375A7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0c8afc491087306214796234bba1ebaafa6b5c1","datavalue":{"value":"0838.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$66BC1064-A70A-478D-A69A-9D6D2E5842A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4864743$5606FFA7-5B20-4020-8307-452DA60C7CC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1e0a1a9b02531bf6fed85ba6ace9b64bdef2c02","datavalue":{"value":{"time":"+1996-02-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":"Q4864743$2F63AB91-02DE-4E17-898D-95DD0662346C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$8A4E5FC7-8BF6-477D-8F13-DAB923D9C20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$CA965BE0-3EB5-4F92-A9DE-4764A64EB2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$CBCB434B-2100-4505-B537-9AF2BB2E873E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9071b9e7f771ed464ac3d74c7febd38a533e0027","datavalue":{"value":"846580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$8BEAD8DA-BE94-41CD-946A-97F9C24F0AA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37314be3848c4b84866dbc016de17489734285b","datavalue":{"value":"Boolean function complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4864743$470C4EFA-3E05-44CF-A914-1ED7FE16A5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b187c4653e8d6f7975e2618be03cf7aed5aac51","datavalue":{"value":"circuit size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4864743$5BC3C17F-C433-4900-A46B-0313411F45B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07fafd721de8a5af2143c337b0b56250871899c","datavalue":{"value":"SATISFIABILITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q4864743$4EA5A34C-D29D-4840-BEC3-28E419612553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4864743$5EE498BB-A26A-42E2-BE4A-65741663921F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a1ee82607d96fd8e914097a25f8162d0187a62","datavalue":{"value":"strong pseudorandom generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4864743$72213EB8-C496-449A-A4BA-8154BEBEC7D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4864743$D78FF789-54D3-46DC-A69D-BE6DAA52E3A6","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":"Q4864743$7BF4532C-5F37-4D53-BACF-C3651EA37F09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e97c11f4e6b14f28c8629e36372260efaeb8bc2","datavalue":{"value":"https://doi.org/10.1070/im1995v059n01abeh000009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4864743$655920A7-E80E-49BA-9F8A-00628297B2AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31a1e646dbdb7c2cc04602d33416abfdddb49f02","datavalue":{"value":"W2054013713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$C18C599E-381B-465F-9C67-187D87A93817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0f1923007a5ed8b7d4715baf09b61a378edb24f","datavalue":{"value":"10.1070/IM1995V059N01ABEH000009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4864743$78318DF5-BA6E-4A2C-B28A-CD9AE1FDD301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c590b8130d8a3e0e4f26ba36b696ff7a078347ea","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073e2f1a1a4975336dcb0e9df139d8ad833313f0","datavalue":{"value":{"amount":"+0.8407200574874878","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":"Q4864743$2CEB9F35-F90C-4DE3-8AD0-D10E5C576594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bf6bbe6aebf1c5d1c6d66ab585c630011c377b","datavalue":{"value":{"amount":"+0.7956697940826416","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":"Q4864743$0CF27F1A-26EE-45A8-B89F-6538112C6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99656fa8549640caed6056adc1c4975be0aeefc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bf6bbe6aebf1c5d1c6d66ab585c630011c377b","datavalue":{"value":{"amount":"+0.7956697940826416","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":"Q4864743$23A5852B-5C42-4C46-980C-452202DAFF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8a30ceea8c23c439b0c2bf57e1776b9f2d4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f401b2978c2c7c369364e853867406b0570a96","datavalue":{"value":{"amount":"+0.7770817279815674","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":"Q4864743$3E67711D-ED6B-45C9-B6C1-8C06D7A2DD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56f6cc49e8babb67d365ccbe97ecae50ca12879","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2748a44622c0c1ca72ed0b7b3df025f60b3751","datavalue":{"value":{"amount":"+0.7767600417137146","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":"Q4864743$6EDBC40B-1DCF-499B-B153-DE4DAF501F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4864743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4864743"}}}}}