{"entities":{"Q3634677":{"pageid":5664583,"ns":120,"title":"Item:Q3634677","lastrevid":80866043,"modified":"2026-05-06T17:10:47Z","type":"item","id":"Q3634677","labels":{"en":{"language":"en","value":"Forcing for IZF in sheaf toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5570790"}},"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":"Q3634677$2F5A6C4A-9730-47BE-BF4D-FCB5C5A99C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a608afb7dbc5b5014e7ba5c6ec22ff4430d1a93","datavalue":{"value":"1168.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$F2D89EC4-1607-42DC-A7C4-759255AA7B9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3634677$2AED9506-6CBE-4F54-ABFD-98DBE8165023","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dec4829f37baffd22f46efd1ec6b8a3fcc45c18e","datavalue":{"value":{"time":"+2009-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3634677$E5078F5A-3525-4042-B792-9609CD44680D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$93372A60-FFAF-4165-83E8-A3757445E78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$B9242DE6-9FF4-40F6-89DA-4235503C0BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$2A2E9D88-C41D-45B9-9D32-2CF3EC4A235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$A33B1D74-D418-432C-BDE5-0C9BA22FFD92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcc7f55be38951aa85face18255c79d07f37e83b","datavalue":{"value":"5570790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3634677$44A2711F-CC92-4924-BB87-1136038C7F43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$B8780A02-AE2B-4C82-AC7A-2C7053AF262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0314a42e3e5f5307d7f152e69ae7767fdd7c669","datavalue":{"value":"sheaf topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$E5C29641-999A-49E8-8B65-0A4FC8C7D84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$13090F79-5C30-4D5F-9ECC-6774E608D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06648b1ea4da55b0c763c34e8627b7b5af18ab2","datavalue":{"value":"intuitionistic Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$E5AFD799-C08D-4430-9528-F3810A556473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d914b03804764ee7eef8a1ee2e6d22d19eb6e3fd","datavalue":{"value":"algebraic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$BC5BA49B-005C-4238-A13C-A19868BA3A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3634677$AD9FBA29-53DE-4E57-8C25-778BD3B2EEE4","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":"Q3634677$6B88E368-E9D3-44BE-98E5-B267FBF62FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f66716ea3cae6775dc59c9de749828666855a6","datavalue":{"value":{"entity-type":"item","numeric-id":1095903,"id":"Q1095903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365bb5ee022bd2253768356129c6e2ab599966ea","datavalue":{"value":{"amount":"+0.7400262951850891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3634677$F74418EC-9AF9-402F-B0B0-313C4C0AA2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b419a75eec031239ec16f5fbf0c4b222686cd99","datavalue":{"value":{"entity-type":"item","numeric-id":4010364,"id":"Q4010364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1a9d1f70af19cf7909ccdca64f8b78c08b65ba","datavalue":{"value":{"amount":"+0.7382596731185913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3634677$4CF19826-60FA-4243-BBD6-17826D6125A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60ab01793b7fe8e463f214ddd147feabbc7cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":3533518,"id":"Q3533518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1a9d1f70af19cf7909ccdca64f8b78c08b65ba","datavalue":{"value":{"amount":"+0.7382596731185913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3634677$74BEBDF9-DE00-4BEA-9833-521FEA844428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5ff6ca79fa0b76d9f3dd98495b97c60c8d137a","datavalue":{"value":{"entity-type":"item","numeric-id":3679161,"id":"Q3679161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73770fe58d3387ff8a586443e10c69f7efa361d8","datavalue":{"value":{"amount":"+0.7358861565589905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3634677$5E6918A6-14AD-49D5-BD49-75F1C65FDF70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing for IZF in sheaf toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forcing_for_IZF_in_sheaf_toposes"}}}}}