[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"word-formaalikieli":3},{"word":4,"glossSources":10,"senses":12,"sensesFi":13,"frequency":8,"etymologies":20,"etymologyFi":8,"etymologyFiLinks":8,"synonymsByPos":21,"extendedSynonymsByPos":22,"antonyms":23,"hypernyms":24,"hyponyms":25,"englishTranslations":26,"wordnetGlosses":27,"fiSynonyms":28,"fiExtendedSynonyms":29,"fiAntonyms":30,"fiExtendedAntonyms":31,"fiBaseWords":32,"fiBaseWordsGuessed":11,"fiDerivedFrom":35,"fiCompounds":36,"fiDerived":37,"fiRelated":38,"fiTranslations":44,"exampleSentences":45,"inflectionForms":8,"allInflectionForms":8,"rhymePattern":8,"rhymeSamples":57,"categories":58,"domains":59},{"id":5,"lemma":6,"pos":7,"kotusClass":8,"kotusGradation":8,"homonymIndex":8,"ipa":8,"isStub":9},427948,"formaalikieli","noun",null,false,{"enWiktionary":9,"fiWiktionary":9,"wordnet":9,"aiGeneratedEn":9,"finnWordNet":9,"psychling":9,"termipankki":11},true,[],[14],{"index":15,"parentIndex":8,"glossFi":16,"glossFiLinks":8,"examplesFi":8,"tags":17,"source":19},0,"logiikassa, matematiikassa ja muissa formaalitieteissä määriteltävä keinotekoinen kieli, jonka syntaksi (ja usein myös semantiikka) on yksikäsitteisesti määritelty",[18],"Filosofia","termipankki",[],[],[],[],[],[],[],[],[],[],[],[],[33,34],"formaali","kieliä",[],[],[],[39,40,41,42,43],"logiikka","looginen kieli","luonnollinen kieli","informaalinen logiikka","syntaksi",{},[46,51],{"paragraph":47,"matchedForm":48,"matchOffset":15,"bookId":49,"bookTitle":50,"bookAuthor":8,"bookSlug":8},"Formaalikielten  analysointi  on  osa  tietojenkäsittelyn  teoriaa,  ja  se  käsittää  ohjelmointikielten  formaalit  semantiikat  sekä  menetelmät  ( kuten  Hoaren  logiikka).","Formaalikielten","https://fi.wikipedia.org/wiki/Logiikka","Logiikka",{"paragraph":52,"matchedForm":53,"matchOffset":54,"bookId":55,"bookTitle":56,"bookAuthor":8,"bookSlug":8},"Propositiosymboleina  käytetään  formaalikielessä  yleensä  merkkejä , ,  jne.","formaalikielessä",33,"https://fi.wikipedia.org/wiki/Propositiologiikka","Propositiologiikka",[],[],[]]