{"entities":{"Q3312221":{"pageid":3322929,"ns":120,"title":"Item:Q3312221","lastrevid":87957263,"modified":"2026-06-04T13:16:00Z","type":"item","id":"Q3312221","labels":{"en":{"language":"en","value":"Second-order arithmetic and the consistency of first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841846"}},"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":"Q3312221$A51AE69C-7D9F-453E-9D68-4F76078C8762","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a3568cada8ee70bb038ca91532c3090196dd89","datavalue":{"value":{"text":"Second-order arithmetic and the consistency of first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3312221$706AB3BC-8AF1-485C-A12D-2AC23C09794C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c217f974cec8143a7c052b79f37ffec8829044ec","datavalue":{"value":"0531.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312221$5FA25FB0-3516-4136-9AEB-F06668CB7AAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bd9996562689e85182dccf13bed96e7edc660c","datavalue":{"value":{"entity-type":"item","numeric-id":664051,"id":"Q664051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3312221$160674AF-E2C0-4422-9734-BBD2D1BEFD1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3312221$D3B1B3CF-FB60-48C6-9951-57DE8A29A57E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3312221$C2008FAD-A4A1-4593-85E2-FBDB8FCE8E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312221$78F1FAF4-B987-4B33-90F9-6A57A44D8A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312221$428123FA-77CE-40AC-9210-087174AC9106","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4850a7f40df08b31e1836899fd3ac8290750a6df","datavalue":{"value":"3841846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312221$77B494FF-370C-426A-BFEC-30C3DDA15775","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312221$42E3A3E9-C99D-43D6-95B0-A5B49A4C4AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3312221$9E0E705D-5BEC-4C9F-8E65-C4F75C770ABB","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":"Q3312221$C5F090A8-9CC5-44C4-B6CF-7ABB47CDAA31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc3505a16cae789ce5b58c1db6ade0c38fb68cf4","datavalue":{"value":"10.1070/RM1982V037N04ABEH003977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3312221$BBC6B118-C361-4FC6-88D8-93D85B020C58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Second-order arithmetic and the consistency of first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Second-order_arithmetic_and_the_consistency_of_first-order_theories"}}}}}