{"entities":{"Q2216035":{"pageid":2226778,"ns":120,"title":"Item:Q2216035","lastrevid":71576727,"modified":"2026-04-13T23:10:14Z","type":"item","id":"Q2216035","labels":{"en":{"language":"en","value":"The canonical pairs of bounded depth Frege systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285678"}},"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":"Q2216035$359711B4-1344-475E-8C27-5A869FE0D636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2082ef4ac28eef6ec2ae7726147f0e564a030967","datavalue":{"value":{"text":"The canonical pairs of bounded depth Frege systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216035$4C99A069-3800-4188-AEC8-890B775090FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5535f11c7bf2d611272d0f6612699a3860066c1","datavalue":{"value":"1498.03152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$D670AD4A-1F7B-45D6-B304-110E4625039C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$4383FF37-A2F3-4DBF-9850-ED80D67C89E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$C9A059DA-1E29-4C24-A9DF-7E00F8A9FFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216035$1773FF6E-B618-4B61-BBC0-CD37ADD6DBD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a33a03a5a72a8f5546df383c69e5ca34e210f52","datavalue":{"value":"https://arxiv.org/abs/1912.03013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2216035$2B9D93C2-BC01-4577-AEF4-1EF461F73E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$DA03219F-9926-4491-A792-4257BCFC6686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$523476E3-E460-43FA-BF80-C390A7A28793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$15B6AE41-0133-4AD0-923D-848096F05E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$E0707B58-C7E6-4062-A54D-96B034A623B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$8FB8B9FF-7CEB-444E-A07A-71FEEC59EB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$9F5F7F71-3230-411C-BC9B-A1E0F3AC41AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b65ebe8ee1933e940ed3f1d6151b8e81342039d","datavalue":{"value":"7285678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$DF8B8845-8055-45E6-A7BD-3AA68C36D5B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216035$2F826ACC-4E2C-431D-97C0-4C276DAEF233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216035$FDAB290D-B311-4161-9B97-2FA63BEE2E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216035$88BC3CB6-ACFF-4200-B7E1-2312776C32B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2773dc0449ebf96bb1747bc4f2b2f0a2faa889","datavalue":{"value":"circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216035$4C63040C-EED3-4D9B-95E7-96671E070587","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":"Q2216035$42DBC0AB-F79C-4888-9950-070F51E61560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92aeacb826f441be0996fe75da9386e30cf633e7","datavalue":{"value":"W3090281391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$D4F6B53D-4EF4-43C8-AB6B-200CD6220A80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$BC5F09C0-F501-465A-871D-20807836526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2142f5a85db6b3652c1f49393e753643dae84cf8","datavalue":{"value":{"entity-type":"item","numeric-id":716324,"id":"Q716324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$562FB0F2-9FB6-4908-9191-AD910CA375DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bf83626afb25080059b6ed16da69d74215dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$C557DEF2-6853-4A60-9CC6-BB0E024C9DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f92f7cc06a90828b719727f617433d9bcf72bd","datavalue":{"value":{"entity-type":"item","numeric-id":5169973,"id":"Q5169973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$913A633F-B90E-4E09-A55D-11846AD9F96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af14d1eea6d8fc364f0aaf35446b8388a288328","datavalue":{"value":{"entity-type":"item","numeric-id":1764155,"id":"Q1764155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$496E9FE2-4773-41AA-AD05-AB4136F2A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$21773095-1E67-495A-B9A8-07D84BA17234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$AF51E31D-28E8-4DB4-8DE8-D61AC950DAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$C1E8FFE0-FA56-425B-B047-1F90E958383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$917AEDBC-44A8-43A4-B406-29E0445FE172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9525b7be0983ffa3de90ae1f78cfbc97ee9db26c","datavalue":{"value":{"entity-type":"item","numeric-id":3012836,"id":"Q3012836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$7C045C43-008C-4549-933F-46D1DB091061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103a56da6ef202bd58868465f13d09f78ea35d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$8AA7BF3D-E845-4585-9D81-114DDE919695","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":"Q2216035$A241E67E-85CA-43EA-9D18-EDE2567A5141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$8E17B95A-7481-49F7-9A95-80F31BCD5352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$DD3C757D-BF3C-4932-8094-19863ACD9DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$1F00684F-B3BA-46B1-A05F-C951B4B06F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$D4287165-B9CF-4FD7-987D-E0577A756C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216035$70388805-4DE5-443C-B289-BAC8173D6E41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4faadfca8e2d5edca3c98af7b1165fdfd18450f5","datavalue":{"value":"10.1016/J.APAL.2020.102892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216035$1BAD5C6D-6BAC-4ABA-9ED2-A5CBDD65FB24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f4bd2bd27868614844e08ceb0befc57be925d","datavalue":{"value":{"entity-type":"item","numeric-id":2946607,"id":"Q2946607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8818c261d30f5aa6d90398695648989b20b0a5","datavalue":{"value":{"amount":"+0.8089262247085571","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":"Q2216035$B7536391-BB19-465D-80D2-A74652DB141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a6c66aa2ba70fe44846f77171e6fdce66c3b3c","datavalue":{"value":{"amount":"+0.7516897916793823","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":"Q2216035$210B0812-5BBB-42CD-8500-F07CE8FD67D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b229f27005b3ddd16863d120c83416fe77a57c","datavalue":{"value":{"entity-type":"item","numeric-id":5492875,"id":"Q5492875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ca7967e19554ae75ea220760832b6367962c9d","datavalue":{"value":{"amount":"+0.7490165829658508","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":"Q2216035$242BADB2-A614-418B-8CC6-9C8A09BDFF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8111f0c19f92dbadfd4732ee48029b08b6bd9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f55c2f721e887fb7062c12b563973bb0a724be7","datavalue":{"value":{"amount":"+0.7447940111160278","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":"Q2216035$7BA0ABB9-DD77-4988-B95D-05D7EAE6ADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a71db7b0f6d1d263e0d7ae3afa9d94db29aba7f","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f7b9b5c70a572cd539c2e8aa175f42a17b55ef","datavalue":{"value":{"amount":"+0.7446082234382629","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":"Q2216035$E07A66C7-F34D-4B1A-A313-B0EF9A33CCD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The canonical pairs of bounded depth Frege systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_canonical_pairs_of_bounded_depth_Frege_systems"}}}}}