{"entities":{"Q739856":{"pageid":741705,"ns":120,"title":"Item:Q739856","lastrevid":64015179,"modified":"2026-04-11T17:04:17Z","type":"item","id":"Q739856","labels":{"en":{"language":"en","value":"The space of prime ordered filters of Heyting almost distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6613960"}},"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":"Q739856$0DB9E217-2E73-4BC5-9A92-4184A9227CE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a6de70eba15b6883bd91c87c034ea89be5f807","datavalue":{"value":{"text":"The space of prime ordered filters of Heyting almost distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q739856$864CA3FA-ED5A-4417-A818-641BFC27B62A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f8ccfcc6cda5c10cc6409d24f6f78fae5050c5a","datavalue":{"value":"1349.06024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739856$8630FD62-25C1-4194-A682-E9C28542BC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739856$C2655B69-8845-4D44-BB87-43BBC8425CC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739856$4E10F22C-DE36-4A95-A7CA-19556417E358","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q739856$0F946E7C-532B-41EC-A169-9C169FC40B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739856$D53EF1B2-FB42-4AB7-BA3B-E17B27E49733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739856$BC5A1145-DF82-4451-8E2E-56CDBFF19413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a615efa87b0003d5a15bdb7bdd1b3fa0347bf95c","datavalue":{"value":"6613960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739856$05C4B02F-56C8-4E9C-83FB-C6B4E7CF135C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351341e875164de8ac9c873b56713bc0b57632a3","datavalue":{"value":"Heyting ADL","type":"string"},"datatype":"string"},"type":"statement","id":"Q739856$CDC78D6E-745F-413A-AD49-AB4B4FD36982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b44af54e4195d18124a4beb2b3388140cc2756","datavalue":{"value":"ordered filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q739856$6AE61DDD-BC2A-4463-BD7B-5FCFBF2E94D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3785e4a86fc7d3f749586fd3865cece2129b80e","datavalue":{"value":"compact set","type":"string"},"datatype":"string"},"type":"statement","id":"Q739856$360E1414-0402-4612-B743-816633D76527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82245eaf4d3c45639a34b76766669c05cf2342aa","datavalue":{"value":"Hausdorff space","type":"string"},"datatype":"string"},"type":"statement","id":"Q739856$8347BA6D-5A14-48D7-8127-11576CBB0A55","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":"Q739856$F592449A-3412-4227-8269-3494C0488E61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca099c897dfe7bfc819d901df3158f19906e0d9","datavalue":{"value":{"entity-type":"item","numeric-id":721284,"id":"Q721284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1743dfda53114b2c3a2604575f2623f166602b5","datavalue":{"value":{"amount":"+0.8321330547332764","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":"Q739856$C8D100A4-20FA-4756-BC48-FF2C4A2EF1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d52ac0ecc8921aeb5accf0a7b855c5a9b08521","datavalue":{"value":{"entity-type":"item","numeric-id":5094657,"id":"Q5094657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e97dca9e32677a994ea0c9b554af78b4ef464b","datavalue":{"value":{"amount":"+0.810429036617279","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":"Q739856$F06B610B-11EB-4427-97EB-4BE45CA970F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d51cf0bf94e85bf83f00b8716a6a0ca1656900","datavalue":{"value":{"entity-type":"item","numeric-id":655721,"id":"Q655721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45caccd58a60b9c6ad7e73723989771201defd34","datavalue":{"value":{"amount":"+0.7984863519668579","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":"Q739856$541FE2B8-1B7C-4BB4-88A2-F10FA6654318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dfa059405e1bae0456084ef10506506ab73c21","datavalue":{"value":{"entity-type":"item","numeric-id":4959483,"id":"Q4959483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a7d1f6db5012454ef39772a917d3692b6ad4fc","datavalue":{"value":{"amount":"+0.7977613210678101","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":"Q739856$1CEA89B4-03F1-4D5E-A4F2-01E71ADAE4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b95120ef1261d9ddd9199096de16aa3014e47a","datavalue":{"value":{"entity-type":"item","numeric-id":5136493,"id":"Q5136493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878d116b8bd10d9b09d9ba173e7c907f188cab1e","datavalue":{"value":{"amount":"+0.7903372049331665","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":"Q739856$5ED34377-FFAE-44C1-90BD-30FBA15E272B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The space of prime ordered filters of Heyting almost distributive lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_space_of_prime_ordered_filters_of_Heyting_almost_distributive_lattices"}}}}}