英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字，中文词皆可：

coexistence    音标拼音: [k,oɪgz'ɪstəns]
n. 共存,两立,并立

共存,两立,并立

coexistence
共存

coexistence
n 1: existing peacefully together

Coexistence \Co`ex*ist"ence\, n.
Existence at the same time with another; -- contemporary
existence.
[1913 Webster]

Without the help, or so much as the coexistence, of any
condition. --Jer. Taylor.
[1913 Webster]

57 Moby Thesaurus words for "coexistence":
Eisenhower Doctrine, Monroe Doctrine, Nixon Doctrine,
Truman Doctrine, accompaniment, agreement, appeasement,
balance of power, brinkmanship, coetaneity, coetaneousness,
coevalneity, coevalness, coincidence, colonialism, compromise,
concomitance, concurrence, containment, contemporaneity,
contemporaneousness, detente, deterrence, diplomacy, diplomatic,
diplomatics, dollar diplomacy, dollar imperialism, expansionism,
foreign affairs, foreign policy, good-neighbor policy, imperialism,
internationalism, isochronism, isolationism, manifest destiny,
militarism, nationalism, neocolonialism, neutralism, nonresistance,
open door, open-door policy, peace offensive, peaceful coexistence,
preparedness, shirt-sleeve diplomacy, shuttle diplomacy,
simultaneity, spheres of influence, synchronism, synchronization,
the big stick, tough policy, unison, world politics


请选择你想看的字典辞典：
单词字典翻译
Coexistence查看　Coexistence　在百度字典中的解释百度英翻中〔查看〕
Coexistence查看　Coexistence　在Google字典中的解释Google英翻中〔查看〕
Coexistence查看　Coexistence　在Yahoo字典中的解释Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Quint
    Quint is free and open source (Apache 2 0) We offer a 1-hour free consultation to discuss your project, answer questions, and help you evaluate if executable specifications are right for your team If there's a fit, we can explore ways to support your adoption journey Last updated on September 16, 2025 © 2026 Informal Systems
  • GitHub - zmanian quint-spec-skill: Claude Code skill for building . . .
    quint-spec-skill A Claude Code skill for building formal Quint specifications to prove correctness of DeFi protocols, cross-chain interoperability, and intent-based systems
  • Literate Specifications - quint-lang. org
    A literate quint spec is a markdown file that includes quint code blocks that declare a file into which the fragment of the code will be extracted Here is an example of a literate spec describing a trivial counter system: Each code block is labeled with three things:
  • Summary of Quint
    Although we keep it up-to-date, this document originated Quint and precedes it’s implementation It includes a lot of references to TLA+, the language which served as the basis of quint, semantically Identifiers are defined exactly as in TLA+: String literals are written as follows: "hello, world!" You cannot do much with strings
  • Getting Started - quint-lang. org
    The Quint LLM Kit ↗ provides Claude Code agents and commands that help you generate Quint specs from existing code or documentation Run spec:next to get guided suggestions at any point
  • Quint CLI: Tool for the Quint specification language
    quint is a command line interface tool for working with the Quint specification language It is the primary access point for testing and integration with other tools The main commands of quint are as follows: In the following, we give details about the above commands This is the default operation if no other subcommand is given:
  • Documentation - quint-lang. org
    What does Quint do? Getting Started Use‑Cases Talks Podcasts FAQ Writing specifications Language basics Lessons Learn the language with CodeTour Tutorials Hello, World! Booleans Integers Anatomy Sets Cheatsheet ↵ Examples Using specifications Checking Properties Interacting with REPL Literate Specifications Model-based Testing
  • A new LLM-friendly library for Model-Based Testing
    We’re launching Quint Connect, a library that extends your confidence from Quint specifications to production code by paving the way to model-based testing in Rust
  • Formally Specifying Dungeons and Dragons rulebooks
    Quint is an executable specification language based on the temporal logic of actions (TLA) — the same foundation as TLA+, but with syntax familiar to engineers
  • Specs for all Honda Quint versions
    Choose a Honda Quint version from the list below to get information about engine specs, horsepower, CO2 emissions, fuel consumption, dimensions, tires size, weight and many other facts





中文字典-英文字典  2005-2009