{"entities":{"Q1035648":{"pageid":1037496,"ns":120,"title":"Item:Q1035648","lastrevid":66597165,"modified":"2026-04-12T11:11:44Z","type":"item","id":"Q1035648","labels":{"en":{"language":"en","value":"Interpretability in PRA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624902"}},"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":"Q1035648$AC6A01BB-5FB6-4576-A4B5-551C556CA1B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46648bf3a14afc73b090819be08da5286b0fb546","datavalue":{"value":{"text":"Interpretability in PRA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035648$7771D1F1-37CE-40D5-B3C6-D731A32CA837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9d1ff0745f2ce15c8984b7163cd012030f13f6","datavalue":{"value":"1184.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$9866810D-5CC0-45BC-871F-2B4F2EEBF503","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$664B7C31-75A0-46D0-B936-9A162D929D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$B4BD6BAD-BBAA-4A60-AEF0-4DAD635F48E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$ED17C1A3-07D2-455A-84B5-43C647D22604","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$832A0B3A-671E-43AB-A552-DA522F6FB91C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035648$EBBB9CAF-3CD7-4DBF-B653-82CDFF0341B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc86d540709e92623286a2b45ac2889139ea774b","datavalue":{"value":"https://arxiv.org/abs/2006.10508","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035648$EDF19567-8EC7-4CB5-9196-85127A4F3F19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5691b59173f395f8fdc8ae29d5f47980480bae49","datavalue":{"value":"The provability logic GL (G\u00f6del-L\u00f6b) is a simple modal description of provability. Interpretability logic (IL) is an extension of provability logic suitable for a modal study of relative interpretability. Various extensions of IL are obtained by adding some new axioms. These new axioms are called the principles of interpretability. The system ILP results from the IL by adding the persistence principle \\(A\\triangleright B\\rightarrow \\square (A\\triangleright B).\\) \\textit{A.~Visser} [in: Mathematical logic. Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 175--209 (1990; Zbl 0793.03064)] gave the proof of arithmetical completeness of the system ILP w.r.t.\\ finitely axiomatized theories. The system ILM results from the IL by adding Montagna's principle \\(A\\triangleright B\\rightarrow (A\\wedge \\square C)\\triangleright (B\\wedge \\square C)\\). \\textit{A.~Berarducci} [J.\\ Symb.\\ Log.\\ 55, No.~3, 1059--1089 (1990; Zbl 0725.03037)] and V.~Shavrukov (1988) proved (independently) that ILM is complete for arithmetical interpretations in essentially reflexive theories. For no theory that is neither finitely axiomatizable nor essentially reflexive, the interpretability logic is known. Primitive recursive arithmetic (PRA) is one such theory.  In [\\textit{A.\\ Visser}, CSLI Lect. Notes 87, 307--359 (1998; Zbl 0915.03020)] it is shown that the interpretability logic of PRA strictly extends IL. In the paper under review, two characteristic principles for PRA are studied. One such principle is Beklemishev's principle that exploits the fact that any theory which is an extension of PRA by \\(\\Sigma_2\\)-sentences is reflexive. The authors give a characterization of Beklemishev's principle in terms of the modal semantics for interpretability logics. Zambella's principle is considered, too. It is shown that Zambella's principle does not add new information. So, the authors solved, in the paper under review, a number of problems concerning the interpretability logic of PRA, but many remain open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035648$C5D96260-6BA4-4FA9-A05E-2EC39334E3F8","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":"Q1035648$D3C0FF0B-E76D-434B-9BA8-35F6427548C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$7C30C368-BCAF-4DAF-853E-61E604CC6D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$37F981F6-3CD8-42CB-A1B1-C10BCCF91613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$475456E2-7DD9-4603-AB7F-0F7B9EB52D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d693e94d1969d518e7e63775a21476e158edd54","datavalue":{"value":"5624902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$D6CDA022-18E2-40CF-9FA2-C6DD7252D2E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035648$A8CDA115-1923-42F7-9C58-9C45166216FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035648$B82E739E-AF6F-4B37-904A-9FEE3A6BE7BF","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":"Q1035648$9C89A97E-01BB-4689-B41A-5AFFBB6F9A7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"042962ec82512d117475bab7b6d88f0f102c07b4","datavalue":{"value":"W2039202381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$945011E2-D0BD-478D-9F46-A971E0C386AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"63c617573e7ba6e44b21e4f6250e7338ea1297a8","datavalue":{"value":"Q120514404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$6A57CF66-ADA2-4171-A929-6303EEAD8962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$757A48DE-FB3F-4938-AC06-5F487FE4B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$C710C2E8-CB33-4A72-A5F0-8FE5C77D396F","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":"Q1035648$73667DCD-D141-444F-98D3-50DC173615E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$0547ED24-6505-4D26-9962-B4E0C5B43D9E","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":"Q1035648$8C2BF974-28E2-448A-B715-00A7A56C2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc5a38029aa07a470c752c4cd85b4ecc1b6440b8","datavalue":{"value":{"entity-type":"item","numeric-id":3535605,"id":"Q3535605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$29A2A6DC-AB82-408C-B718-3F55AD4A2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af95d1a259dd7d81908c4ff6cd4aa7411c2937","datavalue":{"value":{"entity-type":"item","numeric-id":749519,"id":"Q749519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$F1F39366-3B15-4D48-B78F-E179AC6B60CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585d065988c6214e0f76055e2b290cf6fba65e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$31049CD6-5474-4568-B35D-2F867315B3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627099f47bac5b2643bc8e477e32bf5481c9c90a","datavalue":{"value":{"entity-type":"item","numeric-id":4805348,"id":"Q4805348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$C77049AC-4B55-4833-A71C-76B02872982B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c85febe1401651e99f9ca046c579ba888952f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4347425,"id":"Q4347425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$F697D9E4-8A93-45A4-A6C2-6857A629BBB5","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":"Q1035648$923CF259-84EE-4BF3-A36B-4C1A6A720684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035648$627606E3-4D87-40C8-A00F-F12E06F6E7B0","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":"Q1035648$BC55159B-1463-4C84-A772-D9DC205A5EC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50e65d62eb70d6c6ac89015cb64a72bdf83a83e5","datavalue":{"value":"10.1016/J.APAL.2009.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035648$73A291F2-C082-4143-B9A1-F1723D97E48E","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":"ea5b5bb78ccc50386665a44eea91c55b1caf1f51","datavalue":{"value":{"amount":"+0.8775682","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":"Q1035648$47F36318-3365-4439-B080-B2F18E943E0C","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":"9586344d4b5a72fbbe94b416366308fdd48fbed3","datavalue":{"value":{"amount":"+0.8642374","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":"Q1035648$3D3E1AAF-5DBE-49F7-92C5-FD46AC8BD8D9","rank":"normal"},{"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":"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":"Q1035648$757281F0-F002-4BA8-8151-445F6F3E0A65","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":"e04124bb7906afe88f607fe96f82001b8ace796f","datavalue":{"value":{"amount":"+0.8270966","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":"Q1035648$30D3EDD8-808F-414F-9FF9-B497AF135AD9","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":"7439d52fef7c379d921a390569d11324a28ba506","datavalue":{"value":{"amount":"+0.8241137","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":"Q1035648$830AE577-126E-4A1C-A45A-EC402C599EE7","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":"5280355c998593ebaa119d12494d1b15589fd178","datavalue":{"value":{"amount":"+0.8231447","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":"Q1035648$B040EA77-5DA8-496C-8D10-DB1F5660618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4104a2da5789ab563149e5c6135e769b15c9dd5d","datavalue":{"value":{"amount":"+0.8132897","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":"Q1035648$BD917FA8-755D-4E01-B813-ADDAFE0E4D97","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":"0f0b4bb89d393ac35ce49c3d0ce4d94793c4a0ab","datavalue":{"value":{"amount":"+0.8128485","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":"Q1035648$BE3C3B0B-E77C-49D4-A82E-DF8B4F7D9CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2802e7646d5c354f6ce43832fcb7fb5c76187381","datavalue":{"value":{"entity-type":"item","numeric-id":2565986,"id":"Q2565986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f103c2c9bf20349959fd00abe2278c04f0ee1ab","datavalue":{"value":{"amount":"+0.81026196","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":"Q1035648$4ABD4F55-C873-46B9-A9A1-E64699E27ED2","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":"9a1b5229ed8833fbb1727c84e635e9eb243c9bee","datavalue":{"value":{"amount":"+0.80570793","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":"Q1035648$31A5C3D0-2F80-499B-9004-2664FABB8341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretability in PRA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretability_in_PRA"}}}}}