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..
Formatta e abbellisci Java, Python, JavaScript, JSON, HTML e altro; uniforma rientri, spazi e interruzioni di riga.
Taglia, unisci o dividi registrazioni, elimina silenzi e rumore e regola volume, velocità, tono o canali.
Apri e modifica fogli CSV o Excel, formatta testo tabellare e converti CSV in Excel o SQL.
Scrivi e visualizza Markdown, mostra diagrammi Mermaid e converti tra Markdown, HTML e tabelle.
Confronta testi, conta parole e termini frequenti, ordina o sostituisci righe e visualizza testo DOCX.
Consulta significati, sinonimi e contrari delle parole cinesi o trova trascrizioni IPA in più lingue.
Converti tra MP3, WAV, FLAC e altri formati, riproduci audio o PCM grezzo e consulta o modifica i metadati.
Esamina, confronta e convalida JSON; prova espressioni JSONPath o converti dati in CSV, YAML e XML.
Trascrivi audio in testo, genera voce dal testo o registra la tua voce nel browser.
Converti e comprimi video, taglia o unisci clip, ridimensiona fotogrammi ed estrai audio.
Riproduci video locali o in streaming, registra schermo o fotocamera e usa la fotocamera come specchio online.
Comprimi o unisci PDF, dividi e riordina pagine, trasformale in immagini e visualizza o confronta documenti.
Converti formati immagine, ridimensiona o ritaglia foto, comprimi file, confronta immagini ed estrai testo con OCR.
Cattura e abbellisci schermate, crea immagini o GIF dal testo, disegna su una lavagna e genera nuvole di parole o favicon.
Modifica sottotitoli SRT o VTT con anteprima video, sposta i tempi, converti formati e gestisci tracce sottotitoli.
Apri archivi ZIP, 7Z, RAR o TAR, estrai i file desiderati e crea nuovi archivi; ZIP e 7Z possono essere protetti da password.
Codifica e decodifica Base64 o Base32, applica l’escape a URL, HTML e Unicode e consulta il contenuto dei JWT.
Converti valori tra binario, decimale ed esadecimale; scrivi numeri in lettere o trasforma testo in binario.
Calcola percentuali e frazioni, riassumi statistiche e determina voti, sconti o proporzioni dell’immagine.
Mostra un orologio online, avvia conto alla rovescia o cronometro e calcola date, età o differenze di fuso orario.
Verifica IP e connessione IPv6, esamina richieste HTTP o file HAR e calcola intervalli di indirizzi CIDR.
Converti unità di lunghezza, peso, temperatura, spazio dati e altro.
Converti valori HEX, RGB e HSL, estrai colori da un’immagine, verifica il contrasto o prova lo schermo con colori uniformi.
Genera e leggi codici QR o a barre, inclusi codici QR per link e reti Wi-Fi.
Genera hash, UUID e password, prova espressioni regolari, crea slug URL e verifica permessi dei file.
Verifica risoluzione e frequenza dello schermo, misura con un righello, prova i tasti o leggi con un teleprompter.
2048, Campo minato, Sudoku, Gomoku, Battaglia di carri armati