| source | http://datadock.io/timathom/netsci/id/resource/id/6b0b9840-291d-45cd-9dd7-7d2863142760 |
| target | http://datadock.io/timathom/netsci/id/resource/id/15ec14fa-029d-40e5-b770-fbefbbfc0049 |
| type | http://datadock.io/timathom/netsci/id/resource/id/Edge |
| edgeWeight | 1.0 |
| id | e61f2049-b0cc-45f8-a271-e11cc959e406 |
| wikiWeight | 1 |
| label | Kurt Gödel > Arend Heyting |
Download the data in the table above page as RDF: NQuads