Pell's equation (Q5915801): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2017-0019
@@ Property / DOI: 10.1515/forma-2017-0019 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Metamath
@@ Property / describes a project that uses: Metamath / 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.1515/forma-2017-0019
+Normal rank
@@ Property / OpenAlex ID @@
+W2779737399
@@ Property / OpenAlex ID: W2779737399 / 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 @@
+Q3615917
@@ Property / cites work: Q3615917 / rank @@
+Normal rank
@@ Property / cites work @@
+Martin Davis and Hilbert’s Tenth Problem
@@ Property / cites work: Martin Davis and Hilbert’s Tenth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5733621
@@ Property / cites work: Q5733621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3312297
@@ Property / cites work: Q3312297 / rank @@
+Normal rank
@@ Property / DOI @@
+.1515/FORMA-2017-0019
@@ Property / DOI: 10.1515/FORMA-2017-0019 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5915801