{"entities":{"Q3372439":{"pageid":3383143,"ns":120,"title":"Item:Q3372439","lastrevid":49789705,"modified":"2026-01-10T18:44:58Z","type":"item","id":"Q3372439","labels":{"en":{"language":"en","value":"Reflection principles and provability algebras in formal arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007815"}},"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":"Q3372439$3DC9844F-6C33-46BB-998A-A1A224E8A7C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d88dec86bd7c6bbe30fd7c176829e3fa77b0bbb2","datavalue":{"value":{"text":"Reflection principles and provability algebras in formal arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3372439$B0818F9D-514B-433D-9E9A-806E44089339","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c34fd224c1e50df813e559a337f42e27e779a06","datavalue":{"value":"1097.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$92A83E4D-5837-42FD-9ED5-494D8C3D312C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372439$E90209A8-9D84-4BF1-9A2D-1A471470F13D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3372439$58B9790F-0DD1-4441-84B7-0D011BF7DE65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$2F9FC381-2201-4B20-ACDD-9E74C234862B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$0530522A-2E0B-4287-853D-0FFAE4E0E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$0DC3BF7A-2D2B-4A0B-8A02-65F11EE411F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$3FB7317C-AEB7-424B-92D1-04777C12C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$4FFA6431-7286-4D57-AD14-303E0AC1DF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$46DC05B8-CE3D-4A04-AF37-F9BC3D8E1974","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b920dd5c23929c02f66430c15c1724a302f95947","datavalue":{"value":"5007815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$DFEB54F9-DAC8-466D-B301-53124E09686C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6895253808dbb26e42ff5765865b4d7493380093","datavalue":{"value":"Reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372439$EBBE9947-7056-42E7-ACA8-E06FCC37D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372439$E241662A-286E-4E9F-A3D7-B939F896A950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7bebb7432c97f7be3aab507b0cc47903033f5c","datavalue":{"value":"fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372439$E05DC949-BBF6-4E2C-B9A2-A29BC5BE7B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372439$69E3BEBA-E5FB-4A60-B962-1D119056B5A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372439$F3A476B2-2202-4B87-885B-B4BC8DDDA641","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":"Q3372439$DB0F996A-66A8-485F-A0B6-6BD491D6564B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28cad124fec957e56901622fb156fc288c2fcaae","datavalue":{"value":"https://doi.org/10.1070/rm2005v060n02abeh000823","type":"string"},"datatype":"url"},"type":"statement","id":"Q3372439$340A5715-678C-45F2-AD64-5E87B09386EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82655860cb0e650fc3031cfa8da07b5e4636d865","datavalue":{"value":"W2041395883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$FDD72E64-8854-4AFD-B116-6E7A210B89E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eaad80d4a4bef06fbc8608d6957dcb40592e3f5","datavalue":{"value":"10.1070/RM2005V060N02ABEH000823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372439$AE7F5F29-0578-4945-AC0B-5FC50EDB589C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ffe2d00c0949b3939df401fd5ac9e55f4b32ab0","datavalue":{"value":{"amount":"+0.8329659700393677","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":"Q3372439$1A505251-66CA-42F0-9444-1DF2A41EB9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33485e146a5ae69ac2e092e712184e61487f82e","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6ed9f2172585e9efe75c21bdb0ec1157bef046","datavalue":{"value":{"amount":"+0.8245036005973816","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":"Q3372439$2322D8C8-C32A-4E20-A808-68926CE4E9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f687cb29c7ae0a08b72521249c6b59692ab35e6d","datavalue":{"value":{"amount":"+0.8179243803024292","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":"Q3372439$D339FBD6-DB95-4CE3-ACD0-1F7C20ACC381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa30a84a79a81d13af1c852c111ee4cac1eb2cf","datavalue":{"value":{"amount":"+0.8164787292480469","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":"Q3372439$1BE4AA5D-97C0-4898-B3EF-65D259F2F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9590f5e1025180c10ed58defc6832c2a6fe30ff","datavalue":{"value":{"entity-type":"item","numeric-id":5081870,"id":"Q5081870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa30a84a79a81d13af1c852c111ee4cac1eb2cf","datavalue":{"value":{"amount":"+0.8164787292480469","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":"Q3372439$5EFF4ABB-23D3-432C-AEAD-211392CB4B79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3372439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3372439"}}}}}