{"entities":{"Q4948517":{"pageid":6978099,"ns":120,"title":"Item:Q4948517","lastrevid":92086421,"modified":"2026-06-05T00:49:59Z","type":"item","id":"Q4948517","labels":{"en":{"language":"en","value":"Interpretability over peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429762"}},"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":"Q4948517$20DB64E7-D3EE-4CB8-B92A-3211306CB62A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bcf0786743b90137ea17537319b48ebaa636bc2","datavalue":{"value":{"text":"Interpretability over peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948517$3CCCDAD3-72CD-433A-916E-FC6002605372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75da9da1bb971699d9ae7b555cb46db56e9de617","datavalue":{"value":"0945.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$4F38DB74-C3A4-4C27-A284-344742F2B74A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7151b3be4b61d074eaa5aa35af2e72d5430b3d6b","datavalue":{"value":"10.2307/2586787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$F110BEAC-BA46-492F-8C0B-13C58EC4BF57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba2963937cd7d4009fa804458e86b96772c1fb16","datavalue":{"value":{"entity-type":"item","numeric-id":1959220,"id":"Q1959220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$335F5A52-3506-4B23-91FA-0F68CC472C70","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":"Q4948517$9041D29E-5479-4A01-9158-423DA56DA1DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-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":"Q4948517$76E2F0AF-D9BC-40DA-A9CF-EFAFCB97A732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$8ABDC18E-B7CE-49DB-99E8-253FD39F65C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$BB5BAE8E-E0FF-4B83-9222-2814831BBD6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a4e450e58e92e72632e7eb4290c4095eb978bb0","datavalue":{"value":"1429762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$0AC51584-35FD-4CAF-ADF2-1348D7808ED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948517$EB19AEE5-DDD3-4E0D-B7EC-1C50A2DC465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a2b9d68affa2a219fe548d9b3bfe40f57e8efa","datavalue":{"value":"extensions of arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948517$1945131B-CF69-4D9E-9CA0-50B3CDA1CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d6a9a2387a11488287d18b7b21d1d2f194af8e","datavalue":{"value":"recursively enumerable sets of modal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948517$90E83F95-BE19-44B0-BC71-9A60DA223C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948517$A2B7CA6C-5F71-4016-B9F6-DC42D98EFED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948517$24696BCA-5338-48A3-A114-58A76F93C099","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":"Q4948517$7ABA648A-DFFC-40F1-ABFB-D852C2AA6BD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbd0160bc0a262abf4e0b13fafb4d638394873b4","datavalue":{"value":"https://doi.org/10.2307/2586787","type":"string"},"datatype":"url"},"type":"statement","id":"Q4948517$2A71F98D-9D21-4F71-8C0A-251B88D81CD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f31c25101211747cb430046cb52bc1a99e2b0dcc","datavalue":{"value":"W2009475810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948517$662381CD-50B6-4B70-9770-3A7E6A00720E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$FD46A78E-12B9-40E4-965F-3641FA21B642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$84D186C2-6F97-46BA-A5EA-E90F0504DA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$5B8786F3-23BB-4B24-9568-32F92D8BD2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9fed20a2cf36e9f6ebb0ce6aa9d3ec613d2417d","datavalue":{"value":{"entity-type":"item","numeric-id":1333315,"id":"Q1333315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$32DAFAEB-DE98-49BF-9FDE-5FEBF4E5EC88","rank":"normal"},{"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":"Q4948517$E8C0B6A5-E809-4099-BFCB-88AA7A3E2201","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":"Q4948517$98FE1032-464B-4A9C-A9F3-D58711D3C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659a16183c631a047cc8b56775c679917c0ba1e9","datavalue":{"value":{"entity-type":"item","numeric-id":685077,"id":"Q685077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$318BD8EA-5BA5-48A7-A94C-3F8DCCDD6B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$599B5FBD-B446-4FEA-A23C-662D05738972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948517$46620345-90ED-4AE4-B71C-92BAA9C02DD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a618978de43dd5bdb8d7dcee52b55763a730591","datavalue":{"value":{"entity-type":"item","numeric-id":689212,"id":"Q689212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee8d82b77d8335cac667f732bf34122fe882565","datavalue":{"value":{"amount":"+0.8252419829368591","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":"Q4948517$8B0EA123-12D7-4226-8C58-CD6EF229B60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd215c84838e4b20b4161dc7bd87c2837d9cc083","datavalue":{"value":{"entity-type":"item","numeric-id":867400,"id":"Q867400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80ac2136fe3df025a62f5812a260369a062496c","datavalue":{"value":{"amount":"+0.8245079517364502","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":"Q4948517$39290688-94F4-4485-A6C7-E3D60CCE5F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856299c454287684b15cd37b84b123a5ac6e5587","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aecd2640d0bc1cf95ed75117ce9397bdb3e0e60","datavalue":{"value":{"amount":"+0.824165403842926","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":"Q4948517$B714B294-07E8-47B9-8496-DE6D39D43805","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":"1ea4c11decfaf2a4c1b0943ba9ed1b9596392800","datavalue":{"value":{"amount":"+0.8222139477729797","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":"Q4948517$90DC9249-A6B6-404C-B1CB-E1417084B211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretability over peano arithmetic","badges":[]}}}}}