{"entities":{"Q4308607":{"pageid":6338208,"ns":120,"title":"Item:Q4308607","lastrevid":47269654,"modified":"2026-01-01T04:42:28Z","type":"item","id":"Q4308607","labels":{"en":{"language":"en","value":"An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 650776"}},"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":"Q4308607$3755A531-4F49-4E51-ADCC-17DC5DDDBF48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63495df1069d4cef481f897ef12b4f523a9d82fd","datavalue":{"value":{"text":"An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4308607$E5160521-69B4-4461-A8AA-02289EFCB5F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a37ad3d2eeb883c686f8d01952948bf11a1628","datavalue":{"value":"0799.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$342D1FFB-6E26-48B6-AFE6-0C15DFF98BE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4308607$9D6083B8-BF19-4DE6-BA63-F4380E310798","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":"Q4308607$4EB42DE5-4219-4660-B545-DA71350B929D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4308607$5F1C30E3-B286-4714-8A1D-E83FCD7262A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c738d73bef3f81bc2de3a0b0a93ed80833dc961a","datavalue":{"value":{"time":"+1994-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4308607$5C595878-C4DB-49EF-BEEE-C3C9E2E3AF82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$966237D7-FB27-45C5-94AE-BF676B6BADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$A8065EC6-86BD-46EC-952A-7B4FD06C8724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb9b0c3c1e710547cbb51ae3f7a3dbf78f59b57","datavalue":{"value":"650776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$A4C81B1A-2DD8-4C8D-A4B4-2D489E997BE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$7668569B-DDF3-4DE4-A063-86089314202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35afb24aaae354b38e675b5c9e498530dbc66b1","datavalue":{"value":"definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$54ACCB77-6D64-44DD-B712-17C28C83CAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$D6220312-5EDF-461C-97E5-9CB4AC8672DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eebe0b75099119d5ed0fd55b0d34a9fc478c66eb","datavalue":{"value":"Boolean complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$7AE2042F-6F79-41D5-9537-FD32BBEF50A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$ABE8A848-FDAA-42F7-8A45-6EF93783B442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0c6ad5290f09285ad0e447578cd512e4a708da","datavalue":{"value":"polynomial local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4308607$B3E2581A-9148-444C-AD36-54D2E6929341","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":"Q4308607$60C468A2-A03D-429A-AAB2-E584914B782C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054a50ae2f5a832adc790845c33ea95da00d1990","datavalue":{"value":"https://doi.org/10.1112/plms/s3-69.1.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4308607$280567BC-B83A-43E3-B323-BE00274F858F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d26cc1afce3be7a64c0bd84aff7b643fc4cfe00","datavalue":{"value":"W2133313069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$629AC466-7EFB-4866-AA59-6B468928DD46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86bb1a98e35ac99f6ffd3dab7102cacc7d89b797","datavalue":{"value":"10.1112/PLMS/S3-69.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4308607$B7808602-55EB-4AF0-AEAC-F2CEA9714EE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58b28fa0144ef8ba6fb77ad28e370882e541a0e","datavalue":{"value":{"entity-type":"item","numeric-id":4227882,"id":"Q4227882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a0c5aec6a37a3af8c7a5366ddc68c3e4ca1d73","datavalue":{"value":{"amount":"+0.8464124798774719","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":"Q4308607$A49D1033-4727-4797-9FA9-15F4879823D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bc1d90669b84f25e688fb302bd53ac1499f65b","datavalue":{"value":{"entity-type":"item","numeric-id":3583040,"id":"Q3583040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b773b4805b0032d008617b9629cc3cad8f1714ff","datavalue":{"value":{"amount":"+0.8458295464515686","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":"Q4308607$86E76DAD-C4B8-4574-9BFF-420DA8085E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993509a33532914918307100a319a6c6d917eda6","datavalue":{"value":{"entity-type":"item","numeric-id":3137488,"id":"Q3137488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e2968fa9f0cc4caf3d0d53a5e391ea27d20b23","datavalue":{"value":{"amount":"+0.8107287883758545","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":"Q4308607$9230D02E-630A-405E-8371-BD1E96F19214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aed8b15f4505adb9e56c6f28a3793f6caf96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478b798b0791b935f91ca6726c19bc78a8054590","datavalue":{"value":{"amount":"+0.8043082356452942","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":"Q4308607$66DE0F02-6B8B-40DC-9187-03F16F56A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdff4b630112b2ca79e712c2bc0c3bd4037d2cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3081638,"id":"Q3081638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"902c20b7236b3fac85667825661db694eaa90cab","datavalue":{"value":{"amount":"+0.8041066527366638","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":"Q4308607$9A2B2605-E031-48C7-B1D7-7C72AE36C1EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4308607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4308607"}}}}}