{"entities":{"Q2947567":{"pageid":2958287,"ns":120,"title":"Item:Q2947567","lastrevid":52351289,"modified":"2026-01-22T10:36:56Z","type":"item","id":"Q2947567","labels":{"en":{"language":"en","value":"Parameterized bounded-depth Frege is not optimal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485177"}},"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":"Q2947567$724B44EA-9503-42EC-9121-665257CBB3AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"575742a9856c08fd5aac77f06208c2b7599f102e","datavalue":{"value":{"text":"Parameterized Bounded-Depth Frege Is not Optimal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947567$A4F851D2-9597-4784-A3F1-D86FCBAC47C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb55b0ab0ccd2a1b64fb21529d4af943eac01c66","datavalue":{"value":"1322.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$FA2D7773-9108-411D-8419-0082AE82C31E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18f18848d6910a6c25674c68e874f8737cc003e","datavalue":{"value":"10.1145/2355580.2355582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$331B8DB8-3524-4905-BD62-561A7BA95EB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947567$96F1C999-8266-40FD-8B3D-AE55585286D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947567$87E00315-79E0-4C3B-B7D8-285606898F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68b55be2ece07cb26d32f7d1e491763db7999e1","datavalue":{"value":{"entity-type":"item","numeric-id":930902,"id":"Q930902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947567$15BACB27-9BC0-4DAB-96FE-8FBC3A7064DD","rank":"normal"},{"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":"Q2947567$6522E0C0-C5B0-4D95-B484-0837A5B82EA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947567$3AA45124-C864-4840-A440-8F39130E40FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947567$11DB1043-3080-458C-9D47-D3DE69074572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$CAFE9AC2-A2E0-4A9F-B6BB-6B8B2497DD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$E6F07161-2D66-4A1B-A913-F14730A4B233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a5c1698f884e47c0c111f1cb54ff88c853dad5","datavalue":{"value":"6485177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$3D2FA00A-38E8-4121-A7BC-A558C67D3BEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947567$6C97915B-A1E0-4E1E-BFA7-ED4E2B301C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947567$7E954445-708B-419E-86F8-D57278E5972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed3f28afa53ef5724016afecbd146a50d98f998","datavalue":{"value":"bounded-depth Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947567$60FBE84C-4536-4FE4-8BAD-583776D884F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947567$04D18B6A-065F-4E6C-9FF0-3CCA39FEEFA0","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":"Q2947567$DD2B3F52-F9B6-4C0B-9205-773DED06F2A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c50a37e84e1517e0645495ab46f61d0668b6b3cf","datavalue":{"value":"https://doi.org/10.1145/2355580.2355582","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947567$31953A80-489E-4081-9FC3-5188B2F077ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b1d4841e59fe4c754563665d4c080542a211d32","datavalue":{"value":"W2092508401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$B9193160-4BC8-4198-88CF-010704330AF8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2393aa41ab7f9ed502d39ce8be7419eef1700c55","datavalue":{"value":"Q59902355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947567$22A48ACD-D978-45D9-A66C-B0E78B425484","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b40118e8dd8f1de4a9281b291c59cd388043e8","datavalue":{"value":{"entity-type":"item","numeric-id":3012838,"id":"Q3012838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ed84da9c3f211320c808c31030a2aa37864ff0","datavalue":{"value":{"amount":"+0.9961004853248596","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":"Q2947567$D1628C67-2F08-48E8-9854-2EB33265D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c2af1de7f58122c0be9cb361053d7c235e616","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbeef3c9898b295e7937765a08a92c47e7f4996","datavalue":{"value":{"amount":"+0.8733134269714355","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":"Q2947567$67679F93-43AE-402E-93FE-5052A85020EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b36f4f048ba74d5c86c997359e7b201233c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4651534,"id":"Q4651534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a61077a2031ad95f2f1a523d7b0bb6e45d0eb0","datavalue":{"value":{"amount":"+0.7994170784950256","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":"Q2947567$971EAE5E-A70D-4572-9BC5-38695553F003","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":"6b69e00ca764a28432b08e8fc76e2422aed1cf69","datavalue":{"value":{"amount":"+0.7960509061813354","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":"Q2947567$EE53D03D-400E-4DFA-B775-65CEA9B99EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46261b0b6fef3d6a615e57e72104c0a989c8a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4899242,"id":"Q4899242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbe515f28ff6dfc2589688b268fd3353d8aa1bc","datavalue":{"value":{"amount":"+0.7957844138145447","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":"Q2947567$C9A25A74-7736-4012-8A97-2DD14C55CC88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947567"}}}}}