{"entities":{"Q2565986":{"pageid":2576729,"ns":120,"title":"Item:Q2565986","lastrevid":72794652,"modified":"2026-04-14T07:53:06Z","type":"item","id":"Q2565986","labels":{"en":{"language":"en","value":"The closed fragment of the interpretability logic of PRA with a constant for I\\(\\Sigma^1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210066"}},"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":"Q2565986$D30F3F17-BA7C-4657-8C59-7CA607054994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9dd37cd88c91ef4f55ed876300f7952287fa698","datavalue":{"value":{"text":"The closed fragment of the interpretability logic of PRA with a constant for I\\(\\Sigma^1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565986$98FE8CB5-3084-467C-98AA-C803E2328612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fc22d2e5702d65374c8a7a65dede61b0b780f3d","datavalue":{"value":"1077.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$CF2E6F2C-8FA0-4DF7-B188-0D706B96EAA7","rank":"normal"}],"P16":[{"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":"Q2565986$C7B6BF28-B83F-4528-AA06-202688A2BC12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$F1F04849-4366-45F1-9CDB-78EB9262AD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565986$0DD51070-EEE4-4BA0-9E68-1DBCF4FF1B4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb367cf9efe76b925d41be1c6d9b533828ad92b6","datavalue":{"value":"A modal logic that can decide questions involving provability and interpretability over the arithmetical theories PRA and I\\(\\Sigma_1\\) is considered. The full provability logic of PRA with a constant for I\\(\\Sigma_1\\) was already determined by \\textit{L.\\ D.\\ Beklemishev} [J Symb. Log. 61, 91--124 (1996; Zbl 0858.03024)]. The author considers PGL, the closed fragment of the provability logic of PRA with a constant for I\\(\\Sigma_1\\) (i.e.\\ for the single sentence axiomatizing the theory I\\(\\Sigma_1),\\) and PIL, the closed fragment of the interpretability logic. The normal form theorem, arithmetical soundness and completeness theorems are proved. The author constructs Kripke and Veltman universal models of the logics PGL and PIL. It is shown that these logics are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565986$D4391628-4590-4E45-BDDC-07316B4919FC","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":"Q2565986$484F9BA9-C196-4097-8A9E-7D87A2259606","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$AEDAF9C8-DE39-4C83-BC5C-78BEE88DD72A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1081c9d37ab74de0e93d30a5ac84914ce20d5cc0","datavalue":{"value":"2210066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$BA999E87-2F39-41D5-A3B4-7A6E35A5CEB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565986$5D2943B9-74C0-4222-9A4A-F519A16048A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565986$73CC25A3-C4C4-4DAB-9CFA-D9ACE8394B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a47a252b06c5ebf529b5399685a3b67492fb41e","datavalue":{"value":"closed fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565986$2F75F48D-54E3-49E9-8428-077948627B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565986$3503FD59-241C-4EF3-A8B5-7B449F32B1C5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bbc45543793b832b2efe2c2edbb3340aa5289029","datavalue":{"value":"Q119846420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$16C21CD7-1390-4FBA-9294-07C8FA8D0AA9","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":"Q2565986$41446FFD-E2A3-4CF4-9AC0-B4DD4B78F8A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6231e4568023de954906f9410087dbad561a3243","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755145","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565986$5C503054-FAB0-456E-9FBE-F7DE2F57D26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"336f9153e8a5d56b83b3abd99dac004d804c0697","datavalue":{"value":"W1603464552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$7FAEE8FB-7015-4B69-AF08-11806187D2C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4177bacc0fc5a22885ad529353af6d40b7fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":4879903,"id":"Q4879903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$9F840D8B-8299-4436-BD0C-B418FE9DED11","rank":"normal"},{"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":"Q2565986$C1D9F582-4CC3-4FDF-9689-87C5DD0CB761","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":"Q2565986$FF2279F1-E0E7-4708-AADE-18BC3538DE28","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":"Q2565986$48E8B2A4-5BFB-42CA-9391-01CAE39C5B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$BFFD034E-C046-4331-AD21-BAC14464039F","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":"Q2565986$6CAC6BD1-178B-4288-8D7B-72ACB17E18AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03c46dfc7b75e41a2df8bca90ca883242552b78","datavalue":{"value":{"entity-type":"item","numeric-id":768371,"id":"Q768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$F8C8A1FD-4273-43E1-9BD6-B34176CC72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$84E94A37-83B9-401F-8EB8-34C5A33A89AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3604aa0654b5df7c1378c83e268923b726cbd513","datavalue":{"value":{"entity-type":"item","numeric-id":804561,"id":"Q804561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$5599667E-622E-420D-B88C-9A7081B7B342","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":"Q2565986$18A5FDE4-4250-4AAA-BE1A-ADEBD41785D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f63e7c1bb274eb5fc4dbf75d421f9b5de542e6","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$48547D45-A743-4C55-A833-2DD2AD06F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$5E0E88A0-6582-42F7-AD06-5CAEFD544B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$4A5863EF-94D2-4AEF-8E30-1F747CE4D5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$95F628F8-F10A-4868-8694-01377BB445CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$A6EA64D7-7593-4722-9468-2B2543743E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b8fb0cc0479b1778284b9132f348f907fce5d0","datavalue":{"value":{"entity-type":"item","numeric-id":3762310,"id":"Q3762310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$FA6D5EF4-3126-4A3E-99B2-C0FB3F335D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011ebc6a78719913dbed7d27c086894cc8a0ef21","datavalue":{"value":{"entity-type":"item","numeric-id":3754615,"id":"Q3754615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$44FBC595-56CB-435F-9BA2-51DD7700EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$D5B507A3-01F5-4548-A796-34246689FC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8095662b559e4e3dcccd99419a569b37bb397dd1","datavalue":{"value":{"entity-type":"item","numeric-id":786802,"id":"Q786802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$ED9BBEF5-9F85-44AD-9D77-E89DABB4A4C3","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":"Q2565986$DE6D574E-F1FB-4B58-BB41-53AB0421E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e5eed7a82d23114d821b6ea6497f83358e16f8","datavalue":{"value":{"entity-type":"item","numeric-id":4793041,"id":"Q4793041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$D8AC741C-2AC6-415B-A71E-19FDAB92FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32699cd0a7711c981c20a75aa6c7b5a6208cd68","datavalue":{"value":{"entity-type":"item","numeric-id":5579018,"id":"Q5579018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$B5849296-5D93-47F3-A195-AA95BA7E8B1E","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":"Q2565986$9F200EA3-345B-424D-A1AA-2C87EB6BFA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565986$F03F186A-9E2A-4F42-9173-90E2F8A03D20","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":"Q2565986$42A5364A-084A-4CB5-9474-886408E0253A","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":"Q2565986$B280E61F-3874-44A3-BB4D-74C2963970F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"242ca3cf4a7e7cfaf38583d70cffd51c78507c74","datavalue":{"value":"10.1305/NDJFL/1117755145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565986$9233F854-0792-4BE0-A962-013C06445C4D","rank":"normal"}],"P1643":[{"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":"efbfd7beb49c157c356e06c5eb3fb3e035d04a04","datavalue":{"value":{"amount":"+0.8550463914871216","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":"Q2565986$0EC1DA0E-0C1C-471C-AEEE-CF9F0E735108","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":"1e949dd64b492010f7b07801b25fee2f10b375b5","datavalue":{"value":{"amount":"+0.8261802792549133","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":"Q2565986$627D10A0-A7F8-4C36-A326-B8DCB5D22CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf545d4755fcaa963f0a32e77776113410e8512","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01ec6a5d7ee7f9c4967a57b11e824513c44699e","datavalue":{"value":{"amount":"+0.8248360753059387","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":"Q2565986$4B48309C-2840-4F61-9D40-5B33B5B9ADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa583b578fd8afa0365df90b88ba4ab49564106","datavalue":{"value":{"entity-type":"item","numeric-id":3617381,"id":"Q3617381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a7cfade216794a52423235232453ef4bc464cc","datavalue":{"value":{"amount":"+0.8213931322097778","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":"Q2565986$A059B714-60A4-4041-821F-049893619CEE","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":"94f33322e2395714c7d227ea7752c0c7eaf3b084","datavalue":{"value":{"amount":"+0.8142737150192261","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":"Q2565986$87FF15B9-F662-4247-90CE-B8F9D5916A4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The closed fragment of the interpretability logic of PRA with a constant for I\\(\\Sigma^1\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_closed_fragment_of_the_interpretability_logic_of_PRA_with_a_constant_for_I%5C(%5CSigma%5E1%5C)"}}}}}