"teorie typů" meaning in All languages combined

See teorie typů on Wiktionary

Noun [Czech]

Head templates: {{cs-noun|f|head=teorie typů}} teorie typů f Inflection templates: {{cs-ndecl|teorie<f> typů}} Forms: no-table-tags [table-tags], teorie typů [nominative, singular], teorie typů [nominative, plural], teorie typů [genitive, singular], teorií typů [genitive, plural], teorii typů [dative, singular], teoriím typů [dative, plural], teorii typů [accusative, singular], teorie typů [accusative, plural], teorie typů [singular, vocative], teorie typů [plural, vocative], teorii typů [locative, singular], teoriích typů [locative, plural], teorií typů [instrumental, singular], teoriemi typů [instrumental, plural]
  1. type theory Tags: feminine Categories (topical): Logic
    Sense id: en-teorie_typů-cs-noun-I8Tq1RUq Categories (other): Czech entries with incorrect language header

Download JSON data for teorie typů meaning in All languages combined (2.1kB)

{
  "forms": [
    {
      "form": "no-table-tags",
      "source": "declension",
      "tags": [
        "table-tags"
      ]
    },
    {
      "form": "cs-ndecl",
      "source": "declension",
      "tags": [
        "inflection-template"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "teorií typů",
      "source": "declension",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "teoriím typů",
      "source": "declension",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "accusative",
        "plural"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "singular",
        "vocative"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "plural",
        "vocative"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "locative",
        "singular"
      ]
    },
    {
      "form": "teoriích typů",
      "source": "declension",
      "tags": [
        "locative",
        "plural"
      ]
    },
    {
      "form": "teorií typů",
      "source": "declension",
      "tags": [
        "instrumental",
        "singular"
      ]
    },
    {
      "form": "teoriemi typů",
      "source": "declension",
      "tags": [
        "instrumental",
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "f",
        "head": "teorie typů"
      },
      "expansion": "teorie typů f",
      "name": "cs-noun"
    }
  ],
  "inflection_templates": [
    {
      "args": {
        "1": "teorie<f> typů"
      },
      "name": "cs-ndecl"
    }
  ],
  "lang": "Czech",
  "lang_code": "cs",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Czech entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "cs",
          "name": "Logic",
          "orig": "cs:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "type theory"
      ],
      "id": "en-teorie_typů-cs-noun-I8Tq1RUq",
      "links": [
        [
          "type theory",
          "type theory"
        ]
      ],
      "tags": [
        "feminine"
      ]
    }
  ],
  "word": "teorie typů"
}
{
  "forms": [
    {
      "form": "no-table-tags",
      "source": "declension",
      "tags": [
        "table-tags"
      ]
    },
    {
      "form": "cs-ndecl",
      "source": "declension",
      "tags": [
        "inflection-template"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "teorií typů",
      "source": "declension",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "teoriím typů",
      "source": "declension",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "accusative",
        "plural"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "singular",
        "vocative"
      ]
    },
    {
      "form": "teorie typů",
      "source": "declension",
      "tags": [
        "plural",
        "vocative"
      ]
    },
    {
      "form": "teorii typů",
      "source": "declension",
      "tags": [
        "locative",
        "singular"
      ]
    },
    {
      "form": "teoriích typů",
      "source": "declension",
      "tags": [
        "locative",
        "plural"
      ]
    },
    {
      "form": "teorií typů",
      "source": "declension",
      "tags": [
        "instrumental",
        "singular"
      ]
    },
    {
      "form": "teoriemi typů",
      "source": "declension",
      "tags": [
        "instrumental",
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "f",
        "head": "teorie typů"
      },
      "expansion": "teorie typů f",
      "name": "cs-noun"
    }
  ],
  "inflection_templates": [
    {
      "args": {
        "1": "teorie<f> typů"
      },
      "name": "cs-ndecl"
    }
  ],
  "lang": "Czech",
  "lang_code": "cs",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "Czech entries with incorrect language header",
        "Czech feminine nouns",
        "Czech lemmas",
        "Czech multiword terms",
        "Czech nouns",
        "Czech soft feminine nouns",
        "cs:Logic"
      ],
      "glosses": [
        "type theory"
      ],
      "links": [
        [
          "type theory",
          "type theory"
        ]
      ],
      "tags": [
        "feminine"
      ]
    }
  ],
  "word": "teorie typů"
}

This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-05-25 from the enwiktionary dump dated 2024-05-02 using wiktextract (bb24e0f and c7ea76d). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.