| source | http://datadock.io/timathom/netsci/id/resource/id/d85f2f6a-0ecd-4690-a718-0e6591382cdf |
| 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 | 4.0 |
| id | 00393de3-2eeb-4236-b987-4c53467e635f |
| wikiWeight | 1 |
| label | Jean Cavaillès > Arend Heyting |
Download the data in the table above page as RDF: NQuads