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..
Format dan rapikan Java, Python, JavaScript, JSON, HTML, dan lainnya; atur indentasi, spasi, dan pemisah baris.
Pangkas, gabungkan, atau pisahkan rekaman, hilangkan keheningan atau derau, dan atur volume, kecepatan, nada, atau kanal.
Buka dan edit lembar CSV atau Excel, format teks tabel, serta konversi CSV ke Excel atau SQL.
Tulis dan pratinjau Markdown, render diagram Mermaid, serta konversi Markdown, HTML, dan tabel antarformat.
Bandingkan teks, hitung kata dan kata kunci, urutkan atau ganti baris, dan lihat teks DOCX.
Cari arti, sinonim, dan antonim kata bahasa Mandarin, atau transkripsi IPA dalam berbagai bahasa.
Konversi MP3, WAV, FLAC, dan format lain, putar audio atau PCM mentah, serta lihat atau edit metadata audio.
Lihat, bandingkan, dan validasi JSON; uji ekspresi JSONPath, atau konversi data ke CSV, YAML, dan XML.
Transkripsikan audio menjadi teks, hasilkan suara dari teks, atau rekam suara Anda di browser.
Konversi dan kompres video, pangkas atau gabungkan klip, ubah ukuran bingkai, dan ekstrak audio.
Putar video lokal atau streaming, rekam layar atau kamera, dan gunakan kamera sebagai cermin online.
Kompres atau gabungkan PDF, pisahkan dan susun ulang halaman, ubah halaman menjadi gambar, serta lihat atau bandingkan dokumen.
Konversi format gambar, ubah ukuran atau potong foto, kompres berkas, bandingkan gambar, dan ekstrak teks dengan OCR.
Ambil dan percantik tangkapan layar, ubah teks menjadi gambar atau GIF, menggambar di papan tulis, serta buat awan kata atau favicon.
Edit teks SRT atau VTT dengan pratinjau video, geser waktu, konversi format, dan kelola trek subtitel.
Buka berkas ZIP, 7Z, RAR, atau TAR, ekstrak isi yang dipilih, serta buat arsip baru dengan sandi ZIP/7Z opsional.
Enkode atau dekode Base64 dan Base32, lakukan escape pada URL, HTML, dan teks Unicode, serta periksa isi JWT.
Konversi basis angka dan nilai antara biner, desimal, dan heksadesimal; ubah angka menjadi kata atau teks menjadi biner.
Hitung persentase dan pecahan, rangkum statistik, serta hitung nilai, diskon, atau rasio aspek.
Tampilkan jam online, jalankan hitung mundur atau stopwatch, dan hitung tanggal, usia, atau perbedaan zona waktu.
Periksa IP dan koneksi IPv6 Anda, lihat permintaan HTTP atau berkas HAR, dan hitung rentang alamat CIDR.
Konversi panjang, berat, suhu, penyimpanan data, dan satuan lainnya.
Konversi nilai HEX, RGB, dan HSL, ambil warna dari gambar, periksa kontras, atau uji layar dengan warna polos.
Buat dan pindai kode QR atau barcode, termasuk kode QR untuk tautan dan jaringan Wi-Fi.
Buat hash, UUID, dan kata sandi, uji ekspresi reguler, buat slug URL, dan periksa izin berkas.
Periksa resolusi dan laju penyegaran layar, ukur dengan penggaris layar, uji tombol, atau baca teks melalui teleprompter.
2048, Minesweeper, Sudoku, Gomoku, Pertempuran Tank