test004-out.nt

来自「这是外国一个开源推理机」· NT 代码 · 共 2 行

NT
2
字号
<http://example.org/A> <http://example.org/propA> "10"^^<http://www.w3.org/TR/xmlschema-2#integer>.

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?