{"entities":{"Q3875987":{"pageid":5905892,"ns":120,"title":"Item:Q3875987","lastrevid":54583541,"modified":"2026-01-28T22:22:04Z","type":"item","id":"Q3875987","labels":{"en":{"language":"en","value":"Modal extensions of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679897"}},"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":"Q3875987$39C89EB1-7B7F-450A-A4EB-689CCF082A62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3974e7db0ad853aba9c0e75fbb55d4cc9f5584af","datavalue":{"value":{"text":"Modal extensions of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3875987$FD0459F6-E5FB-439F-8779-1DA80CED9085","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4624106dc074cb5cb23978e810cc20ac24db01e3","datavalue":{"value":"0436.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$628FE130-CE8D-47CD-B67B-0D6370FB708A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a5a14f50f19bf93f713d88f9d8ceb5016483ef","datavalue":{"value":{"entity-type":"item","numeric-id":599070,"id":"Q599070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875987$7CA98E95-5C7B-40A1-A037-A5295BAB609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc07c5e661c289a518d8a926c7a280932c155455","datavalue":{"value":{"entity-type":"item","numeric-id":1151915,"id":"Q1151915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875987$042ED7FD-265A-44F7-9CE9-EF4D4E6AA683","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875987$56213A47-36E6-4C6E-8A22-E74E4F4582C3","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":"Q3875987$6513F28A-5AC2-4123-B3A0-309A41E0A558","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$95B344DC-F9FC-4F52-BBCF-DE9E982212DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$A540B51C-EFDD-45D8-83A2-763E925DF9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$E0EDF5CA-8F8E-4E85-83C9-62CEB331C92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d7fd8a208b2db8901ce62029892dfbc381da27","datavalue":{"value":"3679897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$B8DF7001-E25E-4ABD-9387-6A7499E60F05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154255fc29d01e4cd2bd5b314119519742ecc2ab","datavalue":{"value":"modal extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$43A85D98-F823-42D5-8DC2-F5073661D6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ab01d2106571c3cf904c6d8df6340b08641b16","datavalue":{"value":"modal operators on a Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$2BAC6BC0-B10D-4A0F-A7DC-2D5144B9259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$F814509A-625F-496C-9A57-29EF768F4D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2515de3f4a33f764f3ee7095a3f8b6b45c3679e7","datavalue":{"value":"Post algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$60559B55-702F-44C5-8445-EF1BF68D8BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"144b70e45fb722a6daf57965a970557583908297","datavalue":{"value":"Lukasiewicz algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$29781E64-093F-4C84-BC28-2F0ACE9F121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$90F20EAB-6880-4C51-A42C-86C5341381A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35170da8578700295ae7e0f24a3869a319fcf4a","datavalue":{"value":"dense element","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875987$1E8B1887-15A2-4245-A51C-FCC14BA07525","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":"Q3875987$B5AA37D0-19D6-4D8E-B67D-A874C315022F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12b819dff98d4f33ff55b06e8f0597d8e9caf99","datavalue":{"value":"https://doi.org/10.4064/cm-41-1-1-12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3875987$19D6BBA6-438F-4284-A8E3-4B35D1125C2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2c2df7af52a250651b42d16c29ab3412f50c368","datavalue":{"value":"W826454855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$0958B863-E115-4C64-8BDC-F9F8064CA631","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db028f6fd1e9ee66256e0aa0f602d7b6d355a6d5","datavalue":{"value":"10.4064/CM-41-1-1-12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875987$48D95E99-956B-42F4-A359-289991D52F64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3875987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3875987"}}}}}