要查询股票是否被冻结，可以采取以下几种程序：
法院查询
申请：由申请人向法院提出申请，并提供必要的证据材料，如法院判决书、裁定书等。
执行：法院在审查申请后，如果符合冻结条件，会作出裁定，并向证券交易所发出协助执行通知书，要求冻结相应的股票账户。
中国证券登记结算有限责任公司查询
质押股票：如果股票已经质押，可以通过质押登记信息直接查询并申请保全，无需额外查询。
无质押股票：需要查询证券账户和资金账户的信息，可以在托管的证券公司或中国证券登记结算公司进行查询。
工商局查询
股权抵押登记情况：持有企业营业执照可以打印工商信息，了解股权抵押登记情况。
法院查询：更精确的冻结信息需要到法院查询，以被告的企业名称为检索关键词。
网上查询
国家企业信用信息公开系统：可以登录该系统查询股权冻结信息。
股份登记公司官方网站：一些股份登记公司会在其官方网站上公布股权冻结信息，投资者可以通过输入股票代码或股东名称等信息进行查询。
证券经纪人或基金管理人查询
信息获取：证券经纪人或基金管理人通常会及时了解股权冻结情况，并可以为投资者提供相关信息。
公司公告或年报查询
公告披露：如果公司股权被冻结，通常会在公司公告或年报中进行披露，投资者可以通过查询这些信息来了解股权冻结情况。
建议
准备材料：在进行股票冻结查询前，应准备好相关的法律文书和身份证明文件。
选择合适的查询途径：根据具体情况选择法院、证券登记结算公司、工商局或网上查询等合适的查询途径。
注意信息更新：股权冻结信息可能会随时间变化，建议定期查询以获取最新信息。
通过以上程序，可以有效地查询股票是否被冻结，并采取相应的法律措施。