Elementary number theory problems. II (Q2664721): Difference between revisions

@@ Property / DOI @@
-.2478/forma-2021-0006
@@ Property / DOI: 10.2478/forma-2021-0006 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / 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.2478/forma-2021-0006
+Normal rank
@@ Property / OpenAlex ID @@
+W3197170884
@@ Property / OpenAlex ID: W3197170884 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+The role of the Mizar mathematical library for interactive proof development in Mizar
+Normal rank
@@ Property / cites work @@
+Flexary connectives in Mizar
@@ Property / cites work: Flexary connectives in Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612606
@@ Property / cites work: Q5612606 / rank @@
+Normal rank
@@ Property / DOI @@
+.2478/FORMA-2021-0006
@@ Property / DOI: 10.2478/FORMA-2021-0006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2664721