Wikidata |

Wikidata

Matches in Wikidata for { <http://www.wikidata.org/entity/Q1617044> ?p ?o ?g. }

Showing items 1 to 100 of ±121 with 100 items per page.

Q1617044 description "bounded lattice that models intuitionistic propositional logic" @default.
Q1617044 description "classe de estruturas algébricas" @default.
Q1617044 description "classe de estruturas algébricas" @default.
Q1617044 description "kekisi berbatas, dengan operasi sambungan dan pertemuan yang tertulis ∨ dan ∧ dan dengan elemen terkecil 0 dan elemen terbesar 1" @default.
Q1617044 description "klasa struktur algebraicznych" @default.
Q1617044 description "sémantika intuicionistické logiky" @default.
Q1617044 description "tipus d'estructures algebraiques" @default.
Q1617044 description "класс алгебраических структур" @default.
Q1617044 description "有界格，构成直观命题逻辑的模型" @default.
Q1617044 description "직관 명제 논리의 모형을 이루는 유계 격자" @default.
Q1617044 name "Heyting algebra" @default.
Q1617044 name "Heyting-Algebra" @default.
Q1617044 name "Heytingova algebra" @default.
Q1617044 name "Heytingova algebra" @default.
Q1617044 name "algebra Heytinga" @default.
Q1617044 name "algebra di Heyting" @default.
Q1617044 name "algèbre de Heyting" @default.
Q1617044 name "aljabar Heyting" @default.
Q1617044 name "alĝebro de Heyting" @default.
Q1617044 name "Àlgebra de Heyting" @default.
Q1617044 name "álgebra de Heyting" @default.
Q1617044 name "álgebra de Heyting" @default.
Q1617044 name "álgebra de Heyting" @default.
Q1617044 name "алгебра Гейтинга" @default.
Q1617044 name "алгебра Гейтінга" @default.
Q1617044 name "ハイティング代数" @default.
Q1617044 name "海廷代数" @default.
Q1617044 name "海廷代数" @default.
Q1617044 name "헤이팅 대수" @default.
Q1617044 type Item @default.
Q1617044 label "Heyting algebra" @default.
Q1617044 label "Heyting-Algebra" @default.
Q1617044 label "Heytingova algebra" @default.
Q1617044 label "Heytingova algebra" @default.
Q1617044 label "algebra Heytinga" @default.
Q1617044 label "algebra di Heyting" @default.
Q1617044 label "algèbre de Heyting" @default.
Q1617044 label "aljabar Heyting" @default.
Q1617044 label "alĝebro de Heyting" @default.
Q1617044 label "Àlgebra de Heyting" @default.
Q1617044 label "álgebra de Heyting" @default.
Q1617044 label "álgebra de Heyting" @default.
Q1617044 label "álgebra de Heyting" @default.
Q1617044 label "алгебра Гейтинга" @default.
Q1617044 label "алгебра Гейтінга" @default.
Q1617044 label "ハイティング代数" @default.
Q1617044 label "海廷代数" @default.
Q1617044 label "海廷代数" @default.
Q1617044 label "헤이팅 대수" @default.
Q1617044 altLabel "Heyting代数" @default.
Q1617044 altLabel "Heyting代數" @default.
Q1617044 altLabel "algebra de Heyting" @default.
Q1617044 altLabel "псевдобулева алгебра" @default.
Q1617044 altLabel "імплікативна ґратка" @default.
Q1617044 prefLabel "Heyting algebra" @default.
Q1617044 prefLabel "Heyting-Algebra" @default.
Q1617044 prefLabel "Heytingova algebra" @default.
Q1617044 prefLabel "Heytingova algebra" @default.
Q1617044 prefLabel "algebra Heytinga" @default.
Q1617044 prefLabel "algebra di Heyting" @default.
Q1617044 prefLabel "algèbre de Heyting" @default.
Q1617044 prefLabel "aljabar Heyting" @default.
Q1617044 prefLabel "alĝebro de Heyting" @default.
Q1617044 prefLabel "Àlgebra de Heyting" @default.
Q1617044 prefLabel "álgebra de Heyting" @default.
Q1617044 prefLabel "álgebra de Heyting" @default.
Q1617044 prefLabel "álgebra de Heyting" @default.
Q1617044 prefLabel "алгебра Гейтинга" @default.
Q1617044 prefLabel "алгебра Гейтінга" @default.
Q1617044 prefLabel "ハイティング代数" @default.
Q1617044 prefLabel "海廷代数" @default.
Q1617044 prefLabel "海廷代数" @default.
Q1617044 prefLabel "헤이팅 대수" @default.
Q1617044 P10283 Q1617044-2CFB7F6E-381D-49E2-9D74-D9FA5914CAF6 @default.
Q1617044 P138 q1617044-769c116d-4a1c-c346-3cd0-a4bbef2ab2bd @default.
Q1617044 P244 Q1617044-19e0ce7c-149d-4bab-91ed-6433dc3c1208 @default.
Q1617044 P2579 Q1617044-7725fea7-41de-cfa3-260d-3fa05a6a248c @default.
Q1617044 P2579 Q1617044-f0ea641c-40c3-573d-b49d-2e5935ba33a9 @default.
Q1617044 P2581 Q1617044-0B7F90C9-0C41-4A32-B5C3-D367C9530903 @default.
Q1617044 P279 Q1617044-633f4170-457a-e3b6-8092-53b34e2e2e5b @default.
Q1617044 P279 Q1617044-65a551c7-44b7-24eb-8212-690650fb17e8 @default.
Q1617044 P279 Q1617044-78a4b993-40c9-07b8-fe7c-66165b69f786 @default.
Q1617044 P279 Q1617044-9f3ec10c-4858-59dd-f158-369f6522f853 @default.
Q1617044 P279 Q1617044-cccc56c8-44e7-010f-2e32-f4f1ae80b92b @default.
Q1617044 P279 Q1617044-e3b19b58-4a6a-3fa4-2731-33ec15704d01 @default.
Q1617044 P2812 Q1617044-53DA4E65-B62E-40E5-8BF7-E938551FFA6E @default.
Q1617044 P373 Q1617044-069b3d25-78f7-4ee1-a6aa-d5e734f849aa @default.
Q1617044 P3827 Q1617044-BBCC12B4-0690-46EB-8335-48F5FF7A49E0 @default.
Q1617044 P4215 Q1617044-F3BC494C-4A01-467B-9806-BB8656739CDD @default.
Q1617044 P508 Q1617044-CE06FF23-FF70-427B-99F8-D167078A7551 @default.
Q1617044 P6104 Q1617044-0C3E8B83-4DF1-46FC-8647-41CC944D6824 @default.
Q1617044 P6366 Q1617044-2BF6DC1E-341D-401C-8F61-07979A25FF3B @default.
Q1617044 P646 Q1617044-D791904F-21B0-4869-B0D4-DCBB880A4D82 @default.
Q1617044 P7726 Q1617044-a3547a3d-4db1-6e8d-35f8-f1949db2a229 @default.
Q1617044 P8189 Q1617044-4D131C79-EE84-4828-9C0C-B3B947E9DAA2 @default.
Q1617044 P244 sh2010014322 @default.
Q1617044 P2581 s02443810n @default.
Q1617044 P508 67959 @default.
Q1617044 P6366 187062830 @default.
Q1617044 P10283 "C187062830" @default.