{"entities":{"Q4375795":{"pageid":6405394,"ns":120,"title":"Item:Q4375795","lastrevid":46994103,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375795","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114025"}},"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":"Q4375795$FDE210D7-7457-4DB9-9019-BCA39FCD0437","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211d874783abad77203eda0cfd4a58ffac1b0224","datavalue":{"value":"0891.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375795$F2DE86A4-DFBF-4621-BDFC-D8D637BB7F48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7458267cc15a417eccd24eb44de7acc2ea5a8723","datavalue":{"value":{"entity-type":"item","numeric-id":696976,"id":"Q696976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375795$7C996A5F-B819-4FAB-A66B-11ABD391992B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375795$8DCC4E0C-D548-41F8-B14F-EFDB09B58FDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46d510eec3e7ce58270c726463ed6b80c4b4fd4e","datavalue":{"value":{"time":"+1998-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375795$71B30BEB-76BB-4D82-AE90-C47B0DA311E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375795$7C04D77C-0E9B-4AB1-8F57-695EBC2A7DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375795$362FFE16-E519-435C-B1F8-AE6C4DCD48C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375795$658ECB18-C00E-4C76-A316-0DC3929ACA7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f36411ccaee4a8663e10bf840997c88845a9a91","datavalue":{"value":"1114025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375795$797180DF-DED0-4931-8ABD-757B95D4AFB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc10f0c77d4d2c72e217f966c45e1b2536d88e52","datavalue":{"value":"bounded-depth Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$561E672D-FE3A-48CA-8E58-B812DE167D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395d4422770a43699f3ec7e7deac702f83a2eace","datavalue":{"value":"counting connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$98EB345C-0399-480F-BCE0-C3766A9878E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b767d46601342e2333755c1d7e898f91bbe767","datavalue":{"value":"quasipolynomial-size proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$C41A42F9-1EF4-477D-8526-12990944DB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6dcee190e3022869f151953d5e8b64f4e9a052c","datavalue":{"value":"threshold connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$8E13E385-BC15-41F8-B162-4CBBDF4D29BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$27AC2384-DD85-4E30-9023-647B9DD63322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f7dadbcf92374ff1eefffd72840523172a5707","datavalue":{"value":"modular connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$5280A674-69BA-4B46-A78A-1318D8CB5600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f99d93010c2056aaefcd73af2d7e2bd228d7af5","datavalue":{"value":"propositional theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375795$3AC7465D-2F2A-4299-86FC-99C3AA660BE3","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":"Q4375795$607359D5-5E7B-4FC0-8344-867DE62A3B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e739322afc444067f1e47cd79cc9275f485d42","datavalue":{"value":{"entity-type":"item","numeric-id":4527041,"id":"Q4527041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7bf4bb861f484820f7dbdff2835c8206b1718d","datavalue":{"value":{"amount":"+0.9197549819946288","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":"Q4375795$57D3C76C-F592-4170-8F92-55198FD147CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1659597ef195b2dfe5a7737bb9a21cc8bcf5807","datavalue":{"value":{"amount":"+0.8254606127738953","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":"Q4375795$A70863C6-F44E-43F4-8A77-F88D2F0B8F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cac23da18199b47c28506382e1fff207379f84e","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a028406bf9d68963079b22d08fd6ef17800c03af","datavalue":{"value":{"amount":"+0.8223326802253723","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":"Q4375795$4C5B88C0-C4DC-4698-A6E5-16031F6B484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08c6881b84c84e5d1e29ecd8bb56ae2054a2d02d","datavalue":{"value":{"entity-type":"item","numeric-id":475337,"id":"Q475337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ff67555cfba0a56c00a7b176ccadd707e39df2","datavalue":{"value":{"amount":"+0.8023256063461304","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":"Q4375795$71AEAD20-6EEB-4A66-AC8C-BE1ABB4F4DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375795"}}}}}