[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/concept/kbhaxiomatic_semantics.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- title: "axiomatic semantics" source: https://www.jemoka.com/posts/kbhaxiomatic_semantics/ --- Pre-conditions and post-conditions for specify logical formula; this is the basis of verification systems.