Searched refs:S167 (Results 1 – 10 of 10) sorted by relevance
91 S166[167], S167[168], S168[169], S169[170], S170[171], typedef
174 (declare-sort S167 0)471 (declare-fun f279 (S167 S17) S158)473 (declare-fun f281 (S167) S168)696 (assert (forall ((?v0 S12) (?v1 S167) (?v2 S17) (?v3 S17)) (=> (= (f33 ?v0 (f265 (f279 ?v1 ?v2) ?v3…
857 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/attribute/attMc006.xsd','./msxsdte…859 …_lib:instance_test(Config,'./msxsdtest/attribute/attMc006.xml','./msxsdtest/attribute',valid,S167),5099 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/element/elemQ009.xsd','./msxsdtest…5101 …sd_lib:instance_test(Config,'./msxsdtest/element/elemQ009.xml','./msxsdtest/element',invalid,S167),6605 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/Group/groupM003.xsd','./msxsdtest/…6607 …l_xsd_lib:instance_test(Config,'./msxsdtest/Group/groupM003.xml','./msxsdtest/Group',invalid,S167),7893 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/identityConstraint/idc_datatypes/i…19211 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/Particles/particlesEc025.xsd','./m…19213 …tance_test(Config,'./msxsdtest/Particles/particlesEc025.xml','./msxsdtest/Particles',invalid,S167),21563 …{STRes167,S167} = xmerl_xsd_lib:schema_test(Config,'./msxsdtest/Particles/particlesU003.xsd','./ms…[all …]
512421 344469 | ascomycete sp. HK-S167 | | scientific name |693250 478697 | Binary vector pCLEAN-S167 | | scientific name |1339516 1147790 | Fusarium sp. S167 | | scientific name |