Cargando…
Enhancement of properties in Mizar
A “property” in the Mizar proof-assistant is a construction that can be used to register chosen features of predicates (e.g., “reflexivity”, “symmetry”), operations (e.g., “involutiveness”, “commutativity”) and types (e.g., “sethoodness”) declared at the definition stage. The current implementation...
Autor principal: | Korniłowicz, Artur |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
PeerJ Inc.
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7924646/ https://www.ncbi.nlm.nih.gov/pubmed/33816970 http://dx.doi.org/10.7717/peerj-cs.320 |
Ejemplares similares
-
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
por: Bancerek, Grzegorz, et al.
Publicado: (2017) -
A systematic metadata harvesting workflow for analysing scientific networks
por: Butt, Bilal H., et al.
Publicado: (2021) -
Towards computational reproducibility: researcher perspectives on the use and sharing of software
por: AlNoamany, Yasmin, et al.
Publicado: (2018) -
Mapping ISO 19115-1 geographic metadata standards to CodeMeta
por: Habermann, Ted
Publicado: (2019) -
FCMpy: a python module for constructing and analyzing fuzzy cognitive maps
por: Mkhitaryan, Samvel, et al.
Publicado: (2022)