In terms of refutation
The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..
Java, Python, JavaScript, JSON, HTML und mehr formatieren und verschönern; Einrückung, Abstände und Zeilenumbrüche vereinheitlichen.
Aufnahmen schneiden, verbinden oder teilen, Stille und Rauschen entfernen sowie Lautstärke, Tempo, Tonhöhe oder Kanäle anpassen.
CSV- oder Excel-Tabellen öffnen und bearbeiten, tabellarischen Text formatieren und CSV in Excel oder SQL umwandeln.
Markdown schreiben und als Vorschau ansehen, Mermaid-Diagramme darstellen sowie Markdown, HTML und Tabellen umwandeln.
Texte vergleichen, Wörter und häufige Begriffe zählen, Zeilen sortieren oder ersetzen und DOCX-Text ansehen.
Schlagen Sie chinesische Bedeutungen, Synonyme und Antonyme nach oder finden Sie IPA-Aussprachen in mehreren Sprachen.
MP3, WAV, FLAC und weitere Formate umwandeln, Audio oder Roh-PCM abspielen sowie Metadaten ansehen oder bearbeiten.
JSON ansehen, vergleichen und prüfen, JSONPath-Ausdrücke testen oder Daten in CSV, YAML und XML umwandeln.
Audio in Text transkribieren, Sprache aus Text erzeugen oder die eigene Stimme im Browser aufnehmen.
Videos umwandeln und komprimieren, Clips schneiden oder verbinden, Bilder skalieren und Audio extrahieren.
Lokale oder gestreamte Videos abspielen, Bildschirm oder Kamera aufnehmen und die Kamera als Online-Spiegel nutzen.
PDFs komprimieren oder zusammenführen, Seiten teilen und neu anordnen, als Bilder exportieren sowie Dokumente ansehen oder vergleichen.
Bildformate umwandeln, Fotos skalieren oder zuschneiden, Dateien komprimieren, Bilder vergleichen und Text per OCR erkennen.
Screenshots aufnehmen und gestalten, Text in Bilder oder GIFs verwandeln, auf dem Whiteboard zeichnen sowie Wortwolken oder Favicons erstellen.
SRT- oder VTT-Untertitel mit Videovorschau bearbeiten, Zeiten verschieben, Formate umwandeln und Untertitelspuren verwalten.
ZIP-, 7Z-, RAR- und TAR-Dateien öffnen, einzelne Inhalte entpacken und neue Archive erstellen; ZIP und 7Z lassen sich mit Passwort schützen.
Base64 oder Base32 kodieren und dekodieren, URLs, HTML und Unicode-Text maskieren sowie JWT-Inhalte ansehen.
Werte zwischen Binär-, Dezimal- und Hexadezimalsystem umrechnen, Zahlen ausschreiben oder Text in Binärwerte umwandeln.
Prozente und Brüche berechnen, Statistikwerte zusammenfassen sowie Noten, Rabatte oder Seitenverhältnisse ermitteln.
Online-Uhr anzeigen, Countdown oder Stoppuhr verwenden und Datums-, Alters- oder Zeitzonenunterschiede berechnen.
IP-Adresse und IPv6-Verbindung prüfen, HTTP-Anfragen oder HAR-Dateien untersuchen und CIDR-Adressbereiche berechnen.
Länge, Gewicht, Temperatur, Datenspeicher und weitere Einheiten umrechnen.
HEX-, RGB- und HSL-Werte umrechnen, Farben aus Bildern entnehmen, Kontraste prüfen oder den Bildschirm mit Vollfarben testen.
QR-Codes oder Barcodes für Links und WLAN-Netze erstellen und auslesen.
Hashes, UUIDs und Passwörter erzeugen, reguläre Ausdrücke testen, URL-Slugs erstellen und Dateiberechtigungen prüfen.
Bildschirmauflösung und Bildwiederholrate prüfen, mit dem Bildschirmlineal messen, Tasten testen oder den Teleprompter nutzen.
2048, Minesweeper, Sudoku, Gomoku, Panzerschlacht