Z13447

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z13447"
    },
    "Z2K2": {
        "Z1K1": "Z14",
        "Z14K1": "Z13419",
        "Z14K2": {
            "Z1K1": "Z7",
            "Z7K1": "Z802",
            "Z802K1": {
                "Z1K1": "Z7",
                "Z7K1": "Z813",
                "Z813K1": {
                    "Z1K1": "Z18",
                    "Z18K1": "Z13419K2"
                }
            },
            "Z802K2": {
                "Z1K1": "Z40",
                "Z40K1": "Z41"
            },
            "Z802K3": {
                "Z1K1": "Z7",
                "Z7K1": "Z12684",
                "Z12684K1": [
                    "Z40",
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13318",
                        "Z13318K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z13419K1"
                        },
                        "Z13318K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z811",
                            "Z811K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z13419K2"
                            }
                        },
                        "Z13318K3": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z811",
                            "Z811K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z13419K2"
                            }
                        }
                    },
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13445",
                        "Z13445K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13436",
                            "Z13436K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z13419K1"
                            },
                            "Z13436K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z811",
                                "Z811K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z13419K2"
                                }
                            },
                            "Z13436K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z812",
                                "Z812K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z13419K2"
                                }
                            }
                        }
                    },
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13445",
                        "Z13445K1": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z13464",
                            "Z13464K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z13419K1"
                            },
                            "Z13464K2": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z812",
                                "Z812K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z13419K2"
                                }
                            },
                            "Z13464K3": {
                                "Z1K1": "Z7",
                                "Z7K1": "Z811",
                                "Z811K1": {
                                    "Z1K1": "Z18",
                                    "Z18K1": "Z13419K2"
                                }
                            }
                        }
                    },
                    {
                        "Z1K1": "Z7",
                        "Z7K1": "Z13419",
                        "Z13419K1": {
                            "Z1K1": "Z18",
                            "Z18K1": "Z13419K1"
                        },
                        "Z13419K2": {
                            "Z1K1": "Z7",
                            "Z7K1": "Z812",
                            "Z812K1": {
                                "Z1K1": "Z18",
                                "Z18K1": "Z13419K2"
                            }
                        }
                    }
                ]
            }
        }
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "is identity relation over set, recursive composition"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "ist Identitätsrelation über Liste als Komposition"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31"
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "relation(first,first) \u0026\u0026 all_false(relation(first,rest)) \u0026\u0026 F(relation,rest)"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1430",
                "Z11K2": "Komposition zur Prüfung, ob eine Identitätsrelation über die Elemente einer Liste vorliegt"
            }
        ]
    }
}