Nishi Family › Atlas › Family Tree › Directory › Card
nx_result
TRUNK — part of the living tree
Organ card — parents it builds on, children built on it, and how intertwined it is with the rest of the ecosystem.
gen 1import-hops from god (of 7)
3parents (imports)
89children (importers)
89total descendants reach (Ca)
Parents — what it builds on
Real children — organs built on it (43, complete)
nx_tptp_loadnx_tptp_formulanx_tstp_emitnx_tptp_termnx_term_ordernx_unified_solvernx_fof_parsenx_hyperresnx_lponx_smtlib_parsenx_fof_tseitinnx_tptp_emitnx_tautologynx_solvenx_fofnx_answernx_file_resultnx_kernel_v2nx_congruence_closurenx_fof_cnfnx_avatar_splitnx_fmbnx_selectionnx_avatar_encodenx_tptpnx_disctreenx_demodulationnx_pure_litnx_proof_lognx_subsumptionnx_tptp_load_anynx_unifynx_paramodulationnx_tptp_symtabnx_saturationnx_clause_componentsnx_atp_to_derivenx_math_gamesnx_eq_factornx_resolutionnx_pre_satnx_inst_gennx_sine
Validation — its tests/gates (46, complete)
nx_tptp_testnx_tptp_emit_testnx_unify_testnx_fof_tseitin_testnx_casc_runner_testnx_avatar_solve_testnx_avatar_split_testnx_clause_weight_testnx_math_games_testnx_resolution_testnx_discount_testnx_lpo_testnx_disctree_testnx_selection_testnx_saturation_testnx_tptp_formula_testnx_file_result_testnx_answer_testnx_term_order_testnx_paramodulation_testnx_inst_gen_testnx_solve_testnx_tautology_testnx_clause_components_testnx_sine_testnx_pure_lit_testnx_casc_benchnx_atp_to_derive_testnx_indexed_subsume_testnx_pre_sat_testnx_fmb_testnx_fof_parse_testnx_result_testnx_unified_solver_testnx_tptp_load_testnx_tstp_emit_testnx_smtlib_parse_testnx_avatar_encode_testnx_demodulation_testnx_hyperres_testnx_fof_cnf_testnx_tptp_write_testnx_eq_factor_testnx_backward_subsume_testnx_proof_log_testnx_subsumption_test
Partners — co-parents of its children (complete)
nx_syscallsnx_runtimenx_tiernx_strnx_file_resultnx_unifynx_resolutionnx_tptp_symtabnx_tptp_termnx_tptp_formulanx_tptp_emitnx_proof_lognx_tptpnx_subsumptionnx_tautologynx_saturationnx_fofnx_fof_parsenx_fof_cnfnx_fof_tseitinnx_disctreenx_paramodulationnx_pre_satnx_sinenx_tptp_loadnx_tptp_load_anynx_clause_componentsnx_avatar_splitnx_solvenx_math_gamesnx_term_ordernx_sat_solvernx_lponx_selectionnx_answernx_inst_gennx_pure_litnx_axiomsnx_derivenx_atp_to_derivenx_fmbnx_unified_solvernx_congruence_closurenx_tstp_emitnx_smtlib_parsenx_classical_unpatentednx_classical_unpatented_2nx_avatar_encodenx_demodulationnx_hyperresnx_eq_factor
51 distinct organs co-parent its children — the intertwining measure.
Siblings — per parent
via nx_syscalls: 13498 siblingsvia nx_runtime: 266 siblingsvia nx_tier: 2866 siblings
Lineage — roots to god
✥ open in the TREE EXPLORER · ← the family tree · directory · Atlas home