{"entities":{"Q6897631":{"pageid":20883091,"ns":120,"title":"Item:Q6897631","lastrevid":84183563,"modified":"2026-05-13T06:40:41Z","type":"item","id":"Q6897631","labels":{"en":{"language":"en","value":"Completeness theorems for modal logic in second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8123956"}},"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":"Q6897631$AD1FF987-D534-46E3-9F86-EB70E38AA1C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b7e43f6779441a05017e7d337c18ba70999aae4","datavalue":{"value":{"text":"Completeness theorems for modal logic in second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6897631$45053765-E21A-4425-A017-35F00F5608D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc345da160795f4d61b6ee711c2573b85d546ff6","datavalue":{"value":"10.1007/978-3-031-95908-0_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897631$8AA1CCEC-7AC5-4277-9787-6D7763A743CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4e143f96e633e01e833d4740765f65933c9616","datavalue":{"value":{"entity-type":"item","numeric-id":6897629,"id":"Q6897629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$912470F6-11C2-4F9E-94E7-82D9DEA9330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27974ecc3b1ef324c3b9bd17a8652d00aa55184d","datavalue":{"value":{"entity-type":"item","numeric-id":6897630,"id":"Q6897630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$D887291D-B807-44F1-A787-1633BBD4DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991554509c5340d11023c6c860d73645277e2ec4","datavalue":{"value":{"entity-type":"item","numeric-id":324247,"id":"Q324247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$DB97E69C-04ED-4F69-AADE-C5017B4D759C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804cb8321879b3a50f4d87280bc7c6e87039f39c","datavalue":{"value":{"time":"+2025-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6897631$04645842-A7DD-49E2-B46F-CD3843F660DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897631$3B138CA0-CAEC-42FB-BE70-46675BD0487B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c546d6b5914c398eb0ad5963bdb9c2c3a76a4e17","datavalue":{"value":"8123956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897631$212D25E7-A8B2-40DF-8DB4-E1D66577C8A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897631$D6020A3B-E733-4D98-97FB-04366ED1AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897631$E2B34369-AFD7-4850-B162-ADD55DC509A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897631$9E5C85DE-57BC-443C-910E-E5CDF73826AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897631$0E468429-C342-49D3-B02A-DA2C5A40DDA5","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":"Q6897631$87A1F4DE-C45B-4DE0-8CAD-1852D6E3A244","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$9B3A09C5-FFB1-456C-B6AF-4BEF443D08BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3255f9e862363da7e78183694412963378f10cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$BADD0FA8-8A57-49A3-A422-4DB0A9351E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$CC0F1FE3-C5F7-4291-9506-59F2F95D2B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543ad13d1ba373bdaa1a725cb4e87681ce296592","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897631$13FBCF20-044E-4FFF-B206-B414BF38F786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness theorems for modal logic in second-order arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_theorems_for_modal_logic_in_second-order_arithmetic"}}}}}