Z14112: Difference between revisions

Revision as of 09:30, 27 March 2024

This page displays in a limited way without JavaScript.

@@ Line 66: / Line 66: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "is empty relation over elements of list"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1186",
+                "Z11K2": "האם יחס ריק (מעל איברי רשימה)"
             }
         ]
@@ Line 93: / Line 98: @@
                 "Z11K1": "Z1002",
                 "Z11K2": "E = ∅; that is, E(x1,x2) is always false. See https://en.wikipedia.org/wiki/Homogeneous_relation"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1186",
+                "Z11K2": "האם פונקציה מחילה יחס ריק מעל איברי רשימה"
             }
         ]