{"entities":{"Q5145355":{"pageid":7174926,"ns":120,"title":"Item:Q5145355","lastrevid":53911709,"modified":"2026-01-25T22:23:29Z","type":"item","id":"Q5145355","labels":{"en":{"language":"en","value":"Degrees of relatedness. A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298803"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145355$8CE56B08-E861-4EAC-A09B-FCA520B8F3D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa286b7bc5f73690cf5eb4ae11c6501f3f1ab37","datavalue":{"value":{"text":"Degrees of Relatedness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145355$CDCC6CCB-7BAD-469C-A66A-C56AC60AE130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1e4132eaa88d09a88b0fc8f9eb9fbd12e160b71","datavalue":{"value":"1453.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$2279A237-2050-461D-8F3B-3F5E0C8F4101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"125eba6dd60d47c5674884ef7082be9daaf32548","datavalue":{"value":"10.1145/3209108.3209119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$FE371E29-C8CB-439B-AFAA-E4326419C3F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b07331328bd636f30b2dd1e7cef089c7de5cf55","datavalue":{"value":{"entity-type":"item","numeric-id":2229234,"id":"Q2229234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145355$94FB1DA0-9F09-4D1E-9CE9-1E9BAE699D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1529dedab76f5fce2b82e1e7164fb256a96937b","datavalue":{"value":{"entity-type":"item","numeric-id":2229235,"id":"Q2229235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145355$9ECA6118-30E4-4070-9B21-AFFECD7A60D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145355$E4BB0393-DC8F-481C-9195-D03FB022A296","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145355$C3C23CA1-389D-4F9B-BF05-B7DA28891551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$A9DF8E7D-B974-4B96-B09E-BA62E9B1D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$D5615318-3D80-4A20-AB72-DB64F35CA710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7b9f1fbe872a58986627a1fa9d8af2c8390cf81","datavalue":{"value":"7298803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$2BC325D7-7A4E-4E03-A5C5-5B75EEFE60E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$7E0A5D19-6E43-4941-90D9-5D8A1B950F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f3f1b2e73f991337b53db547722d19fb364d89","datavalue":{"value":"algebra in type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$E07EF8F3-F637-421B-88E8-6CDBE1875FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$5E79F459-5A38-486B-B7E6-4FEB89B4BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a793cf5da5988507d64af55efcb47a83d6f85bcd","datavalue":{"value":"erasure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$391B78BF-B491-464D-84EA-BAE972DE00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbffb8ae14b4f37eab0c3aace9f763172d33b5b2","datavalue":{"value":"intersections","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$C1A15814-20A6-4C9E-AFD7-3E0CE223B56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9170a0fd289d48a3dca14fb8198b4f247b70c6","datavalue":{"value":"irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$65EF60AC-1D4C-4775-AD40-75875FAB9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9549b9b59d12b51bdff96e0de2f12a921c8bcf1d","datavalue":{"value":"presheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$C55348F9-5A59-47F8-801B-821660E0F080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c5c807fcc057e4374a8c8679097e83dc600416","datavalue":{"value":"unions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145355$E53B0F83-7DCC-43E6-A524-506E1915B72C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145355$6CD1BCF9-D73A-4299-8313-5A2F95C14360","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef1502aad70233c9827feccd7ee8a735ae452a3e","datavalue":{"value":"https://doi.org/10.1145/3209108.3209119","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145355$5B0D1CAA-7DF7-4C53-9A9B-97F5811180AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"430fd6e1d8bfde6c497f94b8a3f65de3f18c851a","datavalue":{"value":"W2798299123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145355$47BA5A5D-FE93-4F5C-BB1E-8B15248B68FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113668b0a2005be189eb84bf1232da361a15b869","datavalue":{"value":{"amount":"+0.8103766441345215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145355$79DF8C67-DCB3-429A-8ADC-B1DC8321A4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292c44aa865b5f70e8c78fb6355ff97ace67503f","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0b401320a5da85ed21a2e72e6a4fd64e3442b8","datavalue":{"value":{"amount":"+0.7884005308151245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145355$AE1B0B9F-6949-4B8A-A4F0-3239BAEF2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71341020b9726328193b01d7725d977f2891642c","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156492101bafd874d4769eafeaafbde6069de7e9","datavalue":{"value":{"amount":"+0.7665464282035828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145355$BD789E8D-6492-440F-AB52-10B6F0BBFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59780e1bc88df251db34eaae7866da9dea12755c","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b4ba69b0c6be26d6a443588c07e3372cb21799","datavalue":{"value":{"amount":"+0.7608862519264221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145355$62C60F1E-B6AC-4239-BCD3-81C7ADDCDED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5cbffb0190adce74917e9330ddfbf0fa546afe","datavalue":{"value":{"amount":"+0.7589619755744934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145355$231C217D-E80E-445D-8626-908939146FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145355"}}}}}