{"entities":{"Q2339962":{"pageid":2350705,"ns":120,"title":"Item:Q2339962","lastrevid":73059057,"modified":"2026-04-14T10:02:46Z","type":"item","id":"Q2339962","labels":{"en":{"language":"en","value":"The modal logic of reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6425030"}},"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":"Q2339962$2F645465-1CA1-4D0C-B806-11CA8C72CD00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4176ae04a859a3f75817c91f2786667d73e4b1c0","datavalue":{"value":{"text":"The modal logic of reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339962$F3D76347-7BE2-430D-81C8-35854D11AA14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c2f458b1038ce91812b67e1fb4c36bfc10b767b","datavalue":{"value":"1369.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$966B0D2E-8E9F-42C2-86F8-A131AB502745","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6fe6778469ced17e25612a269bf91190d4e60c","datavalue":{"value":{"entity-type":"item","numeric-id":375888,"id":"Q375888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$364455E0-6A54-4208-BC48-3EF6C585AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3112b18013672d8dfb5b2b66e2cb0878105d6182","datavalue":{"value":{"entity-type":"item","numeric-id":2339961,"id":"Q2339961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$85662E72-CAB9-423A-AF9A-58191B7BC9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff1abb63a72f9589e3f6948c5b7333c8ab2a9dc","datavalue":{"value":{"entity-type":"item","numeric-id":2074727,"id":"Q2074727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$8D2851B9-E918-40D7-98CF-8A572B8F3212","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":"Q2339962$E2797E67-DC61-431A-98CB-BE16B6FD2116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd55b543fec3f4a634a8fef5b7b15e29b44c38db","datavalue":{"value":{"time":"+2015-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339962$5FD1CFF4-A695-4F2E-818F-094D30E7D364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eca0e8b64fe9f70ad46102d663016e4ccfcaa77c","datavalue":{"value":"https://arxiv.org/abs/1401.0648","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339962$F8A9C07C-175B-402A-9A07-B4C8FB8A079F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$0E307450-C04F-409E-92EF-E4B89C509956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$A389CEB6-0A38-42C3-815C-25638FAC6BAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c28c3122b9b386e68f6117816d0d6ad981152eb6","datavalue":{"value":"6425030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$2BF35307-5BEC-4626-BDF2-AB086B700BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339962$44F4D832-325D-4E82-A917-BD6E7E77DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339962$DEB96AC1-B113-4727-9126-4EA88C884739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339962$FD529502-836C-4553-8625-43F2BF2F1AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339962$5473A882-9B48-4C5B-B74F-D33C5C0519C4","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":"Q2339962$AC2AF575-EC7C-40F2-BB47-A473F172DD97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84adb638b5d079bc32d29a83db600c0520599913","datavalue":{"value":"W2009540771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$DA2F83BF-78D6-434F-A1F3-F11ED3B5E79E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de233c938bb18fe74442a17cf92521dfb77f38de","datavalue":{"value":{"entity-type":"item","numeric-id":5841792,"id":"Q5841792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$21A971D5-1037-490F-BF69-49741F719AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$D23342A4-D674-4B94-98FF-03D9BA3F4160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$5D7DCAA2-DC7E-4D36-BA8A-22C5EAD78F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f776a9049b5d345cc4d1d41aa1d8b454cafc141","datavalue":{"value":{"entity-type":"item","numeric-id":5341748,"id":"Q5341748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$1FE7E94E-34B9-437A-8A01-11464789BDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e57365e1930192be9952344e4613696b0013b06","datavalue":{"value":{"entity-type":"item","numeric-id":3257760,"id":"Q3257760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$35BD33C4-C94A-460C-A3DA-5C20A997393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339962$4C1DF7C5-42E6-4A15-9DE7-E17179369CAE","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":"Q2339962$DA9E1CF3-20DC-4FAE-A353-4EFFF56B2191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8406054939779ff516838be64c10da03ab1a70d5","datavalue":{"value":"10.1007/S00153-015-0417-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339962$539760DF-981A-4828-B33D-C4181CEB6997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e60bf09a3c49ca1c0087d9594f597bd54e45f28","datavalue":{"value":{"entity-type":"item","numeric-id":4424658,"id":"Q4424658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fe17449439269f5c33b85c1786c0242b572dab","datavalue":{"value":{"amount":"+0.7801882028579712","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":"Q2339962$6DA3507C-B3CE-4CB5-9686-80EF4319CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f370a8f81fdfc413706a3975e31749f543527788","datavalue":{"value":{"entity-type":"item","numeric-id":3163663,"id":"Q3163663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76541b4644f9b981e3778fec6b67e4494e114847","datavalue":{"value":{"amount":"+0.7757259011268616","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":"Q2339962$9C841C9E-D3E3-4FD1-97C6-63B07681041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8012afe9c971671213ca3724296aa1e4d5255425","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89348bacdaf29214bad715e24bab0b616f63f0b1","datavalue":{"value":{"amount":"+0.7663861513137817","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":"Q2339962$18A3995D-AF72-4CCE-9C2F-1431E01E922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905d4f932639a77e55f1e0ace538a1be87e93160","datavalue":{"value":{"amount":"+0.7566294074058533","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":"Q2339962$2C22959B-3962-4C0B-B221-693FD14F4315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9567272a3ab9538c3a1b8f8b501cd3277b246a6","datavalue":{"value":{"amount":"+0.7487298250198364","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":"Q2339962$07A5F1CD-43EF-4D17-8E49-BDF6C19A3955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_reverse_mathematics"}}}}}