"Temporallogik" meaning in All languages combined

{
  "categories": [
    {
      "kind": "other",
      "name": "Anagramm sortiert (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Deutsch",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Einträge mit Endreim (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Roter Audiolink",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv f (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Wiktionary:Audio-Datei",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Siehe auch",
      "orig": "siehe auch",
      "parents": [],
      "source": "w"
    }
  ],
  "derived": [
    {
      "sense_index": "1",
      "word": "temporallogisch"
    }
  ],
  "etymology_text": "Determinativkompositum aus dem Adjektiv temporal und dem Substantiv Logik",
  "forms": [
    {
      "form": "die Temporallogik",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "die Temporallogiken",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "der Temporallogik",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Temporallogiken",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "der Temporallogik",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "den Temporallogiken",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "die Temporallogik",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "die Temporallogiken",
      "tags": [
        "accusative",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "Logik"
    }
  ],
  "hyphenation": "Tem·po·ral·lo·gik",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "accessdate": "2014-11-27",
          "author": "Dirk W. Hoffmann",
          "edition": "2.",
          "isbn": "978-3-642-35699-5",
          "pages": "352",
          "place": "Berlin/Heidelberg",
          "publisher": "Springer Vieweg",
          "ref": "Dirk W. Hoffmann: Software-Qualität. 2. Auflage. Springer Vieweg, Berlin/Heidelberg 2013, ISBN 978-3-642-35699-5, Seite 352 (zitiert nach Google Books, abgerufen am 27. November 2014)",
          "text": "„Im Bereich der Modellprüfung werden spezielle Temporallogiken eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.“",
          "title": "Software-Qualität",
          "url": "zitiert nachGoogle Books",
          "year": "2013"
        }
      ],
      "glosses": [
        "logischer Formalismus, der eine zeitliche Dimension miteinbezieht"
      ],
      "id": "de-Temporallogik-de-noun-Qn-u1DyY",
      "sense_index": "1"
    }
  ],
  "sounds": [
    {
      "ipa": "tɛmpoˈʁaːlˌloːɡɪk"
    },
    {
      "audio": "De-Temporallogik.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/16/De-Temporallogik.ogg/De-Temporallogik.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Temporallogik.ogg"
    },
    {
      "rhymes": "aːlloːɡɪk"
    }
  ],
  "synonyms": [
    {
      "sense_index": "1",
      "word": "temporale Logik"
    },
    {
      "sense_index": "1",
      "word": "Zeitlogik"
    }
  ],
  "tags": [
    "feminine"
  ],
  "word": "Temporallogik"
}

{
  "categories": [
    "Anagramm sortiert (Deutsch)",
    "Deutsch",
    "Einträge mit Endreim (Deutsch)",
    "Grundformeintrag (Deutsch)",
    "Roter Audiolink",
    "Rückläufige Wörterliste (Deutsch)",
    "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
    "Substantiv (Deutsch)",
    "Substantiv f (Deutsch)",
    "Wiktionary:Audio-Datei",
    "siehe auch"
  ],
  "derived": [
    {
      "sense_index": "1",
      "word": "temporallogisch"
    }
  ],
  "etymology_text": "Determinativkompositum aus dem Adjektiv temporal und dem Substantiv Logik",
  "forms": [
    {
      "form": "die Temporallogik",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "die Temporallogiken",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "der Temporallogik",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Temporallogiken",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "der Temporallogik",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "den Temporallogiken",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "die Temporallogik",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "die Temporallogiken",
      "tags": [
        "accusative",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "Logik"
    }
  ],
  "hyphenation": "Tem·po·ral·lo·gik",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "accessdate": "2014-11-27",
          "author": "Dirk W. Hoffmann",
          "edition": "2.",
          "isbn": "978-3-642-35699-5",
          "pages": "352",
          "place": "Berlin/Heidelberg",
          "publisher": "Springer Vieweg",
          "ref": "Dirk W. Hoffmann: Software-Qualität. 2. Auflage. Springer Vieweg, Berlin/Heidelberg 2013, ISBN 978-3-642-35699-5, Seite 352 (zitiert nach Google Books, abgerufen am 27. November 2014)",
          "text": "„Im Bereich der Modellprüfung werden spezielle Temporallogiken eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.“",
          "title": "Software-Qualität",
          "url": "zitiert nachGoogle Books",
          "year": "2013"
        }
      ],
      "glosses": [
        "logischer Formalismus, der eine zeitliche Dimension miteinbezieht"
      ],
      "sense_index": "1"
    }
  ],
  "sounds": [
    {
      "ipa": "tɛmpoˈʁaːlˌloːɡɪk"
    },
    {
      "audio": "De-Temporallogik.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/1/16/De-Temporallogik.ogg/De-Temporallogik.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Temporallogik.ogg"
    },
    {
      "rhymes": "aːlloːɡɪk"
    }
  ],
  "synonyms": [
    {
      "sense_index": "1",
      "word": "temporale Logik"
    },
    {
      "sense_index": "1",
      "word": "Zeitlogik"
    }
  ],
  "tags": [
    "feminine"
  ],
  "word": "Temporallogik"
}