A compendium of continuous lattices in MIZAR
type: Item
instance of: scholarly article
title: A compendium of continuous lattices in MIZAR
zbMATH Open document ID: 1064.68082
DOI: 10.1023/A:1021966832558
author: Grzegorz Bancerek
author: Piotr Rudnicki
published in: Journal of Automated Reasoning
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 1901554
zbMATH Keywords: MIZAR
zbMATH Keywords: QED project
zbMATH Keywords: formalization of mathematics
zbMATH Keywords: set theory
zbMATH Keywords: proof checking
zbMATH Keywords: theory of continuous lattices
zbMATH Keywords: mathematical knowledge management
describes a project that uses: Automath
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: a:1021966832558
OpenAlex ID: W1585415359
description: scientific article; zbMATH DE number 1901554