open-index/open-wikipedia-markdown huggingface dataset:
Z17263

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17263"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z17263K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "base"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Basis"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z17263K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "power"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Potenz"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z16683",
        "Z8K3": [
            "Z20",
            "Z17264",
            "Z17265",
            "Z18219",
            "Z19292",
            "Z31534"
        ],
        "Z8K4": [
            "Z14",
            "Z17266",
            "Z17289",
            "Z17271"
        ],
        "Z8K5": "Z17263"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "natural number exponentiation of integers"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Potenzierung von Ganzzahlen mit natürlichen Zahlen"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "m^n",
                    "integer to the power of natural number",
                    "pow"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "raises an integer to the power of a natural number"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "potenziert eine Ganzzahl mit einer natürlichen Zahl"
            }
        ]
    }
}
Z17257

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17257"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17254",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17144",
                "Z17144K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17254K1"
                }
            },
            "Z13522K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z17144",
                "Z17144K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17254K2"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "absolute magnitudes equal, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahlen haben gleichen absoluten Betrag, Komp."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "égalité de modules, composition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17267

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17267"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z13518",
                "Z17K2": "Z17267K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "natural number to negate"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1014",
                            "Z11K2": "nọmba eke iji mebie: Nọmba eke"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "natürliche Zahl"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z16683",
        "Z8K3": [
            "Z20",
            "Z17269",
            "Z17270"
        ],
        "Z8K4": [
            "Z14",
            "Z30313",
            "Z17287",
            "Z17288",
            "Z17268",
            "Z17501"
        ],
        "Z8K5": "Z17267"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "negate natural number to integer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "mebie nọmba eke na ọnụọgụ"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "natürliche Zahl in Ganzzahl negieren"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "negate",
                    "negative Integer from Natural number",
                    "make negative Integer"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17290

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17290"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17120",
        "Z14K2": {
            "Z1K1": "Z16683",
            "Z16683K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z16728",
                "Z16728K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z16683K1"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17120K1"
                    }
                },
                "Z16728K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z16683K1"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17120K2"
                    }
                }
            },
            "Z16683K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z13539",
                "Z13539K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z16683K2"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17120K1"
                    }
                },
                "Z13539K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z803",
                    "Z803K1": {
                        "Z1K1": "Z39",
                        "Z39K1": "Z16683K2"
                    },
                    "Z803K2": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17120K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "composition of multiply integer by multiplying sign and natural number,"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "nhazi nke ọnụọgụ ọnụọgụgụ site na ịba ụba akara na"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahlen multiplizieren, Komposition, Vorzeichen"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17297

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17297"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17225",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17225",
            "Z17225K1": "Z41",
            "Z17225K2": {
                "Z1K1": "Z39",
                "Z39K1": "Z40K1"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13052",
            "Z13052K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z16575",
                "Z16575K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "quoted Z40K1 of true is quoted true"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zitat von Z40K1 ist wahr"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17291

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17291"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z17291K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "input"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "dividendo"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Eingabe"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z16683",
                "Z17K2": "Z17291K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "divisor"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1787",
                            "Z11K2": "dividore"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Divisor"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z16683",
        "Z8K3": [
            "Z20",
            "Z17293",
            "Z17294",
            "Z17295",
            "Z17296"
        ],
        "Z8K4": [
            "Z14",
            "Z17292",
            "Z32115"
        ],
        "Z8K5": "Z17291"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "floor divide integers"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "dividi interi (floor)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahlen dividieren"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17300

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17300"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13961",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z13961( Z13961K1 ) {\n    return Z13961K1 * (Z13961K1 + 1n) / 2n;\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Triangular number Javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Dreieckszahl in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "OEIS A000217"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Implementierung der Funktion zur Ausgabe der Dreieckszahl"
            }
        ]
    }
}
Z17302

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17302"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17301",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17301",
            "Z17301K1": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16661"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z889",
            "Z889K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            ],
            "Z889K3": "Z13522"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "0  = (0,0)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "0 = (0,0)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "0 = (0,0)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17306

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17306"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17301",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z610",
            "Z16K2": "def Z17301(Z17301K1):\n\tif (Z17301K1\u003C0): return [0,-Z17301K1]\n\treturn [Z17301K1,0]"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "ordered pair of natural numbers representing integer, python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "paire ordonnée de naturels... en Python"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahl als geordnetes Paar, Python"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17317

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17317"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17315",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17315( Z17315K1, Z17315K2 ) {\n\treturn(Z17315K1-Z17315K2);\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "subtract natural numbers, javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "wepụ nọmba eke, javascript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "soustraire des nombres naturels, en JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Nat. Zahlen als Integer subtrahieren, JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17320

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17320"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17307",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17315",
            "Z17315K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z811",
                "Z811K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17307K1"
                }
            },
            "Z17315K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z12964",
                "Z12964K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17307K1"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "integer represented by ordered pair, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "entier représenté par une paire... en Composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geordnetes Paar als Ganzzahl als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "assumes the list is only two elements (a pair)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geht davon aus, dass die Liste nur zwei Elemente (ein Paar) umfasst"
            }
        ]
    }
}
Z17323

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17323"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17321",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z13521",
                "Z13521K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z811",
                    "Z811K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17321K1"
                    }
                },
                "Z13521K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12964",
                    "Z12964K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17321K2"
                    }
                }
            },
            "Z13522K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z13521",
                "Z13521K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z12964",
                    "Z12964K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17321K1"
                    }
                },
                "Z13521K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z811",
                    "Z811K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17321K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "equivalent ordered pairs, (a+d)=(b+c) definition composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "sind äquivalente geordnete Paare, Komposition, ="
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17325

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17325"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z12964",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z12964",
            "Z12964K1": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "99"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "9"
                }
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "9"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "last (N)[99,9] = 9"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "letztes Element von [99,9] ist 9"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "natural numbers in typed list"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "natürliche Zahlen in einer typisierten Liste"
            }
        ]
    }
}
Z17333

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17333"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17330",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17330",
            "Z17330K1": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "42"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "99"
                }
            ],
            "Z17330K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "9"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "42"
                }
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z844",
            "Z844K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "(42,99) \u003C (9,42)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "(42,99) \u003C (9,42)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17326

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17326"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z881",
                    "Z881K1": "Z13518"
                },
                "Z17K2": "Z17326K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "ordered pair of natural numbers representing integer to negate"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "paire ordonnée de nombres naturels à nier"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "geordnetes Paar natürlicher Zahlen"
                        }
                    ]
                }
            }
        ],
        "Z8K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z881",
            "Z881K1": "Z13518"
        },
        "Z8K3": [
            "Z20",
            "Z17329"
        ],
        "Z8K4": [
            "Z14",
            "Z17327",
            "Z17328"
        ],
        "Z8K5": "Z17326"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "negate ordered pair of natural numbers representing integer"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "nier une paire ordonnée de nombres naturels..."
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geordnetes Paar natürlicher Zahlen negieren"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "see https://en.wikipedia.org/wiki/Integer#Equivalence_classes_of_ordered_pairs. -(a,b) = (b,a)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "nier une paire ordonnée de nombres naturels représentant un entier"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "negiert das geordnete Paar natürlicher Zahlen, das eine Ganzzahl repräsentiert"
            }
        ]
    }
}
Z17327

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17327"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17326",
        "Z14K2": [
            "Z13518",
            {
                "Z1K1": "Z7",
                "Z7K1": "Z12964",
                "Z12964K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17326K1"
                }
            },
            {
                "Z1K1": "Z7",
                "Z7K1": "Z811",
                "Z811K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17326K1"
                }
            }
        ]
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "negate ordered pair, composition switching first/last elements (definition)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geordnetes Paar natürlicher Zahlen negieren, Komp."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "assumes two elements in list (pair)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "geht von zwei Elementen in einer Liste aus"
            }
        ]
    }
}
Z17338

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17338"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17186",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17307",
            "Z17307K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17326",
                "Z17326K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17301",
                    "Z17301K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z17186K1"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "negate integer, using set-theoretic definitions"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "mettre à la forme négative un entier, Compo (2)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Ganzzahl negieren als Komposition, Paar"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "composition en utilisant des définitions de la théorie des ensembles"
            }
        ]
    }
}
Z17343

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17343"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z16693",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17307",
            "Z17307K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z17340",
                "Z17340K1": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17301",
                    "Z17301K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z16693K1"
                    }
                },
                "Z17340K2": {
                    "Z1K1": "Z7",
                    "Z7K1": "Z17301",
                    "Z17301K1": {
                        "Z1K1": "Z18",
                        "Z18K1": "Z16693K2"
                    }
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "add integers, set-theoretic definition composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1787",
                "Z11K2": "somma numeri interi tramite coppie di naturali"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "additionner des entiers, en Composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Addieren ganzer Zahlen als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17350

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17350"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z16688",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z16688( Z16688K1, Z16688K2 ) {\n\treturn(Z16688K1==Z16688K2);\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "same integer, JS =="
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "otu ọnụọgụ JS =="
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gleiche Ganzzahl in JavaScript, =="
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "no type checking needed, because this is already ensured by the input types?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "enweghị ụdị nlele achọrọ, n'ihi na achọpụtalarị nke a site na ụdị ntinye?"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "JavaScript-Implementierung ohne Typenprüfung"
            }
        ]
    }
}
Z17351

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17351"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17249",
        "Z14K3": {
            "Z1K1": "Z16",
            "Z16K1": "Z600",
            "Z16K2": "function Z17249(Z17249K1, Z17249K2) {\n    if (Z17249K1 \u003C 0) return (Z17249K2 \u003C 0);\n    if (Z17249K1 \u003E 0) return (Z17249K2 \u003E 0);\n    return (Z17249K2 == 0);\n}"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "integers have the same sign, JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "ces entiers ont-ils le même signe ?, en JavaScript"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Integer haben gleiches Vorzeichen in JavaScript"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17353

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17353"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z17352",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z13036",
            "Z13036K1": {
                "Z1K1": "Z18",
                "Z18K1": "Z17352K1"
            },
            "Z13036K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z17144",
                "Z17144K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z17352K2"
                }
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "apply natural number function to positive integer, composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1014",
                "Z11K2": "tinye ọrụ nọmba eke na ọnụọgụgụ, mejupụtara"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Funktion für nat. Zahl auf pos. Ganzz. anw., Komp."
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17347

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17347"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17345",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17345",
            "Z17345K1": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                }
            ],
            "Z17345K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "5"
                }
            ]
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z889",
            "Z889K2": [
                "Z13518",
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "0"
                },
                {
                    "Z1K1": "Z13518",
                    "Z13518K1": "25"
                }
            ],
            "Z889K3": "Z13522"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "(5,0)*(0,5) = (0,25) = -25"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "(5,0) × (0,5) = (0,25)"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "5 * -5 = -25"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "5 × -5 = -25"
            }
        ]
    }
}
Z17354

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17354"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17352",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17352",
            "Z17352K1": "Z13663",
            "Z17352K2": {
                "Z1K1": "Z16683",
                "Z16683K1": {
                    "Z1K1": "Z16659",
                    "Z16659K1": "Z16660"
                },
                "Z16683K2": {
                    "Z1K1": "Z13518",
                    "Z13518K1": "9"
                }
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13522",
            "Z13522K2": {
                "Z1K1": "Z13518",
                "Z13518K1": "81"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "apply(n^2, +9) = 81"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "n² auf 9 anwenden"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17358

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17358"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17225",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17225",
            "Z17225K1": {
                "Z1K1": "Z13518",
                "Z13518K1": "6"
            },
            "Z17225K2": {
                "Z1K1": "Z39",
                "Z39K1": "Z13518K1"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z13052",
            "Z13052K2": {
                "Z1K1": "Z7",
                "Z7K1": "Z16575",
                "Z16575K1": "6"
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "quoted value of natural number 6 is quoted '6'"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Zitat von Z13518K1 ist Zitat von 6"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11"
        ]
    }
}
Z17359

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17359"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z39",
                "Z17K2": "Z17359K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "key"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "clé"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1430",
                            "Z11K2": "Schlüssel"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z6",
        "Z8K3": [
            "Z20",
            "Z17360",
            "Z17362",
            "Z17365",
            "Z17366",
            "Z28292"
        ],
        "Z8K4": [
            "Z14",
            "Z28303",
            "Z17361"
        ],
        "Z8K5": "Z17359"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "Key index as String"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "obtenir ID de clé"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "erhalte Schlüssel-ID"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1004",
                "Z31K2": [
                    "Z6",
                    "obtenir ID de clef"
                ]
            },
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "get key id",
                    "y from ZxKy",
                    "i from Z39K1"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "returns the numeric index from the reference in a Key reference as a String, y from ZxKy"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "retourne y pour une clé ZxKy"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "gibt y für einen Schlüssel ZxKy aus"
            }
        ]
    }
}
Z17365

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z17365"
    },
    "Z2K2": {
        "Z1K1": "Z20",
        "Z20K1": "Z17359",
        "Z20K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z17359",
            "Z17359K1": {
                "Z1K1": "Z39",
                "Z39K1": "Z4K10"
            }
        },
        "Z20K3": {
            "Z1K1": "Z7",
            "Z7K1": "Z866",
            "Z866K2": "10"
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "key id of Z4K10 is 10"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Schlüssel-ID von Z4K10 ist 10"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "It is on Z4, because that is the most likely type to get more than 9 keys"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Z4 ist der Typ, der am wahrscheinlichsten mehr als 9 Schlüssel hat"
            }
        ]
    }
}