Magma — Dizionario tedesco

Magma
Pronunce
  • [ˈmaɡma]

Sostantivo

  1. sehr heißes, zähflüssiges Gestein im Erdinneren

    Sinonimi
    Gesteinsschmelze
    Esempi

    „Aufsteigendes Magma bedeutet zwar noch lange nicht, dass der Vulkan ausbricht. Doch die teure Bohrung wäre verloren.“

  2. teilweise auskristallisierter Sirup, der als Zwischenstufe bei der Zuckerproduktion entsteht

    Uso
    • Lebensmittelherstellung
    Esempi

    „Die Ausbeute an Zucker beim Zentrifugieren des Magmas soll groß sein, damit die Wärmebilanz der Fabrik von unnötigen Rückläufen entlastet wird.“

  3. algebraische Struktur aus einer Trägermenge und einer zweistelligen inneren Verknüpfung

    Sinonimi
    BinarGruppoidOperativ
    Termini più generali
    Pseudo-Magma
    Termini più specifici
    HalbgruppeQuasigruppe
    Esempi

    „Es wird das von einer Menge S frei erzeugte Magma F(S) konstruiert und durch universelle Abbildungseigenschaften charakterisiert.“

  4. weiche, knetbare Masse

    Uso
    • outdated
    Esempi
    Altri esempi (1)

    „Debout machte seinerseits Versuche mit Leblanc und Denonvilliers und fand, dass das Gerinnsel in den Gefässen nicht geronnenes Blut sei, sondern ein Magma aus Eisenalbuminat und Sesquioxyd.“

Forme della parola
MagmenMagmasMagmenMagmenMagmen

Formattatori di codice

Formatta e abbellisci Java, Python, JavaScript, JSON, HTML e altro; uniforma rientri, spazi e interruzioni di riga.

Altri strumenti

Modifica ed effetti audio

Taglia, unisci o dividi registrazioni, elimina silenzi e rumore e regola volume, velocità, tono o canali.

Altri strumenti

Strumenti per fogli di calcolo

Apri e modifica fogli CSV o Excel, formatta testo tabellare e converti CSV in Excel o SQL.

Altri strumenti

Strumenti Markdown

Scrivi e visualizza Markdown, mostra diagrammi Mermaid e converti tra Markdown, HTML e tabelle.

Altri strumenti

Strumenti di testo

Confronta testi, conta parole e termini frequenti, ordina o sostituisci righe e visualizza testo DOCX.

Altri strumenti

Dizionari

Consulta significati, sinonimi e contrari delle parole cinesi o trova trascrizioni IPA in più lingue.

Conversione e riproduzione audio

Converti tra MP3, WAV, FLAC e altri formati, riproduci audio o PCM grezzo e consulta o modifica i metadati.

Strumenti JSON e dati

Esamina, confronta e convalida JSON; prova espressioni JSONPath o converti dati in CSV, YAML e XML.

Altri strumenti

Strumenti vocali

Trascrivi audio in testo, genera voce dal testo o registra la tua voce nel browser.

Strumenti video

Converti e comprimi video, taglia o unisci clip, ridimensiona fotogrammi ed estrai audio.

Altri strumenti

Riproduzione e registrazione video

Riproduci video locali o in streaming, registra schermo o fotocamera e usa la fotocamera come specchio online.

Strumenti PDF

Comprimi o unisci PDF, dividi e riordina pagine, trasformale in immagini e visualizza o confronta documenti.

Altri strumenti

Strumenti per immagini

Converti formati immagine, ridimensiona o ritaglia foto, comprimi file, confronta immagini ed estrai testo con OCR.

Altri strumenti

Creazione di immagini

Cattura e abbellisci schermate, crea immagini o GIF dal testo, disegna su una lavagna e genera nuvole di parole o favicon.

Altri strumenti

Strumenti per sottotitoli

Modifica sottotitoli SRT o VTT con anteprima video, sposta i tempi, converti formati e gestisci tracce sottotitoli.

Altri strumenti

Strumenti per archivi

Apri archivi ZIP, 7Z, RAR o TAR, estrai i file desiderati e crea nuovi archivi; ZIP e 7Z possono essere protetti da password.

Codificatori | Decodificatori

Codifica e decodifica Base64 o Base32, applica l’escape a URL, HTML e Unicode e consulta il contenuto dei JWT.

Altri strumenti

Strumenti numerici

Converti valori tra binario, decimale ed esadecimale; scrivi numeri in lettere o trasforma testo in binario.

Calcolatori

Calcola percentuali e frazioni, riassumi statistiche e determina voti, sconti o proporzioni dell’immagine.

Altri strumenti

Strumenti per il tempo

Mostra un orologio online, avvia conto alla rovescia o cronometro e calcola date, età o differenze di fuso orario.

Altri strumenti

Strumenti di rete

Verifica IP e connessione IPv6, esamina richieste HTTP o file HAR e calcola intervalli di indirizzi CIDR.

Conversioni di unità

Converti unità di lunghezza, peso, temperatura, spazio dati e altro.

Strumenti per i colori

Converti valori HEX, RGB e HSL, estrai colori da un’immagine, verifica il contrasto o prova lo schermo con colori uniformi.

Codici QR e codici a barre

Genera e leggi codici QR o a barre, inclusi codici QR per link e reti Wi-Fi.

Strumenti di sviluppo e sicurezza

Genera hash, UUID e password, prova espressioni regolari, crea slug URL e verifica permessi dei file.

Altri strumenti

Strumenti di utilità

Verifica risoluzione e frequenza dello schermo, misura con un righello, prova i tasti o leggi con un teleprompter.

Altri strumenti

Giochi

2048, Campo minato, Sudoku, Gomoku, Battaglia di carri armati

Altri strumenti