{"entities":{"Q1151916":{"pageid":1162665,"ns":120,"title":"Item:Q1151916","lastrevid":66257850,"modified":"2026-04-12T08:35:35Z","type":"item","id":"Q1151916","labels":{"en":{"language":"en","value":"Modal operators on Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3719203"}},"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":"Q1151916$69C13557-BEB6-40C1-B984-E7DD8022F0D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d0edd94c5d38dee713630fbe10e73b320b2807f","datavalue":{"value":{"text":"Modal operators on Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1151916$5D1CFB35-2AF0-425F-B303-A448F67C7E54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0520b520a9558794df34f49ec3ea14981a5ee071","datavalue":{"value":"0459.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$5692B793-A801-49F3-9FCE-9C52E83001EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0420922362053346ca78be3e1d00b6aa684edd","datavalue":{"value":"10.1007/BF02483860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$DBA1DA6A-04F8-4CEE-8687-3CA0F9C32F82","rank":"normal"}],"P16":[{"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":"Q1151916$BF382D45-C2BD-408E-9E25-7279479C10D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$88A7582C-F54A-481A-8030-6E65C1CBD2E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1151916$CF31D761-3FB8-41EC-9D83-9B4A4E7DDAB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$188E2573-5240-48D4-B326-61FCF671D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$0E4F9D80-FD1C-4A25-B760-B2CD90E78AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$1629B23F-1F22-465F-875F-8FE451227D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$F764ABB7-C7EB-44F7-B008-B989A26E52A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2b6efefff074c715e32f78fad946a2e4abd8aec","datavalue":{"value":"3719203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151916$14EC3EAE-9F49-4D27-8647-E8E2ED68508C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151916$A330DAE9-5F58-4275-9F60-4361992D0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151916$D0F67202-9885-4EAD-AEE4-755D8145E61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627afd62cea8f535c6b7fffbfcd937dd43c7a62","datavalue":{"value":"admissible filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151916$62C45850-5C50-4476-A89E-1EC21A3A02C5","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":"Q1151916$922AFBAB-1B95-42FA-857E-77B931B2AC7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b531059db91c345d4988fb54138296500ebbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":3875987,"id":"Q3875987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$181CB387-680A-41DE-9953-2CFE355854FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0699a00cb2d6bc2109617a278797cbf96caa907b","datavalue":{"value":{"entity-type":"item","numeric-id":5509504,"id":"Q5509504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$A636A883-A268-4B5D-89B0-E1C68EB4F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4997d575b4c0bacb4f9fd9269ea1f31cd94415cf","datavalue":{"value":{"entity-type":"item","numeric-id":4045288,"id":"Q4045288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$1AE1E3AA-D0E9-49DF-A171-AEFDF897EF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$3FEF0EA8-CCAA-4AC4-A1B3-445660BE33F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$E6DD2E96-731F-4584-B391-4C2A5B06F8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da46aba9a5e32c25ed004affe8b1ddd47e8ee51","datavalue":{"value":{"entity-type":"item","numeric-id":5672681,"id":"Q5672681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$25883CCE-1D8C-474B-AA64-A0BC16E5F180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a58a7fef55f930c3e05c462fca5c8869603702","datavalue":{"value":{"entity-type":"item","numeric-id":4085903,"id":"Q4085903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151916$70C7B9CD-254F-49AA-A39D-F55EFE751B83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal operators on Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_operators_on_Heyting_algebras"}}}}}