{"entities":{"Q1176098":{"pageid":1186847,"ns":120,"title":"Item:Q1176098","lastrevid":47043040,"modified":"2025-12-31T11:56:30Z","type":"item","id":"Q1176098","labels":{"en":{"language":"en","value":"The formalization of interpretability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13442"}},"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":"Q1176098$FCBBBBB2-8689-4833-AE54-4B7F30F67603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d395cbdb6fdc64895f7a177f53589d493ef0ea7a","datavalue":{"value":{"text":"The formalization of interpretability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176098$CC811EBC-B0AB-4D61-92B2-8E080182278F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f103ba7cacb98aa65fc8873846f97815767e28c3","datavalue":{"value":"0744.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$7D79B824-7DCF-45A4-8360-FDBF05F418BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c0fdd6cfe92cb228597ca0a99840be2801a2ef2","datavalue":{"value":"10.1007/BF00370389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$91D5F6AD-9BC9-4F38-9300-54A3C46065B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$B6380504-BD99-45C0-9FCC-97E87E143657","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$8998B944-5FFE-4C74-99ED-7E42B775501D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176098$F8335567-220A-41A1-B9D2-ACD65D774CBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bf013b40e6905cb73663c22af9c3a206c38c8d0","datavalue":{"value":"The author discusses interpretability in weak theories without \\(\\Sigma_ 1\\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\\(\\Delta_ 0+\\Omega_ 1\\). The case containing the \\(\\Sigma_ 1\\)- collection principle is also discussed in relation with cut and with the conservation problem. This paper provides an extensive introduction to the formalization of interpretability, and the comprehensive references are useful.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$99834FA5-FA23-48D5-ACEF-8DDDC6FDCC79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$DF4CF52A-BA30-429C-8790-982FF8CCBD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$25EBBD6A-FC16-4123-9F1D-231B9D436D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$DCDA51C4-318B-4D2B-975E-E47EF6546F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$3C23DF30-B4B1-4242-9E98-2F9DF5C00FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69b71888d3722abf49767be289c00694d18ea755","datavalue":{"value":"13442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176098$32E4DD5C-45BB-4CEE-B170-B6816B2015C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$3F48C220-4009-4DFB-BC7F-C8B982D7F75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1102df33c2f91cbc70c4a4bb16cb12d66147f680","datavalue":{"value":"Henkin construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$3AC8FF16-ABD1-4329-8F0D-1217E93D3BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$9B330C4A-7E04-462C-A985-BFE3173F9E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fd02e550333c0ab7f89d20a5b3ff797f264e8f","datavalue":{"value":"interpretability in weak theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$DB2C1309-B5D9-4605-8530-5941630FC0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4aa18b75e78ac69415d3161ef8fc0141bbb0f6","datavalue":{"value":"Interpretability Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$1C8743C6-E24A-4CDA-9B32-7985243EAD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176098$4DF039CD-7F92-4DDD-B4A0-596AB77950CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$4EB59521-3026-46B3-B0ED-07667EE88246","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":"Q1176098$21478352-32FD-4A97-9D7A-C2EE587F89AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c375f7ed46db9c1e096a9d6b0778d3bdad1702e","datavalue":{"value":{"entity-type":"item","numeric-id":3749039,"id":"Q3749039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$12798409-4CB9-4378-9AAE-3DA5981A342D","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":"Q1176098$EA7FBD7C-0430-4041-A7E9-7EF090A5C083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$B0E9EF40-98B7-411A-B4AA-C7F62B508E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$DC4789F1-A14E-4C8C-8FCB-71339A7C6565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd51bbc740638b2488ec466fd58664ff7c6547e9","datavalue":{"value":{"entity-type":"item","numeric-id":800922,"id":"Q800922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$1FE645C5-6FCA-4EE4-B4C7-9515D217206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d180963570664aa1a82a9b2635813da486d110f","datavalue":{"value":{"entity-type":"item","numeric-id":3698795,"id":"Q3698795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$93D0CF2F-D045-4781-BBEF-3A2A851D0585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$98C90D7B-DDDC-48F7-92F9-5A6AE139F7A3","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":"Q1176098$01EB482F-0696-4DAA-962E-DA41D9D2A4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$AED0BA00-4990-4B6B-9AE2-5E67B0C57139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c858ba356c63e6f92bc3e898fee39510d643a377","datavalue":{"value":{"entity-type":"item","numeric-id":3310622,"id":"Q3310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$9F7FA8F9-FF2D-46BB-841A-D37D4910BD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$FB0D088C-D4BC-4C91-9719-067DFF79814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$C1CDCA1F-2327-47FA-8BA6-AE90C8DAAD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72967e84f8ba6e415ad3d9741f191e77ca2416ff","datavalue":{"value":{"entity-type":"item","numeric-id":3315507,"id":"Q3315507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$8AA2390D-BA82-423C-9F01-F43A17AD6455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$F384642C-0D78-4AA6-B65A-6C4D8739EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899a190f8b9f07830eeda0a31ae8d716d2ea8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4193434,"id":"Q4193434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$4D283A09-AA09-44F2-BE7D-4061E7D4D0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6fa0b943670040ea045c9a4fcd7123b934c9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942957,"id":"Q3942957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$DA8442B8-1FF2-4B07-A7E4-4220A54A7DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63cdbd83b7f46d74372c8e13aa2d33751bfa018","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$A1F9E1A8-29FB-486D-8A1C-2CB209575951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b017d1f28bd3380b738de7a9b6bd65fdf2dd7eb","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$4492AD45-B34E-4710-91F3-1B960E1E23F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176098$9B2D3D6C-D256-4BB2-82C2-993159481F05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3759795df2f6359224077e7e3c24e470f116c857","datavalue":{"value":{"entity-type":"item","numeric-id":5937854,"id":"Q5937854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a54e79e35b64f7eab3286350accee53eba31ca0","datavalue":{"value":{"amount":"+0.8201523423194885","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":"Q1176098$C2AC18A8-B2F1-4BF8-A0E3-BFF27D488CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"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":"Q1176098$45DCFF0D-9E37-4758-9A17-D87779ED1062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1153cffa77a87c2c356f92b735d08623c02648c","datavalue":{"value":{"entity-type":"item","numeric-id":5107215,"id":"Q5107215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e81af77820b3506bd69cd89d29afccb132bcdb29","datavalue":{"value":{"amount":"+0.7912781834602356","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":"Q1176098$B88D5536-D12F-465C-94E1-68711F8341F5","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":"b91ee0f1c6d403acab425abed67dbc6140b6c816","datavalue":{"value":{"amount":"+0.7878007888793945","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":"Q1176098$ADA2700D-25EA-46C8-99D3-30B656A9CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71c2a02391ee64ea8660e3fd5178ee6e3941f2e","datavalue":{"value":{"entity-type":"item","numeric-id":1203790,"id":"Q1203790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b68b9167df947cadd19876b6bd08fa0e99ef2f","datavalue":{"value":{"amount":"+0.7851036787033081","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":"Q1176098$CE41B660-6E26-4041-B0F5-A1538390AD75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1176098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1176098"}}}}}