Z13489: Difference between revisions

Browse history interactively

← Older edit

Latest revision as of 14:50, 24 April 2024

This page displays in a limited way without JavaScript.

@@ Line 21: / Line 21: @@
                             "Z11K1": "Z1002",
                             "Z11K2": "input string"
+                        },
+                        {
+                            "Z1K1": "Z11",
+                            "Z11K1": "Z1014",
+                            "Z11K2": "eriri "
                         }
                     ]
@@ Line 35: / Line 40: @@
             "Z13494",
             "Z13495",
-            "Z13496"
+            "Z13496",
+            "Z13497",
+            "Z13498",
+            "Z13502",
+            "Z13503",
+            "Z13879",
+            "Z13880",
+            "Z13881",
+            "Z13882",
+            "Z13889",
+            "Z13904",
+            "Z14185"
         ],
         "Z8K4": [
-            "Z14"
+            "Z14",
+            "Z13509",
+            "Z13500",
+            "Z15700",
+            "Z13903",
+            "Z13499"
         ],
         "Z8K5": "Z13489"
@@ Line 50: / Line 71: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "is decimal natural number string of Arabic numerals"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1014",
+                "Z11K2": "bụ eriri ọnụọgụgụ ọnụọgụgụ nke ọnụọgụgụ nke Arabic"
             }
         ]
@@ Line 65: / Line 91: @@
                     "is natural number",
                     "is natural number string",
-                    "is decimal natural number"
+                    "is decimal natural number",
+                    "is in ℕ₀",
+                    "∈ ℕ₀"
                 ]
             }
@@ Line 78: / Line 106: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "The value only consists of valid Arabic numerals, and there are no leading zeros (except for the number 0)"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1014",
+                "Z11K2": "Uru ahụ nwere naanị ọnụọgụ Arabic bara uru, ọ nweghịkwa efu efu (belụsọ nọmba 0)"
             }
         ]