Z22257

{
    "Z1K1": "Z2",
    "Z2K1": {
        "Z1K1": "Z6",
        "Z6K1": "Z22257"
    },
    "Z2K2": {
        "Z1K1": "Z8",
        "Z8K1": [
            "Z17",
            {
                "Z1K1": "Z17",
                "Z17K1": "Z22112",
                "Z17K2": "Z22257K1",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "Kleenean"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "triléen"
                        }
                    ]
                }
            },
            {
                "Z1K1": "Z17",
                "Z17K1": "Z40",
                "Z17K2": "Z22257K2",
                "Z17K3": {
                    "Z1K1": "Z12",
                    "Z12K1": [
                        "Z11",
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1002",
                            "Z11K2": "Boolean"
                        },
                        {
                            "Z1K1": "Z11",
                            "Z11K1": "Z1004",
                            "Z11K2": "booléen"
                        }
                    ]
                }
            }
        ],
        "Z8K2": "Z40",
        "Z8K3": [
            "Z20",
            "Z22258",
            "Z22259",
            "Z22260",
            "Z22261",
            "Z22262",
            "Z22263"
        ],
        "Z8K4": [
            "Z14",
            "Z22266",
            "Z22265",
            "Z22264"
        ],
        "Z8K5": "Z22257"
    },
    "Z2K3": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "equality of Kleenean and Boolean"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "ces triléens et booléens sont-ils égaux ?"
            }
        ]
    },
    "Z2K4": {
        "Z1K1": "Z32",
        "Z32K1": [
            "Z31",
            {
                "Z1K1": "Z31",
                "Z31K1": "Z1002",
                "Z31K2": [
                    "Z6",
                    "Kleenean=Boolean",
                    "Boolean=Kleenean",
                    "Kleenean = Boolean",
                    "Boolean = Kleenean",
                    "is Kleenean equal to Boolean"
                ]
            }
        ]
    },
    "Z2K5": {
        "Z1K1": "Z12",
        "Z12K1": [
            "Z11",
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1002",
                "Z11K2": "only true if the Kleenean is True or False, and the Boolean is equal to it"
            },
            {
                "Z1K1": "Z11",
                "Z11K1": "Z1004",
                "Z11K2": "renvoie \"vrai\" seulement si le triléen est vrai ou faux et que le booléen lui est égal, sinon \"faux\""
            }
        ]
    }
}