{"entities":{"Q1283133":{"pageid":1293883,"ns":120,"title":"Item:Q1283133","lastrevid":67221564,"modified":"2026-04-12T16:09:53Z","type":"item","id":"Q1283133","labels":{"en":{"language":"en","value":"Varieties of monadic Heyting algebras. II: Duality theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275037"}},"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":"Q1283133$6A6EB2E4-AB6B-48BD-9475-6B94E4D8D5A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cf2dd4df4ba3a9e66567395549f2f8cda776dc9","datavalue":{"value":{"text":"Varieties of monadic Heyting algebras. II: Duality theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283133$7A547AE1-9047-4635-92C7-6ECE2053F59B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9290eeffedcebe8a97215b6298d2c12c4032a12","datavalue":{"value":"0973.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$137F713F-D430-4B32-82E4-A7D9841FB3ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c53c7385cf0bb33d575d20e1ee450cc9c517ee8","datavalue":{"value":"10.1023/A:1005173628262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$84712B05-637A-4343-B765-512BC9D6C9B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283133$5C99D8CA-0BCE-4EB4-87A7-AA7B4257A59B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283133$A6DE1494-8487-4717-87B2-FB65DE081EC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3205a83d3032a4b4ceb548e95aec4741c432cdf7","datavalue":{"value":{"time":"+2001-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1283133$0D6AC42E-F725-461B-BEA5-04A4A28BE67A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$905C6BF6-A9EA-4AE0-97CC-9C8C7D864990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$0A5C4497-E365-4886-8405-82FBD4EDDD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$5B291241-AB87-41A0-878A-BBA74A257804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$2CAAAFBF-AF4D-4E15-9FED-3CDA6D525B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$4373CF97-0502-4FD6-80F6-68B71C4FE01E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c81decafe0449b8091b2729508436d7cc8c394cb","datavalue":{"value":"1275037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$B07E89F5-4041-4B6D-91F9-EADE7E8DEF4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cedbc8d8e90b8c562eed44d100f2438ba8c337e","datavalue":{"value":"augmented Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$2102A237-928D-4E07-9DED-E16971012C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2ac665b0a93fd83ffb03a13aab13c84cbf4ebe0","datavalue":{"value":"Ono frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$0633523F-2D77-4FB0-891A-06D8AB1F1AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f20bdefdf8fa04f343998a1f047d5c1482cc4a","datavalue":{"value":"Kripke bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$9B2D4B31-C00C-4CD1-8B27-858C44DB6FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3c9bf4068ef121a82e9f1557412f060f8e80b9c","datavalue":{"value":"monadic Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$93FE60FB-2FD2-4F23-88F2-FFF2B9FF9242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$2FAF59A5-C2CE-491C-A6C3-A6A2973EE148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$00CC2BD3-8D4D-4290-B98C-97C26B5A0D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$D4014841-C936-4537-A991-D2E7F397B055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$BBDA10AB-EFD8-4FC1-AD00-81FEF022311D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283133$6D3533A0-428D-4CF5-B830-2545C66B34F9","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":"Q1283133$1A517957-A2FB-4871-B3AD-5E775DC9F841","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"553fe0c562ccc428fde189af695b558b5dd4b328","datavalue":{"value":"https://doi.org/10.1023/a:1005173628262","type":"string"},"datatype":"url"},"type":"statement","id":"Q1283133$CADBA568-C261-4819-BC57-4175F3E0939D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24a377bb797792f8f06ac5df3f1ceeaedd394359","datavalue":{"value":"W639782591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283133$59B05813-8318-4C9B-ACCB-30811E9E8AFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7830490a7c3e935f795dee81d31349ed914335","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472c5b58e750f2d3151e328dbfa246a0de94a206","datavalue":{"value":{"amount":"+0.8835449814796448","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":"Q1283133$D5B83DDD-47EF-4766-AD47-79B3B56E653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0598613ba414eb0322da1838560d61a1925bae32","datavalue":{"value":{"entity-type":"item","numeric-id":1975163,"id":"Q1975163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7016648648b27f3459f2eb77e0d9181dd1f63ef3","datavalue":{"value":{"amount":"+0.8350926041603088","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":"Q1283133$45458DE8-6A79-4C1F-A8B3-63889F8A4800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad588f7b4449825bc631ab3526096db3f14554ec","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c92efc1159dda5ebeec73865a22257d14f00ea","datavalue":{"value":{"amount":"+0.8171576261520386","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":"Q1283133$BE35A5D3-523C-4C08-A28C-BBDD18B42F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of monadic Heyting algebras. II: Duality theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_monadic_Heyting_algebras._II:_Duality_theory"}}}}}