{"entities":{"Q4644547":{"pageid":6674128,"ns":120,"title":"Item:Q4644547","lastrevid":53313554,"modified":"2026-01-24T17:18:35Z","type":"item","id":"Q4644547","labels":{"en":{"language":"en","value":"Weak arithmetical interpretations for the logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997959"}},"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":"Q4644547$C51129AB-0805-41BE-AAF8-F72EABFA2EAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d093c4c6c58165065ab36a3d641efbb459ad788","datavalue":{"value":{"text":"Weak arithmetical interpretations for the Logic of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644547$B6C10A8E-F2B8-45F8-A0B5-4A5E59479E35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e7eed3334493222f5fb38c7a975957c2c3c9c54","datavalue":{"value":"1405.03096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$7E74834D-B571-4C4B-AD0F-6A8A74141164","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644547$43AD0951-8854-4D2A-9355-2E2250E2D48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644547$4AEC8A71-FCE6-4AEC-A355-C729ADA77EE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-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":"Q4644547$6ACEC734-F3FA-4EE3-AD0E-AB646308E2E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f21f8b859e2de6658b86c75db47a61111043f8f","datavalue":{"value":"https://boris.unibe.ch/86232/1/LP_Arith.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644547$91CF20EE-5FBE-4F07-A701-3295521AA17E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$D99CAD91-15F0-4CB3-B8B6-7B4948A9D926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$6A173D9E-8574-4870-AD32-0C1DEA8D08B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$F54115C2-BABD-4C8D-B080-8F50EFFE22E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4523a9fe1f68a009f053498b176f9b7352384029","datavalue":{"value":"6997959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$44BB4946-A074-43EB-9A5E-C88187EB2572","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644547$6C05F296-D896-44C7-9164-D5E880F61987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644547$F3386CBB-7009-4FCD-B38C-A8A8831BB215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce6f205e054717a47cde8036b26de53507d1b33","datavalue":{"value":"realization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644547$8409AF63-09FC-4993-AB09-01855EA28CA4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb5f87fdb75c95987eef516ed1c3a9e3c4c44cb2","datavalue":{"value":"Q113818830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$825E1C11-AEDD-45EF-BD99-124A15AB324E","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":"Q4644547$9856E70D-6A8E-4AA1-900C-257326E7F218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fa0e8caf273ba9c6b6b1bfd18a3678b9ac6b7f3","datavalue":{"value":"W2315012277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$2EAEF446-A998-4828-A62A-4AF31C94CED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"456d0011a024dddc2027edfabf37845b956ccbde","datavalue":{"value":"10.1093/JIGPAL/JZW002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644547$8BBE9007-B0E0-45FF-988C-28EF5A65876C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644547$DB178D86-1B05-4A63-8DF6-4A53BDFCAE34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044291259c567a861f70b4edb59a603305874c53","datavalue":{"value":{"entity-type":"item","numeric-id":3094147,"id":"Q3094147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1322eb6f8a91bf7f38d0159ec180e633d0058d9b","datavalue":{"value":{"amount":"+0.8307090401649475","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":"Q4644547$AB470AA2-4B29-48D1-8C43-EA4535C07222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a548bd13a015aaaee3af5344466f5869f5846a97","datavalue":{"value":{"amount":"+0.8293231725692749","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":"Q4644547$82E3EFCE-ADD3-4731-984D-DBF781B38239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986be28e8c168a03f87b25d873f399ff65adf993","datavalue":{"value":{"entity-type":"item","numeric-id":1625591,"id":"Q1625591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a521d40c0b700fc7d2dd67ebdc5e46fc46730d54","datavalue":{"value":{"amount":"+0.8271641135215759","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":"Q4644547$792CDD9D-9185-4906-812E-AF6DF6A03BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d73e2b651707763255a30e0d2a941d2f746bfac","datavalue":{"value":{"amount":"+0.8113818764686584","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":"Q4644547$003A8B3E-4EF1-4092-90AA-3DD0E91D2AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b67dd631c1f0aac1ac6d0f57b56d5ad1e38ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533fcce572e36558b615338933e2f96f6218fd23","datavalue":{"value":{"amount":"+0.8026769757270813","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":"Q4644547$A0704842-B3D6-4C19-BE1E-5C07145EEFBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644547"}}}}}