Arbërisht
аԥсшәа
bahasa ambon
Acèh
Kwéyòl Sent Lisi
عراقي
адыгабзэ
адыгабзэ
تونسي / Tûnsî
تونسي
Tûnsî
Afrikaans
Gegë
алтай тил
አማርኛ
Pangcah
aragonés
Ænglisc
Obolo
अंगिका
شامي
العربية
ܐܪܡܝܐ
mapudungun
جازايرية
الدارجة
مصرى
অসমীয়া
American sign language
asturianu
Atikamekw
авар
Kotava
अवधी
Aymar aru
azərbaycanca
تۆرکجه
башҡортса
Basa Bali
ᬩᬲᬩᬮᬶ
Boarisch
Batak Toba
Batak Toba
جهلسری بلوچی
wawle
Bikol Central
Bajau Sama
беларуская
беларуская (тарашкевіца)
Betawi
български
हरियाणवी
روچ کپتین بلوچی
भोजपुरी
भोजपुरी
Bislama
Banjar
ပအိုဝ်ႏဘာႏသာႏ
bamanankan
বাংলা
བོད་ཡིག
বিষ্ণুপ্রিয়া মণিপুরী
بختیاری
brezhoneg
Bráhuí
bosanski
Batak Mandailing
Iriga Bicolano
Basa Ugi
буряад
català
Chavacano de Zamboanga
𑄌𑄋𑄴𑄟𑄳𑄦
閩東語 / Mìng-dĕ̤ng-ngṳ̄
нохчийн
Cebuano
Chamoru
chinuk wawa
ᏣᎳᎩ
Tsetsêhestâhese
کوردی
corsu
Capiceño
莆仙語 / Pó-sing-gṳ̂
莆仙语（简体）
莆仙語（繁體）
Nēhiyawēwin / ᓀᐦᐃᔭᐍᐏᐣ
qırımtatarca
къырымтатарджа (Кирилл)
qırımtatarca (Latin)
tatarşa
čeština
kaszëbsczi
словѣньскъ / ⰔⰎⰑⰂⰡⰐⰠⰔⰍⰟ
чӑвашла
Cymraeg
dansk
dagbanli
Deutsch
Österreichisches Deutsch
Schweizer Hochdeutsch
Deutsch (Sie-Form)
Dagaare
Thuɔŋjäŋ
Zazaki
dolnoserbski
Kadazandusun
डोटेली
Duálá
ދިވެހިބަސް
ཇོང་ཁ
eʋegbe
Efịk
emiliàn e rumagnòl
Ελληνικά
emiliàn e rumagnòl
English
Canadian English
British English
Esperanto
español
español (formal)
eesti
euskara
estremeñu
فارسی
mfantse
Fulfulde
suomi
meänkieli
Na Vosa Vakaviti
føroyskt
fɔ̀ngbè
français
français cadien
arpetan
Nordfriisk
furlan
Frysk
Gaeilge
Ga
Gagauz
贛語
赣语（简体）
贛語（繁體）
kréyòl Gwadloup
kriyòl gwiyannen
Gàidhlig
galego
на̄ни
گیلکی
Avañe'ẽ
गोंयची कोंकणी / Gõychi Konknni
गोंयची कोंकणी
Gõychi Konknni
Bahasa Hulontalo
𐌲𐌿𐍄𐌹𐍃𐌺
Ghanaian Pidgin
Ἀρχαία ἑλληνικὴ
Alemannisch
ગુજરાતી
wayuunaiki
farefare
gungbe
Gaelg
Hausa
客家語 / Hak-kâ-ngî
客家语（简体）
客家語（繁體）
Hak-kâ-ngî (Pha̍k-fa-sṳ)
Hawaiʻi
עברית
हिन्दी
Fiji Hindi
Fiji Hindi
Ilonggo
ہندکو
hrvatski
Hunsrik
hornjoserbsce
湘語
Kreyòl ayisyen
magyar
magyar (formal)
հայերեն
Արեւմտահայերէն
interlingua
Jaku Iban
ibibio
Bahasa Indonesia
Interlingue
Igbo
Igala
ꆇꉙ
Iñupiatun
ᐃᓄᒃᑎᑐᑦ
inuktitut
Ilokano
гӀалгӀай
Ido
íslenska
меджусловјанскы
medžuslovjansky
italiano
ᐃᓄᒃᑎᑐᑦ / inuktitut
日本語
Patois
la .lojban.
jysk
Jawa
ქართული
Qaraqalpaqsha
Taqbaylit
Karai-karai
адыгэбзэ
адыгэбзэ
Kabɩyɛ
Tyap
kabuverdianu
Kongo
Kumoring
کھوار
Gĩkũyũ
Kırmancki
хакас
ဖၠုံလိက်
қазақша
قازاقشا (تٴوتە)
قازاقشا (جۇنگو)
қазақша (кирил)
қазақша (Қазақстан)
qazaqşa (latın)
qazaqşa (Türkïya)
kalaallisut
ភាសាខ្មែរ
ಕನ್ನಡ
Yerwa Kanuri
한국어
조선말
перем коми
kanuri
къарачай-малкъар
Krio
Kinaray-a
karjal
कॉशुर / کٲشُر
کٲشُر
कॉशुर
Ripoarisch
စှီၤ
kurdî
کوردی (عەرەبی)
kurdî (latînî)
къумукъ
Kʋsaal
коми
kernowek
кыргызча
Latina
Ladino
Lëtzebuergesch
лакку
лезги
Lingua Franca Nova
Luganda
Limburgs
Ligure
Līvõ kēļ
لەکی
Ladin
lombard
lingála
ລາວ
Silozi
لۊری شومالی
lietuvių
latgaļu
ciluba
Mizo ţawng
لئری دوٙمینی
latviešu
文言
Lazuri
Madhurâ
मगही
मैथिली
Basa Banyumasan
мокшень
Malagasy
олык марий
Māori
Minangkabau
македонски
മലയാളം
монгол
manju gisun
manju gisun
ᠮᠠᠨᠵᡠ ᡤᡳᠰᡠᠨ
ꯃꯤꯇꯩ ꯂꯣꯟ
ဘာသာမန်
молдовеняскэ
moore
मराठी
Mara
кырык мары
Bahasa Melayu
بهاس ملايو
Malti
Baso Palembang
Mirandés
မြန်မာဘာသာ
эрзянь
مازِرونی
Dorerin Naoero
Nāhuatl
閩南語 / Bân-lâm-gú
閩南語（傳統漢字）
Bân-lâm-gú (Pe̍h-ōe-jī)
Bân-lâm-gú (Tâi-lô)
Napulitano
norsk bokmål
Plattdüütsch
Nedersaksies
नेपाली
नेपाल भाषा
Li Niha
కొలామి
Niuē
Nederlands
Nederlands (informeel)
nawdm
norsk nynorsk
ᨣᩤᩴᨾᩮᩬᩥᨦ
ногайша
Novial
ߒߞߏ
isiNdebele seSewula
Nouormand
Sesotho sa Leboa
Nupe
Diné bizaad
Chi-Chewa
runyankore
Orunyoro
Nyunga
occitan
Ojibwemowin
livvinkarjala
Oromoo
ଓଡ଼ିଆ
ирон
ਪੰਜਾਬੀ
Pangasinan
Kapampangan
Papiamentu
Picard
Naijá
Deitsch
Plautdietsch
Pälzisch
पालि
Norfuk / Pitkern
polski
Piemontèis
پنجابی
Ποντιακά
prūsiskan
پښتو
português
português do Brasil
pinayuanan
Runa Simi
Runa shimi
Rumagnôl
Tarifit
ရခိုင်
rumantsch
romaňi čhib
romani čhib
ikirundi
română
tarandíne
руски
русский
русиньскый
armãneashti
Vlăheşte
Влахесте
Vlăheşte
мыхаӀбишды
Ikinyarwanda
うちなーぐち
संस्कृतम्
саха тыла
ᱥᱟᱱᱛᱟᱲᱤ
sardu
sicilianu
Scots
سنڌي
Sassaresu
کوردی خوارگ
davvisámegiella
davvisámegiella (Suoma bealde)
davvisámegiella (Norgga bealde)
davvisámegiella (Ruoŧa bealde)
Cmique Itom
Koyraboro Senni
Sängö
žemaitėška
srpskohrvatski / српскохрватски
српскохрватски (ћирилица)
srpskohrvatski (latinica)
Taclḥit
ၽႃႇသႃႇတႆး
tacawit
tacawit
සිංහල
кӣллт са̄мь кӣлл
bidumsámegiella
slovenčina
سرائیکی
سرائیکی
slovenščina
Schläsch
Gagana Samoa
åarjelsaemien
anarâškielâ
nuõrttsääʹmǩiõll
chiShona
Soomaaliga
shqip
српски / srpski
српски (ћирилица)
srpski (latinica)
Sranantongo
sardu campidanesu
SiSwati
Sesotho
Seeltersk
себертатар
Sunda
svenska
Kiswahili
ꠍꠤꠟꠐꠤ
ślůnski
Sakizaya
தமிழ்
Tayal
ತುಳು
ᥖᥭᥰ ᥖᥬᥲ ᥑᥨᥒᥰ
తెలుగు
tetun
тоҷикӣ
тоҷикӣ
tojikī
ไทย
ትግርኛ
ትግሬ
Türkmençe
Tagalog
tolışi
Setswana
lea faka-Tonga
toki pona
Tok Pisin
Türkçe
Ṫuroyo
Seediq
Xitsonga
татарча / tatarça
татарча
tatarça
Orutooro
chiTumbuka
Twi
reo tahiti
тыва дыл
ⵜⴰⵎⴰⵣⵉⵖⵜ
удмурт
ئۇيغۇرچە / Uyghurche
ئۇيغۇرچە
Uyghurche
українська
اردو
oʻzbekcha / ўзбекча
Tshivenda
vèneto
vepsän kel’
Tiếng Việt
West-Vlams
Mainfränkisch
emakhuwa
Volapük
Vaďďa
võro
walon
wolaytta
Winaray
Fakaʻuvea
Wolof
吴语
吴语（简体）
吳語（正體）
хальмг
isiXhosa
მარგალური
saisiyat
ייִדיש
Yorùbá
Nhẽẽgatú
粵語
粵语（简体）
粵語（繁體）
Vahcuengh
Zeêuws
ⵜⴰⵎⴰⵣⵉⵖⵜ ⵜⴰⵏⴰⵡⴰⵢⵜ
中文
中文（中国大陆）
中文（简体）
中文（繁體）
中文（香港）
中文（澳門）
中文（马来西亚）
中文（新加坡）
中文（臺灣）
isiZulu
Page values for "Category:Automated reasoning"
Jump to navigation
Jump to search
Navigation menu
Personal tools
Log in
Request account
Namespaces
Category
Discussion
English
Views
Read
View source
View history
More
Refresh
Search
Navigation
Main page
About
HowTo
Bugtracker/Issues
Recent changes
Search
Events
Event series
Proceedings
dblp conf
Create
Event
Event series
Data
RDF data
Sparql endpoint
Kuratierung
Kuratierungs FAQ
List of Events
Fehlerlisten
Events with Fixme
Tools
Special pages
Cargo data