{"entities":{"Q5367064":{"pageid":7396638,"ns":120,"title":"Item:Q5367064","lastrevid":96058178,"modified":"2026-06-05T10:19:09Z","type":"item","id":"Q5367064","labels":{"en":{"language":"en","value":"A new characterization of complete Heyting and co-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790162"}},"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":"Q5367064$A30EAA98-28D3-4AD8-ABC0-F6D182C1D9E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"839c63ec5be98a907fde432a42f94d49bc6cb299","datavalue":{"value":"1459.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367064$5C05C963-67B5-4C06-9B9E-FDC3D154ED5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dd4c286ccc13d3fd7efb3f6137f9041f876429","datavalue":{"value":"10.23638/LMCS-13(3:25)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367064$85F6964F-D748-4DA7-A885-8FCBC49FABC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367064$5C698902-B5E5-4DF2-AC31-C92202DD1B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc8e268bb53148cd841b2f014a9be0202a24384","datavalue":{"value":"https://arxiv.org/abs/1504.03919","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367064$783AF12D-F9BA-4E04-8EAB-DA0F5E869600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367064$0B0E6113-737F-4880-9E77-64FE3FDC4AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a7dd7003e1269b5b10ff3f935da8af9e44f172f","datavalue":{"value":"91A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367064$70B050E8-5B45-4A44-ADEA-1E5BAB4A1F89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2af5560662aa8bd26c72f5ead35c56cc1e3fd22","datavalue":{"value":"6790162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367064$EBD0E67F-F8C0-4142-8544-1336E798F85F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c05ba836f4908a59ff465db8fd14b39ee7adaf","datavalue":{"value":"complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367064$D6C0AB98-1CB4-4F5C-A5DC-E3AAD2C2C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7086e6cbc0d2a3fa5bb05ae78bdc3a1643d346b0","datavalue":{"value":"Veinott ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367064$E6949D1A-C966-4BE1-8321-735C9DCE4700","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367064$FF316731-B5CE-446B-8FD8-8A5B72DEA6DF","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":"Q5367064$8FB9D0DE-825C-4216-BC9E-6DFAF8B6DD3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37e327007110e20890d1f96e22b72ffc219a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2264172,"id":"Q2264172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f197f10f760ca28170be1630bb71127b3724d8","datavalue":{"value":{"amount":"+0.7324870228767395","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":"Q5367064$F1837765-9145-4B86-BCCC-7977A7DC2263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82bea403fb3580d4e9382f9ee13911767e6c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1338979,"id":"Q1338979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56fca18d2ef891c312c1b0079342b13be5522e8","datavalue":{"value":{"amount":"+0.7110315561294556","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":"Q5367064$8DB4D043-929D-44DB-8E30-E06B091A91C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9def0640af0b6d190b51d73358e3b9252f267fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5283726,"id":"Q5283726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5855e1225dd95fc75ac244e50b9dd07b6e997c0","datavalue":{"value":{"amount":"+0.7067424654960632","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":"Q5367064$949DCD86-03EC-4AB3-8BFD-86892EEAF0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbeb9a49bbcce4a1f8cd4b40a1fa97403030d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1273837,"id":"Q1273837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3d85af3ca3580187c936bd1617d952224d10c3","datavalue":{"value":{"amount":"+0.706658124923706","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":"Q5367064$35DFB403-4754-4E13-AC46-47E8D87F9391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e609aa164fb8f28af463df03542a7ef636a67","datavalue":{"value":{"entity-type":"item","numeric-id":5295945,"id":"Q5295945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f8f723c1fc103cda1fdd505df2e9d8d599c4f9","datavalue":{"value":{"amount":"+0.6916105151176453","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":"Q5367064$39EF126E-CD6E-463D-94F8-14AC92875E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new characterization of complete Heyting and co-Heyting algebras","badges":[]}}}}}