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 ve daha fazlasını biçimlendirin ve güzelleştirin; girintiyi, boşlukları ve satır sonlarını ayarlayın.
Kayıtları kırpın, birleştirin veya bölün, sessizliği ya da gürültüyü kaldırın ve ses düzeyini, hızı, perdeyi veya kanalları ayarlayın.
CSV veya Excel sayfalarını açın ve düzenleyin, tablo metnini biçimlendirin ve CSV'yi Excel veya SQL'e dönüştürün.
Markdown yazın ve önizleyin, Mermaid diyagramları oluşturun ve Markdown, HTML ve tabloları farklı biçimlere dönüştürün.
Metinleri karşılaştırın, sözcükleri ve anahtar sözcükleri sayın, satırları sıralayın veya değiştirin ve DOCX metnini görüntüleyin.
Çince sözcüklerin anlamlarını, eş ve zıt anlamlılarını ya da farklı dillerdeki IPA okunuşlarını bulun.
MP3, WAV, FLAC ve diğer biçimler arasında dönüşüm yapın, ses veya ham PCM oynatın ve ses meta verilerini inceleyin ya da düzenleyin.
JSON'u inceleyin, karşılaştırın ve doğrulayın; JSONPath ifadelerini test edin veya verileri CSV, YAML ve XML'e dönüştürün.
Sesi metne dökün, metinden konuşma oluşturun veya tarayıcıda sesinizi kaydedin.
Videoları dönüştürün ve sıkıştırın, klipleri kırpın veya birleştirin, kareleri yeniden boyutlandırın ve ses çıkarın.
Yerel veya akış videosunu oynatın, ekranınızı ya da kameranızı kaydedin ve kameranızı çevrimiçi ayna olarak kullanın.
PDF'leri sıkıştırın veya birleştirin, sayfaları bölün ve yeniden sıralayın, sayfaları görsellere dönüştürün ve belgeleri görüntüleyin ya da karşılaştırın.
Görsel biçimlerini dönüştürün, fotoğrafları yeniden boyutlandırın veya kırpın, dosyaları sıkıştırın, resimleri karşılaştırın ve OCR ile metin çıkarın.
Ekran görüntüleri alın ve güzelleştirin, metni görsellere veya GIF'lere dönüştürün, beyaz tahtada çizim yapın ve sözcük bulutları ya da favicon'lar oluşturun.
Video önizlemesiyle SRT veya VTT altyazıları düzenleyin, zamanlamayı kaydırın, biçimleri dönüştürün ve altyazı parçalarını yönetin.
ZIP, 7Z, RAR veya TAR dosyalarını açın, seçili içerikleri çıkarın ve isteğe bağlı ZIP/7Z parolalarıyla yeni arşivler oluşturun.
Base64 veya Base32 kodlaması ve kod çözümü yapın, URL, HTML ve Unicode metne kaçış uygulayın ve JWT içeriğini inceleyin.
Sayı tabanları ve ikili, ondalık ve onaltılı değerler arasında dönüşüm yapın; sayıları yazıya veya metni ikiliye çevirin.
Yüzdeleri ve kesirleri hesaplayın, istatistikleri özetleyin ve notları, indirimleri veya en boy oranlarını hesaplayın.
Çevrimiçi saat gösterin, geri sayım veya kronometre çalıştırın ve tarihleri, yaşları ya da saat dilimi farklarını hesaplayın.
IP'nizi ve IPv6 bağlantınızı kontrol edin, HTTP isteklerini veya HAR dosyalarını inceleyin ve CIDR adres aralıklarını hesaplayın.
Uzunluk, ağırlık, sıcaklık, veri depolama ve diğer birimleri dönüştürün.
HEX, RGB ve HSL değerlerini dönüştürün, bir görselden renk çıkarın, kontrastı kontrol edin veya ekranınızı düz renklerle test edin.
Bağlantılar ve Wi-Fi ağları için QR kodlar dâhil QR kodlar veya barkodlar oluşturun ve tarayın.
Hash değerleri, UUID'ler ve parolalar oluşturun, düzenli ifadeleri test edin, URL kısa adları oluşturun ve dosya izinlerini kontrol edin.
Ekran çözünürlüğünü ve yenileme hızını kontrol edin, ekran cetveliyle ölçün, tuşları test edin veya teleprompter'dan okuyun.
2048, Mayın Tarlası, Sudoku, Gomoku, Tank Savaşı