Log In
Search resources

OW_eng_Sense_49648   

Instance of: lemon:LexicalSense
Property Value
lemon:definition Statement1
rdf:type lemon:SenseDefinition
lemon:value eng “A subfield of mathematics with close connections to computer science and philosophical logic.”
lemon:value eng “http://en.wikipedia.org/wiki/Mathematical_logic”
uby:statementType “externalReference”
lemon:reference OW_eng_Synset_32467     More...
uby:equivalent ita “logica matematica”
uby:equivalent lij “logica matematica”
uby:equivalent ron “logicg matematicg”
uby:equivalent ind “logika matematika”
uby:equivalent pol “logika matematyczna”
uby:equivalent pol “logika symboliczna”
uby:equivalent fra “logique formelle”
uby:equivalent fra “logique mathématique”
uby:equivalent cat “lògica matemàtica”
uby:equivalent spa “lógica matemática”
uby:equivalent spa “lógica simbólica”
uby:equivalent ces “matematická logika”
uby:equivalent slk “matematická logika”
uby:equivalent epo “matematika logiko”
uby:equivalent hun “matematikai logika”
uby:equivalent tgl “matematikal na lohika”
uby:equivalent tur “matematiksel mant?k”
uby:equivalent swe “matematisk logik”
uby:equivalent nno “matematisk logikk”
uby:equivalent bos “matematička logika”
uby:equivalent hrv “matematička logika”
uby:equivalent slv “matematična logika”
uby:equivalent deu “mathematische Logik”
uby:equivalent nob “predikatslogikk”
uby:equivalent fin “symbolinen logiikka”
uby:equivalent deu “symbolische Logik”
uby:equivalent nld “wiskundige logica”
uby:equivalent ell “μαθηματική λογική”
uby:equivalent tgk “мантиқи риёзӣ”
uby:equivalent bul “математическата логика”
uby:equivalent rus “математическая логика”
uby:equivalent mkd “математичка логика”
uby:equivalent srp “математичка логика”
uby:equivalent ukr “математична логіка”
uby:equivalent bel “матэматычная логіка”
uby:equivalent heb “לוגיקה מתמטית”
uby:equivalent urd “ریاضیاتی منطق”
uby:equivalent arb “منطق رياضي”
uby:equivalent pes “منطق ریاضی”
uby:equivalent hin “गणितीय तर्कशास्त्र”
uby:equivalent tha “คณิตตรรกศาสตร์”
uby:equivalent kat “მათემატიკური ლოგიკა”
uby:equivalent jpn “数理論理学”
uby:equivalent kor “수리논리학”
uby:index “1223500”
uby:monolingualExternalRef MonolingualExternalRef1
rdf:type uby:MonolingualExternalRef
uby:externalReference “1223500”
uby:externalSystem “OW SynTrans ID”
uby:taxonomic OW_eng_Sense_11435     More...
uby:taxonomic OW_eng_Sense_15589     More...
uby:taxonomic OW_eng_Sense_33655     More...
uby:taxonomic OW_eng_Sense_51747     More...

Is used by:
Property Value
Is lemon:sense of OW_eng_LexicalEntry_44238     More...


 

The resource lemonUBY is made available under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license. This resource is derived from UBY under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license
Creative Commons License

You are free to share (copy, distribute and transmit) the work, to develop your own extensions (adapt, remix) of the work, and to make commercial use of the work, provided that you comply with the licenses of all the integrated lexical resources and linkings between them.

Content in OmegaWiki is available under two licenses: