{"entities":{"Q1147137":{"pageid":1157886,"ns":120,"title":"Item:Q1147137","lastrevid":66951756,"modified":"2026-04-12T13:56:38Z","type":"item","id":"Q1147137","labels":{"en":{"language":"en","value":"A majorizing semantics for hyperarithmetic sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702646"}},"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":"Q1147137$79620273-7654-42A2-A93F-AD48311D51DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b2205a0adbea39cca6585c11cc4cb0d90ba8db7","datavalue":{"value":{"text":"A majorizing semantics for hyperarithmetic sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1147137$8757C43C-D88B-46C2-84B9-2E1B5226B998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05d300abe8449f41984e452c2024ccd74141f5ab","datavalue":{"value":"0449.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147137$88EE20DA-8B85-4903-8839-09BB60C74AE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56ec3cfb36145effc579d35c0ab71c2f6711318a","datavalue":{"value":"10.1007/BF01404103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147137$DF28DF48-A037-4CDA-8730-E5F762D9EC27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da91d821e6afd5fc2acad321f0aa06b2e18cae96","datavalue":{"value":{"entity-type":"item","numeric-id":1147136,"id":"Q1147136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147137$F9A38D64-3E58-441E-AA9B-876013FBF7E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147137$6E1BC66E-E910-4E48-AF66-ADEBB674A6B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1147137$05772808-C540-434D-81F7-3B47E63C412E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147137$304696B0-8EC2-45F7-AE0C-26EE88CB79BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147137$DA2DD4C2-E6AB-4D2D-838E-AA379D5B8AD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4764286471855c248b5b51f7aebfacf35ee00b92","datavalue":{"value":"3702646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147137$B801F2F3-CB0D-4A2F-8195-9FC8B9ADC75F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc4ce8f06fbce0e8b7fb67bf3eb899b74646e0f","datavalue":{"value":"majorizing semantics for hyperarithmetic sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147137$EBEE3C1D-AEF0-4322-B63A-A556F461DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a48e98ee29236420fe4b66c926f90c8016d011","datavalue":{"value":"hyperarithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147137$130A0F7F-5401-4535-B825-58EB66861929","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":"Q1147137$75BDA068-E072-4145-9AB3-BC4FAFCE1493","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8d427780646752b440e62b35c1cc861f0bf2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4071217,"id":"Q4071217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147137$85AFFFE0-BF05-4198-BD0E-7C8A6EE59DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f910cf9afe79ee57cf24ea805ed50f78ba6da7","datavalue":{"value":{"entity-type":"item","numeric-id":5544287,"id":"Q5544287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147137$50F8AACC-FC7A-4466-9A4E-78FA16E8D842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A majorizing semantics for hyperarithmetic sentences","badges":[]}}}}}