{"entities":{"Q5202653":{"pageid":7232224,"ns":120,"title":"Item:Q5202653","lastrevid":49483333,"modified":"2026-01-07T06:09:08Z","type":"item","id":"Q5202653","labels":{"en":{"language":"en","value":"The interpretability logic of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195936"}},"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":"Q5202653$676E642A-E6DC-495C-8FFB-2B42DBF44482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e88a7842862720cbaeb4500cfcdb5e50ae1958f5","datavalue":{"value":{"text":"The interpretability logic of Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5202653$31DEB8C7-8738-450F-B548-9CBB0E8CDF48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a159722667bad9eeec1fb4963dd9ccc3f244851c","datavalue":{"value":"0725.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$6ABC7F2F-D128-4986-86D1-FBD57622D727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae70e9488529a1a323907cf1538aa5611969974","datavalue":{"value":"10.2307/2274474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$1CAEA28C-7E6C-4F9B-9772-6F728F16F1FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202653$E20CCB68-8D0D-4867-99F8-A438A676395E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202653$F0471360-448D-4211-9B40-6B8102814450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5202653$6BC726AC-6C89-4B56-86AB-B39D9385F26F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbb60a8abc69f5c45e65815d94ef6435b9fd1633","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.2157","type":"string"},"datatype":"url"},"type":"statement","id":"Q5202653$9EF838DC-7880-4051-BFC2-DB7E45556802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$63BBDC23-9399-49F9-8667-E5A2074EBA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$0D61D5E6-9D1B-40A0-8FF1-5DBCE3172C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$32CB57B5-88BB-4AC0-B073-E81C275C7F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$55F7A618-78CE-41AD-AA55-C535DDE2F28C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60a60a34d19ef10d8ded3ee006263e3c9fde8393","datavalue":{"value":"4195936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$804CF2C7-067A-42BD-A57F-DEA7FE6DB1F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$557B0A51-C5A4-4478-886F-9725021274E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8945debcfc0a5f2fc1d6755740cce55f0c603303","datavalue":{"value":"axiomatic treatment of interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$B0DC27CF-488C-4E10-B159-4D9245B0EBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$DB061A0E-21B9-4D61-82BB-A5AFE2C5E641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$EBBDEC5A-52F0-4193-B86B-7EF78601DA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$7A98D7A0-7390-4C68-B6F3-7F639A71B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9688f5fcb957d5167fdbcce1e4607d88a2a31052","datavalue":{"value":"Zermelo-Fraenkel Set Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202653$5CD15867-04C2-47EA-B54A-4CC2069CB390","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":"Q5202653$E6123DFC-05D5-47FF-A4BB-67C1E9F4F7FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d74f65a9bf570f6c18695699790ef9eb5ccbdd4","datavalue":{"value":"W2016617619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202653$A9FECD40-5CBA-4DEA-B1AD-375C4B1E1FFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202653$286DC365-34BC-44CC-94AB-1AD9A7D78C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202653$97055958-6B13-4A2B-B2FF-33D3C8BFC731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94cb41956a17dd9572570c1b36b376a64fc9aec","datavalue":{"value":{"entity-type":"item","numeric-id":2402961,"id":"Q2402961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f581393862cc9cebb1f6656e07a0557f174cc326","datavalue":{"value":{"amount":"+0.8141762614250183","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":"Q5202653$59CD6A30-0A1A-4AEA-B7FF-2AAA7B02AEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047ca68c0420973e235b9bc0ef8e012f974a920d","datavalue":{"value":{"amount":"+0.7984302639961243","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":"Q5202653$2C4FEAB9-1271-47F4-A675-8D4283F4AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e0d1c4bb29c51d910595ef45134dd6514aaa86","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b15e47c9782a3714a9098c4d9326ecae25d96db","datavalue":{"value":{"amount":"+0.7920762896537781","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":"Q5202653$08428A01-2B2A-46FA-933B-4ADD77548F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441c58a0b5a77d5d2a5f3d6a67c35070c9065651","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63115b538e0fd5b2c78d73c7bb9719e5c862bc82","datavalue":{"value":{"amount":"+0.7906641960144043","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":"Q5202653$0494ECB2-5948-4140-AA5F-A507EF8828E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d000dd6448f9167f538020d4618c30ba8eef78f","datavalue":{"value":{"entity-type":"item","numeric-id":3760515,"id":"Q3760515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b227bc0c228b49b8293e67b546852cc15b54502","datavalue":{"value":{"amount":"+0.7851888537406921","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":"Q5202653$B2BC2176-F2C6-4F1D-8AA9-C5425D7809AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202653"}}}}}