{"entities":{"Q603889":{"pageid":605665,"ns":120,"title":"Item:Q603889","lastrevid":63049230,"modified":"2026-04-11T10:04:25Z","type":"item","id":"Q603889","labels":{"en":{"language":"en","value":"Dualities and dual pairs in Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5813772"}},"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":"Q603889$340365E8-981B-4041-B7F2-83A661E88E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8e1675a5e345907eacbf6d73245eef807bf772","datavalue":{"value":{"text":"Dualities and dual pairs in Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q603889$89B917B5-EB73-423A-B30A-624847915647","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03a0b097b49af997e23ab4ad93bbd02497e46db","datavalue":{"value":"1206.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$53AE9C58-DBDA-4743-8940-01C3589E0E0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5523eadb58728616af7870b9431208edde6e5be","datavalue":{"value":{"entity-type":"item","numeric-id":488274,"id":"Q488274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$8318F6D5-0C67-4877-8845-731E3701FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9380c4124a5ef272e2152da1b5d415130e3e64f8","datavalue":{"value":{"entity-type":"item","numeric-id":175596,"id":"Q175596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$29172C66-AECA-4137-A23F-0EDABF783F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1363ae1d9d703f7fb2acd3ca733e972bbcaf0fee","datavalue":{"value":{"entity-type":"item","numeric-id":178714,"id":"Q178714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$7D533F8D-9764-487F-9C06-4BA692B4BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2ec4988b2740deb3f4f56ca53450b3e354afa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1141149,"id":"Q1141149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$E803268D-8DFA-4453-94B7-E65E699CF4A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$182EE84F-91AD-4C5A-9092-EA6E176F4056","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4a64d94cf3fbadee0bd43f628c99b6d9b300ec8","datavalue":{"value":{"time":"+2010-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q603889$881A8CDA-FAB5-4C7E-B570-90D21E4D8221","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97e803d510ca21862a38599e9d6463cb4fbf0913","datavalue":{"value":"https://arxiv.org/abs/0908.0428","type":"string"},"datatype":"url"},"type":"statement","id":"Q603889$B4533A71-EA9E-446C-A83B-37DA8EE7A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2e010610778328a3a348edc10d4380c57ad5817","datavalue":{"value":"http://hdl.handle.net/20.500.11850/23674","type":"string"},"datatype":"url"},"type":"statement","id":"Q603889$953375B6-83D9-4491-A1E9-A21212591CF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"800eaf0922d69762c479003a2642147e115f5950","datavalue":{"value":"Finite dualities appeared in the categorical context of dual characterizations of various classes of structures [\\textit{J. Ne\u0161et\u0159il} and \\textit{A. Pultr}, Discrete Math. 22, No.~3, 287--300 (1978; Zbl 0388.05039)]. Its idea is to characterize a given class of structures both by forbidden substructures (associated with subobjects) and by decompositions (associated with factor objects). In the paper, finite dualities in the categorical context are discussed. The authors aim at pointing out those categories in which one can describe finite dualities using the interplay of general categorical and order-theoretical concepts and techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q603889$5F686FF8-9973-4839-9969-C4018C172612","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$67BF4A45-0168-4DFF-92F2-AFD9294F9F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$A875E972-3CF9-4CA3-A8B3-A4F2EF2E8530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$63174FD8-A404-42E7-9285-D01FD6E3C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$7F2A336C-9529-419A-A030-5FF3E6418ABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48460d1971161f2fa8c6332493e589dedeb148e7","datavalue":{"value":"5813772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$1562B7C5-BB0C-4F2C-99FF-FA8FBAE8D657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q603889$680AEE5E-CEF7-471E-A4D3-409227B996FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f1be739e863f43c5e9e79f7b77c3fff1518c4f","datavalue":{"value":"structural theorems in combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q603889$DA2ECF4A-5160-4861-A5D3-A1CC01539BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ddbd8778c185f177dacd4e3e671e6569c8b857","datavalue":{"value":"good characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q603889$83468F24-5BD5-4B85-93E2-0FD0E07C3AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893659a2a615c1efe039f6e938349d1ab7f4ffc8","datavalue":{"value":"finite duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q603889$3F3E13D2-D126-4402-9219-D27174722A7B","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":"Q603889$AFAB2FC1-2631-4677-A8BF-8C4122F95B1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2869e733068577917b4e0ad05b6832158e7cc7d","datavalue":{"value":"W2005947941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$F0199843-D6C4-49D5-9115-C10142EF272B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18553a571082f2acb0c7512eacdc81e147964f6","datavalue":{"value":{"entity-type":"item","numeric-id":1906844,"id":"Q1906844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$A28FB23F-52AE-43AC-A360-F6A2E75943D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a24a9a81489408cac91436950dfe8a7ac7ba05bb","datavalue":{"value":{"entity-type":"item","numeric-id":4945050,"id":"Q4945050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$F5FB2981-E44E-487A-BD0B-C5044D4ACD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07f2784b57531e73555367712e3ac49b3a2f090","datavalue":{"value":{"entity-type":"item","numeric-id":2427534,"id":"Q2427534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$9DADBAB4-AA26-470E-B743-7D506371EA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006f0f2f91646a7270feb56283055eaf50cccc1b","datavalue":{"value":{"entity-type":"item","numeric-id":4111592,"id":"Q4111592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$6BCFDEA9-581C-46F3-8B17-68CA58E21905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4881a2801549bea69678a6b0bb6d1a359ad339d","datavalue":{"value":{"entity-type":"item","numeric-id":3392791,"id":"Q3392791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$D746884B-8C7B-4926-AEAE-55F7B73F8FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60c17c6fdac38e2b2ab3993717ca5e51948fa0a","datavalue":{"value":{"entity-type":"item","numeric-id":4254541,"id":"Q4254541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$81F871C8-7ADB-442D-B966-5B129E5A53CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$9BD38AF5-211A-47E9-998C-0DB806979701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623aa0450604b7dbc9a31360325845e4adb61259","datavalue":{"value":{"entity-type":"item","numeric-id":5530478,"id":"Q5530478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$E8E269B3-FC2D-480C-A79E-EB3606D795CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c5352330df4b576a76eb9f028c143046b5bf14","datavalue":{"value":{"entity-type":"item","numeric-id":1356552,"id":"Q1356552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$79D84947-F217-45CB-A81D-BC3029C57FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b525cdf69267763822538deb49093584b5ad4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2460618,"id":"Q2460618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$1667005C-1498-437C-8737-19F49652341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$35A2F9A6-5AB8-4EAC-B410-3C787FEE2FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9120165a90f157001c3ebf286baf21899fd769f7","datavalue":{"value":{"entity-type":"item","numeric-id":2427538,"id":"Q2427538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$A15DBF28-640F-496F-AAE4-3001D35D0D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc55d015d600bc4e992a5aceef27254fa995d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4046069,"id":"Q4046069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$16A7A79D-737E-4713-854D-6DBEEA3BAFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e67d001e0155770b04f208c6990101ba01f2cea","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$D1DD6872-EC4C-4C53-9FB5-57E70DA43691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d99101b30853333ff5ca3c17c825ec34ae9021e","datavalue":{"value":{"entity-type":"item","numeric-id":4889961,"id":"Q4889961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$D13EF7FA-722A-4192-B238-F4EA5398444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15aa920153c16c4f9e887333d27e29d541805ddf","datavalue":{"value":{"entity-type":"item","numeric-id":915736,"id":"Q915736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$FBA7D7F0-08D9-40FB-A458-3AE034F4EB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548a2ea69c501d94311db9cdca6f43c45df07c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2439829,"id":"Q2439829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$F810BA98-C839-4719-97B5-1CBB0735C2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561871863e7516f8e3a24736861cad5669c3b1ce","datavalue":{"value":{"entity-type":"item","numeric-id":5453499,"id":"Q5453499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$445A0FA7-0444-4CD6-AA73-5D0C91570A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e20f7a8a5b57aaaa1397122dafb976668c5a","datavalue":{"value":{"entity-type":"item","numeric-id":5540284,"id":"Q5540284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$DE7E178D-2DDF-4BA9-BB1B-E14936D436E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$CDE37DB9-5CA5-4EE6-9262-B29CE083CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$585BF906-791E-42DF-A1F3-E09764950CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$710C1C1D-94CA-4942-AE14-E16A53F83B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5c54c0b65f272b83ef6689b565fdbfacc4f14c","datavalue":{"value":{"entity-type":"item","numeric-id":4094884,"id":"Q4094884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$34765AF6-2194-42C5-A52B-4BB660F8C6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b015ba3be48076bca5b7ccc301a5cdfa4509b9a","datavalue":{"value":{"entity-type":"item","numeric-id":1257905,"id":"Q1257905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$805B6712-62DE-4129-8351-A4825F67B1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d14e6d90b116aabcb304713f4f55aaa0ce47db3","datavalue":{"value":{"entity-type":"item","numeric-id":2427548,"id":"Q2427548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$E7398A08-61E5-475B-80D1-2B6A61B2D40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01874425d018f2c41712bb3fb8e538c43c3a3a01","datavalue":{"value":{"entity-type":"item","numeric-id":1250117,"id":"Q1250117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$D895471D-A3FF-4D83-A4E0-3B7873BFD65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f80dbcf10e35c1a258a47b8d2de419156f4a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":3392747,"id":"Q3392747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$AF803860-B736-499B-ADD7-E8925E9AE432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ada9500bcc818699dec7a40b5563f97b9191db","datavalue":{"value":{"entity-type":"item","numeric-id":1260043,"id":"Q1260043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$F7334D1A-B9A3-4D8E-8FF8-8F061A013C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f0d5d06eb8f30a0d71ed29f48211a4f9dca39","datavalue":{"value":{"entity-type":"item","numeric-id":1850486,"id":"Q1850486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$B77AE373-8790-4B82-A477-51567CA0A23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ffb594742705f0bb995ca7f67a18307c6b90a4","datavalue":{"value":{"entity-type":"item","numeric-id":5470800,"id":"Q5470800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$D99D4D7F-8017-4AA4-8ACD-88B089EC7D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd42f61d1b20e0e0ffff15844f5dd317c54a6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1425116,"id":"Q1425116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$B96448F1-CE33-4EDA-BDC4-58C7E030A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e722157a56d32a0e9c0cd9226bae8eff0c155e57","datavalue":{"value":{"entity-type":"item","numeric-id":4892340,"id":"Q4892340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q603889$8889FE27-0248-4E71-ACBD-F4FAEBE4A112","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6bd7cd85e33c523d17be428862cd6bb5526afb6","datavalue":{"value":"10.1007/S11083-010-9163-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q603889$2FE46A94-7D39-48F0-9651-B5EA1EC3EF7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2f1e95e6ee03497b1ef03fd298e2a0562bf22e","datavalue":{"value":{"entity-type":"item","numeric-id":1861494,"id":"Q1861494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5d2c77e4aba6e14a69588c972658918898188f","datavalue":{"value":{"amount":"+0.7970566749572754","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":"Q603889$F8776ED5-2C38-4F19-A385-B6D81663596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30e3ad469b55cccf87abf1e62c0e3cb556203f5","datavalue":{"value":{"entity-type":"item","numeric-id":2577735,"id":"Q2577735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1243988a02584aa83629ac76b1393fda749508","datavalue":{"value":{"amount":"+0.7939807176589966","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":"Q603889$B1AEFEED-38B9-40ED-B717-843528D02A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2a7e05bc800728e154e74cb042dbd97b15625","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4db53a624461b9ce1fc9a5bee74c01c21a827dc","datavalue":{"value":{"amount":"+0.7918066382408142","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":"Q603889$2934DEA1-CEAF-480E-949B-EE119B38C2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f76751ec6c354acdd8ce7e556df31f01053b7ae","datavalue":{"value":{"entity-type":"item","numeric-id":2581404,"id":"Q2581404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb34d56f6225904a0e6173e7964495ac14aa49f","datavalue":{"value":{"amount":"+0.7838074564933777","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":"Q603889$AB61FA3F-5AC7-4AAF-B983-9E3B8CE1A926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab9fd2f26e2e9b9ec38102d62ac2a35177b147e","datavalue":{"value":{"entity-type":"item","numeric-id":1914059,"id":"Q1914059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d2109cca9b434fd14cad77af7e339d786d7310","datavalue":{"value":{"amount":"+0.7820953130722046","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":"Q603889$CF971CE2-230C-4BE7-A5C7-CDA6711098D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dualities and dual pairs in Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dualities_and_dual_pairs_in_Heyting_algebras"}}}}}