{"entities":{"Q1406443":{"pageid":1417183,"ns":120,"title":"Item:Q1406443","lastrevid":48167566,"modified":"2026-01-03T20:33:11Z","type":"item","id":"Q1406443","labels":{"en":{"language":"en","value":"Nonaxiomatizability of predicate logics of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1974899"}},"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":"Q1406443$64246921-B76B-4C38-901B-820997DFD3FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffbccd1ac156e3dbb0019c9147e71083bf1d4757","datavalue":{"value":{"text":"Nonaxiomatizability of predicate logics of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1406443$DF5B372A-AF3D-4AB2-B7CA-4C5A61840274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"414cca59c0ba850af18a56b96e6717999e2d0a8e","datavalue":{"value":"1025.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406443$DAE031B5-1BED-4AE0-A8F4-4BDF1ECA9742","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dcc0f3d914fe70138d4cabebb0b66ceac0968aa","datavalue":{"value":{"entity-type":"item","numeric-id":1406370,"id":"Q1406370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406443$77B7280F-E39F-4B5C-8A9F-0A90D00A2E74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1406443$3BB22ACC-4107-46D2-9C0A-7C96F4D930A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d43b200a233b40a324d3476ed19d40329cec29f","datavalue":{"value":{"time":"+2003-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1406443$1D4F1BAD-9D36-4C87-A408-F939FEF83EE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56b54ba161ba975486d46250d1386234081880d2","datavalue":{"value":"The present paper deals with the problem of the possibility of the effective description of the predicate logics of proofs. The author shows that the predicate logics of proofs possess also a lower bound for complexity, namely the true predicate logic of proofs is \\(\\Pi_1^0(\\text{TA})\\)-complete, where TA is the set of true arithmetic propositions. Also, the logic of proofs restricted by the tools of formal arithmetics PA is \\(\\Pi_2^0\\)-hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406443$2A35D659-B6F7-47E4-B4CB-19A219D7BD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406443$2B0425E4-ED83-41A9-91E5-9E4A45A3326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406443$8AC445BF-EC7D-40ED-969A-2558127A0E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406443$A850C043-6325-40DE-8D7E-4C966A3CC227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12908c749a5952ea699de72d5e6ad15403b7f8e9","datavalue":{"value":"1974899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1406443$8D60F8B9-949F-4BD8-89FE-1C5B0426B2F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa61f3a71689ad42d36807c73373133c12703158","datavalue":{"value":"predicate logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406443$CCE880FD-7615-42E5-BB94-F7E29F46B5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9264ca5b1a4a0db7dd9b9e80c395bcfa4e68fb05","datavalue":{"value":"nonaxiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1406443$374538F9-E992-4C33-915F-D70442992250","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":"Q1406443$C802B43A-618C-4F0E-B5CC-6EC3554A45BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762dfbc9ae298d10a66781e077cd2f3766ddd8e4","datavalue":{"value":{"amount":"+0.8465084433555603","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":"Q1406443$F4A89629-F37A-4AF6-A23E-C46CC897E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358ae4f0a526c674fc95bdebe5d97060ee3ba2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3816054,"id":"Q3816054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b81a628e37b68e542391ad89d8c8bc0e33e943","datavalue":{"value":{"amount":"+0.7922980785369873","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":"Q1406443$425A6901-6FDF-4921-9D89-64B969A5FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43769c53b6633c23257287564ae8756b00e4cf55","datavalue":{"value":{"amount":"+0.7913476228713989","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":"Q1406443$7CCA9F41-5FF6-41A1-BA88-6AE99BDA40A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c04c3cea3e46fa9091d90969e3027262d67b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4761670,"id":"Q4761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01f32c3085c16c007ec93a3a8020c2f70dff3d2","datavalue":{"value":{"amount":"+0.7836843729019165","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":"Q1406443$B5265EC9-2DAA-4D13-AADF-E8E424A84F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c064ec142055f63f205c18d986de2d3ecb1d2317","datavalue":{"value":{"amount":"+0.77852863073349","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":"Q1406443$8F983D72-CA53-4BDE-94F5-4C788C4E51DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1406443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1406443"}}}}}