Matches in Wikidata for { <http://www.wikidata.org/entity/Q112292513> ?p ?o ?g. }
Showing items 1 to 21 of
21
with 100 items per page.
- Q112292513 description "publication published on 22 April 2020" @default.
- Q112292513 name "ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods" @default.
- Q112292513 type Item @default.
- Q112292513 label "ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods" @default.
- Q112292513 prefLabel "ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods" @default.
- Q112292513 P1476 Q112292513-7C00EC41-8F94-4C47-8EAF-48EB8C73F8F2 @default.
- Q112292513 P2093 Q112292513-12770CE6-70C0-4D2F-A11A-65D88A769575 @default.
- Q112292513 P2093 Q112292513-C1DB83DB-75B9-4C24-AFA6-17B608B82AA4 @default.
- Q112292513 P304 Q112292513-612CA194-4809-4AF5-9FE8-DA7B9ABCB5E4 @default.
- Q112292513 P31 Q112292513-4B83E33C-80E7-47F4-893D-5E57A9F2E530 @default.
- Q112292513 P478 Q112292513-3D6CD0E2-FEEA-491C-975C-60A6954C34EB @default.
- Q112292513 P577 Q112292513-CCA41908-D75F-48B8-8030-7BC15CA721D5 @default.
- Q112292513 P932 Q112292513-E916396A-D2E1-4E40-BCDF-A1B6EA1B72BD @default.
- Q112292513 P1476 "ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods" @default.
- Q112292513 P2093 "David Geleßus" @default.
- Q112292513 P2093 "Michael Leuschel" @default.
- Q112292513 P304 "248-254" @default.
- Q112292513 P31 Q732577 @default.
- Q112292513 P478 "12071" @default.
- Q112292513 P577 "2020-04-22T00:00:00Z" @default.
- Q112292513 P932 "7242049" @default.