{"entities":{"Q2402961":{"pageid":2413704,"ns":120,"title":"Item:Q2402961","lastrevid":73765110,"modified":"2026-04-14T17:11:32Z","type":"item","id":"Q2402961","labels":{"en":{"language":"en","value":"Interpretability suprema in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6775040"}},"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":"Q2402961$C953F0DC-F881-4AC6-BBCF-114F5ECC4E55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d60added5518db17801788eb488522a402de1161","datavalue":{"value":{"text":"Interpretability suprema in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402961$4F588B0B-4E22-4A38-A0DF-35EB1A282B06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad6c01ab431be984f316acaf8fd70733e683f6c6","datavalue":{"value":"1436.03310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$C68B051D-073F-48C2-ADED-2B3FA932867D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96f05f2a9c234a17d02b111547f6b88b72cc044a","datavalue":{"value":{"entity-type":"item","numeric-id":2402960,"id":"Q2402960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$F058AE87-9EFE-40DD-9833-7279759785F8","rank":"normal"},{"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":"Q2402961$24B13551-3D0F-4DFE-BB5B-582C1E91D748","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$3ED6A11D-0B17-4283-A373-88C32F3B0854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0e0e47e5327cb2e2874331da338f2ae03a1e6c3","datavalue":{"value":{"time":"+2017-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402961$DFC58483-FC30-4C32-92C3-A42342761A22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd4c57da63f82f361d697122da6637d1e1789d64","datavalue":{"value":"A theory $S$ interprets a theory $T$ if there is a translation of the language $T$ into the language of $S$ mapping theorems to theorems. If $T$ is a sufficiently strong theory one can consider the relation of relative interpretability: $T+\\varphi$ interprets $T+\\psi$ where $\\varphi$ and $\\psi$ are formulas. Mutual interpretability is an equivalence relation. Equivalence classes are called degrees of interpretability, and they are denoted by $[\\varphi]$. \\par The structure of the degrees of interpretabiltiy of r.e. theories extending PA is distributive lattice [\\textit{V. \u0160vejdar}, Commentat. Math. Univ. Carol. 19, 789--813 (1978; Zbl 0407.03020)]. The degree $[\\varphi\\vee \\psi]$ is the infimum of $[\\varphi]$ and $[\\psi].$ The construction of the supremum of $[\\varphi]$ and $[\\psi]$ is somewhat more complicated. The provability logic is a simple modal description of the provability predicate. \\par Interpretability logic is an extension of provability logic suitable for a modal study of relative interpretability [\\textit{A. Visser}, CSLI Lect. Notes 87, 307--359 (1998; Zbl 0915.03020)]. \\textit{A. Berarducci} [J. Symb. Log. 55, No. 3, 1059--1089 (1990; Zbl 0725.03037)] and \\textit{V. Shavrukov} [The logic of relative interpretability over Peano arithmetic. Techn. Rep. No. 5. Moscow: Steklov Mathematical Institute (1988)] proved (independently) that the interpretability logic \\textbf{IL}M is complete for arithmetical interpretations in essentially reflexive theories -- such as PA. \\par The notion of the infimum of degrees of interpretability can be handled in \\textbf{IL}M, but the supremum may not. In the paper under review, it is shown how the system \\textbf{IL}M can be augmented with a new modality as a supremum operator. The authors explore different options for specifying the exact meaning of the new modality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402961$89515FC6-4EA1-4CE2-BE59-E4128487D8FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f8e4d6d96d31b6da2906ce2893c15ec96871a66","datavalue":{"value":{"entity-type":"item","numeric-id":190353,"id":"Q190353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$60F18B15-190F-4F21-9376-4E4153855F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$5185089A-35E1-4BF7-9F80-9F4D6A47AA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$A322B73C-2065-4DB7-BA52-A9D8CB8C441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$1F7C3FD9-222D-4D4A-A7C7-9A7D3466BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$79B06BAE-DE8C-48B0-ACD8-642B4A7705A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0282fd74731a6071d30e8264d32833f69ece1a6","datavalue":{"value":"6775040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$BE2BA1C2-7ADD-4957-8750-57A139A712B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402961$92FD657D-ECD0-4067-BFB4-6B637DD7A82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402961$09A2CB87-D84D-4269-BC4C-C83449BC0326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402961$E60755D3-6B05-44E3-9CAB-D3E268335021","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"338e9d6d77658162971bc99756bb4fef1d706f2d","datavalue":{"value":"Q59514801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$01763A23-470B-4E54-80C8-69E5CB3E93EB","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":"Q2402961$C4BBB13C-2767-42E4-B2BE-D25B0BA78216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22ff88d73deaf7267f68a6063c006c8310dae581","datavalue":{"value":"https://doi.org/10.1007/s00153-017-0557-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402961$FEE2FE50-A98A-4CA1-9F7E-7287F178803D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfbb125e43d39e4c9380cd64c3a44bbdaeec9848","datavalue":{"value":"W2577001942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$E3172B2F-A232-4645-A4FE-E7F3A2386629","rank":"normal"}],"P223":[{"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":"Q2402961$361D9D6A-8297-4402-B674-C2E45B8851BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$10E12D6D-2E0C-4889-A29A-CA1A1C8EDF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea13d3b039753e2a46041a0981358f0aebff8f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5729294,"id":"Q5729294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$747313C4-9F7E-4835-AFA3-21C6373E95E8","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":"Q2402961$50E6F2A7-4FB7-4524-85D3-1FD4556583DB","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":"Q2402961$BDB12477-B21F-41B9-895E-F6408DC10DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f3d70a5569a188142f8ceb430c261be789be4","datavalue":{"value":{"entity-type":"item","numeric-id":5638320,"id":"Q5638320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$53F8FA0E-2BF5-4D72-A47F-1424D1DC92A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$FB05FAAE-F474-4618-A0FF-19D94FD5C405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622726c2b23142f3b1d07184059425f79fe2baa","datavalue":{"value":{"entity-type":"item","numeric-id":5677480,"id":"Q5677480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$92C7FFB5-3EF6-4E09-8B1B-82FEA73D4BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434f42b50ea38e3dcede0438ebb25a19cc609d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1254312,"id":"Q1254312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$9261AE14-CCDE-4F88-866D-822F5940F743","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":"Q2402961$A50A4170-0964-4EDA-B575-7E503ADDD837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0089769c03e01b1aea2323f52a7a101fd411ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5668798,"id":"Q5668798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$F0C436BE-9E0D-4074-B434-7426228ECDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$BE4DEC12-ACCE-40CB-BE4A-466D9DC3386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed27d0f6cb877ddca3d1133891fdc234a9330a11","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$DA422D60-677C-41D1-9EE2-D557C9AA416C","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":"Q2402961$3CD9283D-2BC0-4A39-8434-4855F1E3B1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$DC41240B-08E5-4626-A6FA-3CF9E9A4826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9803d377b7e50c2f5630e25393fae7e7a8893764","datavalue":{"value":{"entity-type":"item","numeric-id":3851087,"id":"Q3851087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$7C90060C-ACF1-4A6E-9FE9-D1CBD26ECB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$4E4E714F-ABC8-4041-B094-38A43B60195A","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":"Q2402961$48850662-72C6-4AFA-8B15-C39A473E2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$DC643978-1EBF-46AC-BEB3-309222FF6542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d9deaa1d9155b9e4f8869013a093e908636c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114685,"id":"Q1114685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$CD07F312-E47D-4009-9906-476084B1BB5E","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":"Q2402961$BE32D0AD-EA3C-474C-A42F-493460B8F895","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":"Q2402961$7F9E032D-B672-4006-A0F6-2C22761CA5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$4799BCFE-A8DD-4D22-885A-E815806DDC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$AF64E738-F7E1-42FF-996C-B44E20AB7D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$7D541F86-1EFE-4EC5-9227-C20D120FC3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$57F33CDD-4F60-4135-85D3-ACC1F291C064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bca8a26d1f44da4d186529f479633bf44d8546b","datavalue":{"value":"10.1007/S00153-017-0557-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402961$459F95A5-ED47-4C6A-AACA-F31EBF270D4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5944d25d38431f3ab1fdde05a4bdcc76db66adab","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1e03491ce51d936edd9bcee7da77a151b3c0cf","datavalue":{"value":{"amount":"+0.8924162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$3E918448-E610-4118-BDF5-B1F031876029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3737b46562c23b92952b7d95708796778ac5a047","datavalue":{"value":{"entity-type":"item","numeric-id":4694209,"id":"Q4694209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc2395d50b649a34153d14f560d47169329f4b7","datavalue":{"value":{"amount":"+0.86963207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$0E8EDE5D-FE37-4875-BB17-B5F02EC9F6D2","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":"1dc40122006d521a9907a2ab8451305b0344631d","datavalue":{"value":{"amount":"+0.8682525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$6B809369-8CC6-4682-84E4-7E00B8B3201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b74cacfaee426ea987896803a0bf0b12e6ed1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1181486,"id":"Q1181486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad512e93757686df28a39f65a1c6212248da2bd1","datavalue":{"value":{"amount":"+0.8637568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$3CB9A321-0C4F-47BF-BDDC-F6879C01F882","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":"67bfd86bed7ae10c687dd45c232e9975a84a656d","datavalue":{"value":{"amount":"+0.8613639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$67FD612F-35FB-4E1F-97E8-356231B859B1","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":"e0f63c28505a226388d5c5216edf727150829b2e","datavalue":{"value":{"amount":"+0.8593483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$30DA1414-DD7A-4FC5-BD29-B7DD470E8CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c974d70f99cea70258d97788e8b99b7e72c9df","datavalue":{"value":{"entity-type":"item","numeric-id":435232,"id":"Q435232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d9ecf60bb1773785562d83abef1213ea55ee70","datavalue":{"value":{"amount":"+0.8455012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$CB6FDBD6-A2C7-415D-AB55-9B00BCC6762B","rank":"normal"},{"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":"b658480588e8f7466642e990fa2a44e059f875bd","datavalue":{"value":{"amount":"+0.8453927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$E5EDD115-52CE-49DF-A9FE-D84B3CCE4F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fb2e12fed82321c05a349b6b8f65731f9849c1","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ea19d5c0f040d5c4046bbda5ec006c2961f88f","datavalue":{"value":{"amount":"+0.84451425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$917FEF1C-E58B-4DC9-AE4D-B5E475B29DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e92920ad3f1a1b96c3109026638e30b2c59e19d","datavalue":{"value":{"entity-type":"item","numeric-id":1035648,"id":"Q1035648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f6c645c3f5133af75c940e54b8698350727898","datavalue":{"value":{"amount":"+0.8388862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2402961$D5542863-9BBB-4F86-AB00-EA4917CBF408","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402961$F5575C4A-E47E-4F13-8AB5-45C7E640E93D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretability suprema in Peano arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretability_suprema_in_Peano_arithmetic"}}}}}