{"entities":{"Q1151892":{"pageid":1162641,"ns":120,"title":"Item:Q1151892","lastrevid":67087554,"modified":"2026-04-12T15:05:36Z","type":"item","id":"Q1151892","labels":{"en":{"language":"en","value":"The consistency of intuitionistic set theory with Church's principle and the uniformization principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3719134"}},"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":"Q1151892$118C80A1-BF12-4025-9AA3-694408DA54A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce85348553f3ae3394e8189c4154c3946a4f6c5d","datavalue":{"value":{"text":"The consistency of intuitionistic set theory with Church's principle and the uniformization principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1151892$14E49CAF-B8D5-4FDD-A0A1-2506CC89611A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06dcc4211512986f22e649e50ad55f03aac09d77","datavalue":{"value":"0459.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151892$344EE8D2-779D-46A0-B21C-595D9E6AA03D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e48636b5fa08c10ac39bb80920a584977fb9124","datavalue":{"value":{"entity-type":"item","numeric-id":869789,"id":"Q869789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151892$B136C552-739A-486C-A18A-0343E327978A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151892$FA57BFA6-06A5-4014-A984-20771CC8E812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1151892$32625D8E-DAB3-49B6-B355-AFB7CDEA02AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151892$F512C67C-BFD8-4AE2-9E4E-939FF85E530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151892$DC236262-F162-4BF3-A2B7-4F3607C580A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c0c0d5d33024b4724663f8a661b682d1e81f95","datavalue":{"value":"3719134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151892$69480301-2E25-473A-A514-98110F2AE374","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7709a3ec77c876c282efe3584bf507e7994f864","datavalue":{"value":"extensionality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151892$7E6640F1-9697-4094-8513-D042446607BF","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":"Q1151892$07A0B771-FF90-4A5D-BBF3-2B57D7442AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The consistency of intuitionistic set theory with Church's principle and the uniformization principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_consistency_of_intuitionistic_set_theory_with_Church%27s_principle_and_the_uniformization_principle"}}}}}