{"entities":{"Q3050433":{"pageid":3061149,"ns":120,"title":"Item:Q3050433","lastrevid":45347866,"modified":"2025-12-05T22:41:56Z","type":"item","id":"Q3050433","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645093"}},"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":"Q3050433$66BC52E5-A792-4ADA-AB43-6067A257D725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b160da52fc33a65c56252db9caa947483a1fb04","datavalue":{"value":"0415.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$373F679D-621E-46EF-8AE0-B226E345749F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3050433$2AE716E3-82DB-4B59-8024-5710E8C0E106","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$5670934A-B60F-49EB-9814-65CD7E73C5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$41488384-D94F-4539-A068-6747F84F9761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$03731798-F41F-49E6-B40A-B189850543D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$1A72FBCB-C309-44C7-9BDE-0CCE6AF7D557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$8EF5D99D-9188-4BC0-BC9C-F0536DD3ABB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c05a4a4fa78f658f58f57fed67b79622cba6e7ff","datavalue":{"value":"3645093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050433$23D79F06-CB13-40C3-BB8B-388AC484314B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6bdfe43fc22eb7f8eb0fba0b8511451561ca3d6","datavalue":{"value":"sheaves over complete Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$AF39C2A0-DE94-4F19-8355-13D0237F2BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f0ecf7f590386734e5f40cac3167377a91e3b5","datavalue":{"value":"sheaf topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$4EA11FC7-D45E-4972-A119-1269B62F89A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f313d62402915d745555f56b91ccc258c4e7da","datavalue":{"value":"internalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$36E0AD4A-BA6F-48D4-A3C0-7C5518480D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$9E79A383-4EFD-4D74-AFC4-37A1FBDD2F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d1dbcc01c696374b5fd1d4a68612cfaf6a2e52","datavalue":{"value":"interpretation of logic in categories of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$1236CB56-FE05-4FD0-A14F-FE41418AE166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca3090f0676cceb25e8780a29836ba8feb68f0c","datavalue":{"value":"complete Heyting algebras as generalized topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$153DF701-82D8-4435-9639-1BBE36674A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"296c14cf1ad34c4276b26b303aafd573d1beb545","datavalue":{"value":"quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$5FA8B59E-F14D-4FCF-A768-14C8AD4F5610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf4187b0ab7973a3b5fa5e7c12f1ace202ae096","datavalue":{"value":"category of sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$787EC023-918F-40E0-A6FA-BCD9C55CBBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09cb0127345dee6f1f8fe47dee71b5b2a0284e33","datavalue":{"value":"interpretation of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$7E7ACB70-30A0-4416-AB29-A305D51C7ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bc264fa5bfa4b4ab8a8a71911abf380e2003f2c","datavalue":{"value":"interpretation of higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$F5F4C86F-9E1F-422D-B973-1E7AE01BF268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebc544131db85c65ff3b074e7c3ba53e200534c9","datavalue":{"value":"internal reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050433$D7FEA44F-D309-4CBE-AED0-F6D3D7C0DA12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0df80006e9027d48ac048be2eb374a39c7d776","datavalue":{"value":{"entity-type":"item","numeric-id":1799306,"id":"Q1799306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050433$84F59AED-DDCD-4873-A428-B7DCA5C0FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c895e13f6f32b6adbc6f5606bf87874bb4c38f","datavalue":{"value":{"entity-type":"item","numeric-id":1314362,"id":"Q1314362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050433$8096710D-3088-435E-8598-35DD8F7702D8","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":"Q3050433$AC09838B-6D2D-4781-8EBF-5290B2315826","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3050433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3050433"}}}}}