{"entities":{"Q1165239":{"pageid":1175988,"ns":120,"title":"Item:Q1165239","lastrevid":66505431,"modified":"2026-04-12T10:31:12Z","type":"item","id":"Q1165239","labels":{"en":{"language":"en","value":"A note on intuitionistic models of ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765774"}},"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":"Q1165239$8972AA89-F068-478A-9C42-CDE27A7D0D9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df811c38e20047d86edeefa9741c43b12859e1f","datavalue":{"value":{"text":"A note on intuitionistic models of ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1165239$5B4C4746-474B-4115-B115-6D011317A2CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1674f2cd8ad8584b93e2fdc3c79477a953cb8df7","datavalue":{"value":"0487.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$AEA9194D-DDA5-488F-AAFD-776D1054F047","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165239$6F71F8A0-6A85-4894-B396-2A2C0DE71425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1165239$42475383-3233-42D7-BAE7-40871F764789","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$8D426A11-03C2-4186-A8C7-44C5D245D6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$7F213A40-9EE9-4696-BD4C-19C88A8EB61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$0305C2CF-BC5D-4365-BFAA-A026C9F2DA39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6a4b499cb3c3fdf1257ac16c72a52bf6bf8c7e4","datavalue":{"value":"3765774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$3FEB4BB7-9DA6-4DA4-8A60-E610A841E03C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30353f336797e475742f6f28f3ba71702fe56534","datavalue":{"value":"extensionalization process for Kripke or sheaf-structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165239$00C5F592-6D9A-4A35-B87C-BF811664297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e7221db39bf9b3993ac689b6d1bd5044870197","datavalue":{"value":"intuitionistic ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165239$D3BEE4F5-84FE-4CF9-BC7A-D1C5DBC5BE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f781813cb1abcf9d51ab0af0a6681c5b2d43e1a5","datavalue":{"value":"axiom of constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165239$77905018-E31F-424B-B8D0-DDE929508AB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d82f8b03f6c1b8914585488abbd4230aebee772","datavalue":{"value":{"entity-type":"item","numeric-id":1303459,"id":"Q1303459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165239$8847D246-8DE5-426A-8767-0AD06953571D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"decf1d047f45269e853a1e03e7b7e8c433616b96","datavalue":{"value":{"entity-type":"item","numeric-id":1840650,"id":"Q1840650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165239$24C64EED-3D6B-4F3D-939E-439C3FAEBEE6","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":"Q1165239$184049D6-1D8E-4794-A165-42E61D67DB12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3e69a65f53a18e30466105cadaba1aa1440674e","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870220","type":"string"},"datatype":"url"},"type":"statement","id":"Q1165239$43EDAD93-E234-4121-8951-361D527DD8B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a60c5ce183cccbb31ea38ccc6a016e3abefd4d7d","datavalue":{"value":"W2029458268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$9B8560AE-223D-404B-A355-69EFCE976634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be68f7f5d3d47eff5bc1ebbe3807911f70ed712e","datavalue":{"value":"10.1305/NDJFL/1093870220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165239$307DB0CC-DFF7-409F-83AB-1AF3DD47A4F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on intuitionistic models of ZF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_intuitionistic_models_of_ZF"}}}}}