| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Topological_Semantics/ (Sammlung formaler Beweise Version 2026-5©) Datei vom 29.4.2026 mit Größe 551 B |
|
Quelle ROOTSprache: Isabelle |
|||||||||||||||
|
chapter AFP session "Topological_Semantics" = "HOL" + options [timeout = 600] theories boolean_algebra boolean_algebra_infinitary boolean_algebra_operators conditions_positive conditions_positive_infinitary conditions_negative conditions_negative_infinitary conditions_relativized conditions_relativized_infinitary logics_consequence logics_operators logics_negation logics_quantifiers logics_quantifiers_example logics_LFI logics_LFU document_files "root.tex" "root.bib"
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-09