{"entities":{"Q3328712":{"pageid":3339420,"ns":120,"title":"Item:Q3328712","lastrevid":86751116,"modified":"2026-06-04T09:45:08Z","type":"item","id":"Q3328712","labels":{"en":{"language":"en","value":"Injectivity in the Topos of Complete Heyting Algebra Valued Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859364"}},"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":"Q3328712$BD81DB31-745C-49DB-8EB4-839970011347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d87fd7a1ba84c1a2b41cab5541e652b6862869e","datavalue":{"value":{"text":"Injectivity in the Topos of Complete Heyting Algebra Valued Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3328712$6A6061E7-9251-444A-80B2-6E25F1573AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9fb9f5909061ac1e94082fa61e508525c580884","datavalue":{"value":"0541.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$F9A1FAF7-56B6-44AD-BC55-3F33FC668F0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f50e550b395d95761716a2b1124112a772a817ff","datavalue":{"value":"10.4153/CJM-1984-034-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$D03CD6C4-1660-411C-AD16-B63DD3AE11CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6faf22c09aa018d358b6eb0636099956e4498248","datavalue":{"value":{"entity-type":"item","numeric-id":801941,"id":"Q801941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3328712$5B1D9B68-7974-4D9B-B67C-3EF0C8215029","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"106914d1bfa95e2474b643b3a7576780d3bbbab1","datavalue":{"value":{"entity-type":"item","numeric-id":2715659,"id":"Q2715659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3328712$BCC54972-5DB8-4DA5-8B5B-E9134B9E7ED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3328712$33D63D8C-5650-4DB1-9D06-1C49855E9C50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$D7B62FDF-842A-4670-9DD7-0B39ACF74C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$F7D84489-F3A9-4935-9A5A-EE6FE5552F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$CD897ED9-3735-409D-9099-EBC084D57881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$3A579E29-2458-46CF-8CCD-F5B446E7E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ab82a73b1a87efe2ffd619938c9fe2897943f8b","datavalue":{"value":"18G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$7AE0DED5-66C6-4690-8D4A-680ED3682182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38ed8a33cb3cfe60a6c661c58183b4046cb1ff5b","datavalue":{"value":"3859364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$B5891B80-E2F8-4FAE-8027-E3402F2206C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec215577694ac498223981b6be24d8c74f351a2","datavalue":{"value":"description of injectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$96D712B3-3BB0-488F-8B5F-4C5AB75EC919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108986a6b0fcc4d3ebe53f5c1e7986421e6be04e","datavalue":{"value":"injective hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$955EA2AF-7C0C-4042-A200-7EE2ABA0F004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$1AC53AC8-965D-4C87-A65A-16BA90040318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$FCEC5232-390D-4595-B025-64FE96C6F3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c955c19cc74a34a1a8de2f41a1a6705f05a9e7","datavalue":{"value":"topos of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$2C56FB26-85D4-4E1E-BC8E-B95B4682D295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0dcdad227d213b548ba7cf3c04bd8fc916d8c9","datavalue":{"value":"ampleness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$E2DFDD05-2E88-4396-BFE2-85DADF584117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae25ce0aba5ef7aa8619de36595c54e85d7785f","datavalue":{"value":"definiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3328712$8C899D6D-A869-414E-833D-34AEBBA3781F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b73040e5cbfe1d5d4feb9333e661c3e55c4f142","datavalue":{"value":"Q123359823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3328712$988A4904-F9FC-46B8-9F13-C87CBD3213AF","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":"Q3328712$AF7263AB-C838-44FA-BFD0-90E9E659E57E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Injectivity in the Topos of Complete Heyting Algebra Valued Sets","badges":[]}}}}}