{"entities":{"Q4868241":{"pageid":6897821,"ns":120,"title":"Item:Q4868241","lastrevid":46445958,"modified":"2025-12-24T19:30:39Z","type":"item","id":"Q4868241","labels":{"en":{"language":"en","value":"The Recursively Mahlo Property in Second Order Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 852019"}},"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":"Q4868241$A6AFFB2D-C747-4D89-A536-49A4E4AB6BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8dd9d57e0390be38f69448c9cb4a32a09192e1c","datavalue":{"value":{"text":"The Recursively Mahlo Property in Second Order Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4868241$F213B0EC-A1D7-4B4B-96D0-65C5934DBA15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f80d40559ca95164f31c77b9df6bc36af2ae0a68","datavalue":{"value":"0836.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$AF555A04-73AF-4DAA-BD4F-63D76F2C434B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868241$F020555C-9C04-4A9D-A154-E4B3062EEE31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868241$F6ACA9B6-04C3-4FAA-A986-420178F356C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63eca9d42c7a29272318f097590a3d825a5d4718","datavalue":{"value":{"time":"+1996-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4868241$11141126-927F-4185-A1EB-6E3421DAC148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$7D9E87FF-5BC2-4101-A0E1-B7BC63C9D714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$EDF463AE-5512-423C-92B9-26A04E65E58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$97DFDAFE-F761-45B4-B849-25668A9EB8C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"411e151493822a3a9c8a22e58ab78110adb6d65f","datavalue":{"value":"852019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$96738590-258C-43FC-90CC-0F12ECCAF6EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a29afca1c19db64b23350fa17b8f50c2bb53702e","datavalue":{"value":"\\(\\beta\\)-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$899AA398-D876-4D48-9135-5756294319DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f7e25387335fe4376618e87e388fa1254d9a0f","datavalue":{"value":"Mahlo ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$0C1D04BB-4E9E-46F0-980A-81922B8DE2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f62e8e1c4d7b443eda51b480fa2916beeb866d7","datavalue":{"value":"Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$2A860AB0-BEE7-45D7-9ADA-40CF0262D7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$BD666256-4795-4B87-8B5D-9A85EA0D2B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$ED18546B-E80C-420D-914C-9FCA0D218150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7586411acfc5ec58ca2ca2ad2ff0811a1149e5c3","datavalue":{"value":"superjump","type":"string"},"datatype":"string"},"type":"statement","id":"Q4868241$563B0789-E9BE-41DD-B8D2-408CDF38C999","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":"Q4868241$DC032FEC-1F5F-4D70-A0C9-3DA44EB24848","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef764fb4be65195176dfd4d35f9c141a604404b2","datavalue":{"value":"https://doi.org/10.1002/malq.19960420106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4868241$AE116ED8-0E5C-49CE-AAE5-DD91710C406B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d434936dc183b827b085a68656da1161f23c6710","datavalue":{"value":"W2046497718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$1C84F1F1-67DA-4FCD-B31C-3C3454CCB5D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868241$A59AC583-9858-4AB5-82C1-E19F1F5554D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4868241$DE71D04A-4DC1-4785-AD60-BE93BB06DD15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f81470cf668f59998921bea0ca3d6f7cc37059cc","datavalue":{"value":"10.1002/MALQ.19960420106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4868241$0BDA58C0-F6B4-42DB-9DDD-42E6009D83B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37df0f285575cad816a31292f5b064b39ffdae10","datavalue":{"value":{"amount":"+0.7555171251296997","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":"Q4868241$B1FBD372-4CA9-4317-A89C-BD85D88F0F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db7d0e1788af3b2abde1bafb762cdbb7628df8","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32410c6ab4887a26067cc3dee756a56cd6634f58","datavalue":{"value":{"amount":"+0.7353481650352478","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":"Q4868241$8BA36669-827B-4177-8ADE-1C28533A0B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba702e71ee0183cfb552a2631a86dbdc1b305a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b933f014d58744474e847370e20b2698203d383c","datavalue":{"value":{"amount":"+0.7173002362251282","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":"Q4868241$98414577-4FFE-4569-8270-24360A89659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621326099d4b8af68233354674ac32f80d2ebf95","datavalue":{"value":{"entity-type":"item","numeric-id":4630793,"id":"Q4630793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260358642a5f52a0bee969a71123a06ff4d53d30","datavalue":{"value":{"amount":"+0.7056441903114319","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":"Q4868241$D16D40B0-BB9C-4358-A7F1-44B631BE9BF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4868241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4868241"}}}}}