prover9-mace4 0.5.dfsg-3 / usr / share / prover9-mace4 / Samples / Equality

This file is indexed.

/usr/share/prover9-mace4/Samples/Equality/ is in prover9-mace4 0.5.dfsg-3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/prover9-mace4/Samples/Equality/Mace4/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in text/plain root:root 0o644 1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in text/plain root:root 0o644 521 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in text/plain root:root 0o644 722 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in text/plain root:root 0o644 356 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in text/plain root:root 0o644 510 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in text/plain root:root 0o644 475 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in text/plain root:root 0o644 547 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in text/plain root:root 0o644 461 bytes
/usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in text/plain root:root 0o644 1.1 KB
/usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in text/plain root:root 0o644 451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/ root:root 0o755
/usr/share/prover9-mace4/Samples/Equality/Prover9/BA-distributivity.in text/plain root:root 0o644 448 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-BW.in text/plain root:root 0o644 845 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/CL-SK-W.in text/plain root:root 0o644 451 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in text/plain root:root 0o644 1.3 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/LT-McKenzie-4basis.in text/plain root:root 0o644 464 bytes
/usr/share/prover9-mace4/Samples/Equality/Prover9/OML-sax.in text/plain root:root 0o644 1.5 KB
/usr/share/prover9-mace4/Samples/Equality/Prover9/RBA-2.in text/plain root:root 0o644 410 bytes

APT Browse - Built by Thomas Orozco.