{"entities":{"Q5854731":{"pageid":7884282,"ns":120,"title":"Item:Q5854731","lastrevid":58615263,"modified":"2026-04-06T00:39:55Z","type":"item","id":"Q5854731","labels":{"en":{"language":"en","value":"Irrelevance, heterogeneous equality, and call-by-value dependent type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7324352"}},"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":"Q5854731$AE65894E-43D3-4FBA-87A8-56D699AE9B6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a828391bf8d32e1b013124b6049a237ff1624511","datavalue":{"value":"1457.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854731$ECAAD4E2-0211-45B9-9C48-787A542A664E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6f44d708e4aeb966dda281a5c72d40fc429c0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2670833,"id":"Q2670833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$52423433-5A4F-4ABA-BC4C-1D02D6101E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7865d4042300a36d5f610a5866166ce8e94d5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4649381,"id":"Q4649381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$AECCA497-E16F-4898-B9B6-B8086F48C313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdef4d56dab2040e9e3b90cbb31accfa1cfbb6a7","datavalue":{"value":{"entity-type":"item","numeric-id":2798265,"id":"Q2798265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$C2C20EDA-56F7-43FF-8B53-4F4F0ED3B361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4bcdc6853e955b28b9ee4ca28de67f33635f97d","datavalue":{"value":{"entity-type":"item","numeric-id":3376120,"id":"Q3376120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$0E629880-CFB8-4E8B-AF03-F0E6FFB52C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"497005cd7fa09e702fdfae185cb0459d14967d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2968038,"id":"Q2968038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$E07E0B36-20C1-46CC-A4C4-80D209D73A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b615b898de6efd0f31bf76761f7533501cd79f0","datavalue":{"value":{"entity-type":"item","numeric-id":815359,"id":"Q815359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$35C95F4F-A812-4AA8-948D-809B073EB952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f08ad76b6d656db642e007219c34e17a048a1491","datavalue":{"value":{"entity-type":"item","numeric-id":608235,"id":"Q608235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$786FA08F-1E96-4560-BD2E-A289B857E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d68f626b81ca56cdf77c612696c146f6f79bb2e","datavalue":{"value":{"entity-type":"item","numeric-id":1583362,"id":"Q1583362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$E436E796-0BAD-4AF0-909F-C11C119EFC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$062AECFE-D549-41B0-95B1-477D0199DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854731$BA398AFF-82EE-4B57-879E-D06AC42D0304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854731$1BBC87E6-6B18-4DB8-B04E-241FDFF9E5EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b57c54c04d65e773a93715cfa4fac599ca9c15e","datavalue":{"value":"https://arxiv.org/abs/1202.2923","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854731$97373116-07A1-4390-8CE0-5D64636DC29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ef5e9fbb37b62ac5b53be5a0e8ec23a7c8ec394","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2012.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854731$DA7813A4-F607-462B-AF28-B6BD98718ECA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854731$D21195FE-D043-446B-BA1F-6CD60BBC50A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854731$F0C3F17A-3E65-410F-ADDF-1111A33D17A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2274ed7c9862a6901a0afc790fc38de81bad254","datavalue":{"value":"7324352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854731$4FD3EEA4-8A5E-4449-B3F5-BA30C4917453","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":"Q5854731$0F1B8700-0BAE-437D-A0DA-CCFBE0514B5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec1bc88c780d0b5c92400e3167000d28f157898","datavalue":{"value":{"entity-type":"item","numeric-id":3000599,"id":"Q3000599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785418a5eae3b71358b3dd5a0eaa1cd90185789a","datavalue":{"value":{"amount":"+0.8402961492538452","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":"Q5854731$65EE108C-253F-4572-9A72-6C0BBE0C7344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5de30d754af82d7575c5218ddb8f50be80efb2ac","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba3249e288e43001e5f29a8239bb11e85b108fb","datavalue":{"value":{"amount":"+0.7872315645217896","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":"Q5854731$45C7CBB6-2445-4E90-96E6-3DEA1E3A5255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7aa1de4090c1d5dfd190d04f71e0386fbccce02","datavalue":{"value":{"amount":"+0.7238297462463379","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":"Q5854731$8A6A956E-09DC-4A25-890C-B482F5226863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5632702bf3390b03ea1bb4daaa31ca609d002f89","datavalue":{"value":{"entity-type":"item","numeric-id":5145355,"id":"Q5145355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f64e57be612ef02c4154ab973ec5333ff6fbb24","datavalue":{"value":{"amount":"+0.7142629027366638","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":"Q5854731$E00ECC4F-1ED0-4A55-83B1-717B70AB06F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd0887d9303d6a5b7f60dd0479ea33753b3bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9dacc06a14225d1dfc8b6fd1388f255d7cac58d","datavalue":{"value":{"amount":"+0.7008523941040039","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":"Q5854731$3389FD82-B8B2-4425-9534-FCF697DD8EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5854731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5854731"}}}}}