{"entities":{"Q3027063":{"pageid":3037779,"ns":120,"title":"Item:Q3027063","lastrevid":49087627,"modified":"2026-01-06T14:08:38Z","type":"item","id":"Q3027063","labels":{"en":{"language":"en","value":"The subalgebra lattice of a Heyting algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014782"}},"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":"Q3027063$D51C9FAB-9F05-465F-900B-0FABD578B49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd719ac708f6fe089fea14b427373420a7ae1549","datavalue":{"value":"0625.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$D0D589EF-21DF-495B-94C5-869A2461BEDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a4a9dc4ce79b9cb6f20fb1fd5031d76c095992","datavalue":{"value":{"entity-type":"item","numeric-id":750478,"id":"Q750478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$F6FF789F-3FB1-4E23-AE3E-D4094B8691A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c4dbb35e00a3e708e9492e3dad4babe01bc8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1288171,"id":"Q1288171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$BCD5E713-D76F-40C7-A515-894453BAFA76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3027063$03C7F813-60FF-4D89-9B34-2024B801664A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a977b380be0b2aefa6ce4b32994514d5fbf3206","datavalue":{"value":"https://eudml.org/doc/13618","type":"string"},"datatype":"url"},"type":"statement","id":"Q3027063$8F5F4454-A82A-43A6-B2D6-05B86CBC78ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$C8D3EC04-9265-4A65-A9F3-A29FC1656CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$1C4C6586-021B-45EF-9BD8-0E122C47416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$7981F91F-C5E9-40B9-AAFC-3D7838BCB5A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9010117c940bbce7196d429d23bddec3470ed6","datavalue":{"value":"4014782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$5EF9CE45-5AEB-47FB-868C-3900CA8805C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d0137be6f4f0fff2030f9fa231e34492a4a5db","datavalue":{"value":"upper semimodular","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027063$7D825A40-E48C-4318-9DA1-8ED8336F72DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3904b45176a5d043eddbf54195e89fb93e328c4","datavalue":{"value":"Stone algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027063$1A14491A-E3CC-4B68-8FAD-89FEFB865AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027063$15489303-54AC-40FA-8A48-DC74144919E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c405fe3ed9b110ddfad9eef8f1d5b7f9b4f4e62","datavalue":{"value":"subalgebra lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3027063$638F5204-E799-4472-9459-6F1E28FF72D5","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":"Q3027063$FA1BDE60-D64C-4085-B799-9C94A3D06E0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c328ff5a1104b2b229e3c05d4cd725d44f09af9c","datavalue":{"value":{"entity-type":"item","numeric-id":1846445,"id":"Q1846445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$73465C41-ABFC-4469-AC62-A7181BF7B47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$F5CFDD6A-72D8-476D-A545-5766112C80EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd804be8df9d4e42f66e5ef018982dc039e35213","datavalue":{"value":{"entity-type":"item","numeric-id":773322,"id":"Q773322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$E34F54D1-2553-41B4-951E-417DB46144B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$AD15F2F3-A332-44BB-B3EF-D67EE9F23F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbdb2a348ac2411a485d26d1c9c10d960ed8419a","datavalue":{"value":{"entity-type":"item","numeric-id":4085774,"id":"Q4085774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$529245A1-A0F3-4923-BD34-C94F61453E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed86a4f71496cdb5daade6381c7e25733ee4a82","datavalue":{"value":{"entity-type":"item","numeric-id":3949092,"id":"Q3949092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3027063$8FE72DD6-2177-4BA2-8F63-D0FE48CA797A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142b25a99292994c2a10ce0d7ee89c09d959f5a4","datavalue":{"value":"W2735557713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$50C51EFA-AB9A-4C87-9666-9479CB7BED4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce51463f693c9f8b1a4a975742064ba7b3fcab0b","datavalue":{"value":{"text":"The subalgebra lattice of a Heyting algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3027063$DF361847-0051-41F9-8A7A-130C117D0E14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8050a6022c11e21b7379501ef1808c55fed71cc3","datavalue":{"value":"10.21136/CMJ.1987.102132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3027063$9DD9C46B-7D5F-4F77-81E0-47B3BCBB45CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534423c6293b1ef3253fe7a0bb8ad1e8e177448a","datavalue":{"value":{"entity-type":"item","numeric-id":3977933,"id":"Q3977933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e25663309700b92a58c25b121b83d76cd9f392","datavalue":{"value":{"amount":"+0.8367324471473694","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":"Q3027063$33E8016C-8754-465E-9119-25DA1F5A8EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09774704e5d887dbb9d010a2265bdefc308610d5","datavalue":{"value":{"entity-type":"item","numeric-id":1914063,"id":"Q1914063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6602913e44ab9de5a4506f06769dfb0d4e19abde","datavalue":{"value":{"amount":"+0.8072742223739624","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":"Q3027063$22B01273-51B2-4ACB-8217-E835858AA3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be37e185d1121410afab9b5ea2f1dc7b3cc6dad","datavalue":{"value":{"entity-type":"item","numeric-id":763321,"id":"Q763321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5958f67254ebbf619b13f70748a7bfac60f3834","datavalue":{"value":{"amount":"+0.8055039048194885","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":"Q3027063$081DA308-48D6-43E1-B6C1-C4A771F0F3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf5b94768f7ba08803711bd060bb3d5d29851f3","datavalue":{"value":{"entity-type":"item","numeric-id":5127961,"id":"Q5127961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2e07a5eb0db30989f0e744a8f3ac779c38d1ea","datavalue":{"value":{"amount":"+0.8052627444267273","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":"Q3027063$3515E8C4-D054-4AB1-9317-8D989A76EA71","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":"022ec8ea5da463f111159633ae24c093a7554c32","datavalue":{"value":{"amount":"+0.8031983971595764","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":"Q3027063$7D058E67-66C9-44D3-ADF0-DBDB913BD42F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3027063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3027063"}}}}}