MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KQML
@@ Property / describes a project that uses: KQML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/ZF
@@ Property / describes a project that uses: Isabelle/ZF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oz
@@ Property / describes a project that uses: Oz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Analytica
@@ Property / describes a project that uses: Analytica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+InKa
@@ Property / describes a project that uses: InKa / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lambda-Clam
@@ Property / describes a project that uses: Lambda-Clam / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMRS
@@ Property / describes a project that uses: OMRS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OMDoc
@@ Property / describes a project that uses: OMDoc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VSDITLU
@@ Property / describes a project that uses: VSDITLU / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MBase
@@ Property / describes a project that uses: MBase / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROVERB
@@ Property / describes a project that uses: PROVERB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/jsco.2000.0468
+Normal rank
@@ Property / OpenAlex ID @@
+W2092690557
@@ Property / OpenAlex ID: W2092690557 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57389429
@@ Property / Wikidata QID: Q57389429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263160
@@ Property / cites work: Q4263160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268465
@@ Property / cites work: Q4268465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+TPS: A theorem-proving system for classical type theory
+Normal rank
@@ Property / cites work @@
+Q2751535
@@ Property / cites work: Q2751535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722016
@@ Property / cites work: Q2722016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227289
@@ Property / cites work: Q4227289 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytica --- an experiment in combining theorem proving and symbolic computation
+Normal rank
@@ Property / cites work @@
+Ωmega: Towards a mathematical assistant
@@ Property / cites work: Ωmega: Towards a mathematical assistant / rank @@
+Normal rank
@@ Property / cites work @@
+Towards the Mathematics Software Bus
@@ Property / cites work: Towards the Mathematics Software Bus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247688
@@ Property / cites work: Q4247688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263953
@@ Property / cites work: Q4263953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128572
@@ Property / cites work: Q4128572 / rank @@
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520772
@@ Property / cites work: Q4520772 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375633
@@ Property / cites work: Q4375633 / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting machine-found proofs
@@ Property / cites work: Presenting machine-found proofs / rank @@
+Normal rank
@@ Property / cites work @@
+INKA: The next generation
@@ Property / cites work: INKA: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012178
@@ Property / cites work: Q4012178 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating computer algebra into proof planning
@@ Property / cites work: Integrating computer algebra into proof planning / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4471938
@@ Property / cites work: Q4471938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction -- CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings
+Normal rank
@@ Property / cites work @@
+Set theory for verification. I: From foundations to functions
+Normal rank
@@ Property / cites work @@
+Automated deduction in von Neumann-Bernays-Gödel set theory
+Normal rank