| rdf:type | <https://jpsearch.go.jp/term/type/博士論文> |
| rdfs:label | "Completeness of Verification System with Separation Logic for Recursive Procedures" |
| schema:name 2 | "Completeness of Verification System with Separation Logic for Recursive Procedures" @en |
| schema:name | "Completeness of Verification System with Separation Logic for Recursive Procedures(再帰手続きに対する分離論理による検証体系の完全性)" @ja |
| ns0:accessInfo | #accessinfo |
| ns0:agential 3 | _:vb66477290 (an orphan bnode) |
| ns0:agential | _:vb66477288 (an orphan bnode) |
| ns0:agential | _:vb66477289 (an orphan bnode) |
| ns0:sourceInfo | #sourceinfo |
| ns0:temporal | _:vb66477291 (an orphan bnode) |
| schema:creator 3 | <https://jpsearch.go.jp/entity/ncname/Mahmudul_Faisal,_AL_AMEEN> (➜ "Mahmudul Faisal, AL AMEEN") |
| schema:creator | <https://jpsearch.go.jp/entity/ncname/AL_AMEEN,_Mahmudul_Faisal> (➜ "AL AMEEN, Mahmudul Faisal") |
| schema:creator | <https://jpsearch.go.jp/entity/ncname/アルアミーンマハムドゥルファイサル> (➜ "アル アミーン マハムドゥル ファイサル") |
| schema:description 2 | "元資料の権利情報 : CC BY-NC-ND;元資料の権利情報 : CC BY-NC-ND (NDLデジタルコレクション)" |
| schema:description | "資料種別: 博士論文" |
| schema:encodingFormat | <https://ld.webcatplus.jp/ext/code/dcndl#博士論文> |
| schema:inLanguage | <http://id.loc.gov/vocabulary/iso639-2/eng> (➜ "英語") |
| schema:temporal | <https://jpsearch.go.jp/entity/time/2016> (➜ "2016年") |