{"entities":{"Q2871879":{"pageid":2882599,"ns":120,"title":"Item:Q2871879","lastrevid":51900752,"modified":"2026-01-20T12:22:03Z","type":"item","id":"Q2871879","labels":{"en":{"language":"en","value":"A bidirectional refinement type system for LF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244450"}},"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":"Q2871879$10BAAD57-31FC-4F09-B1CD-4958367F241F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c56bcb6e8da7336f20aee1a9baa0f343c101b929","datavalue":{"value":"1278.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871879$C2D3146B-DCFB-4433-8AF4-7B01DAFC10A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e288457c9d1f48601505d7fe21df88c418d5a038","datavalue":{"value":{"entity-type":"item","numeric-id":2871878,"id":"Q2871878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871879$3EA0D401-780A-42EE-B805-3956C7F1063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871879$459057B4-8ACE-4CFF-AE6D-829024C9D2FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871879$04DBBF13-F01F-4AE9-A64D-BC47651E6252","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6faeaa0ca6ff2c2fbb13830d206bfc83c1aae29","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066108000418?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871879$DD17C8FC-336C-4E39-8774-FE735242DF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871879$97CC2B01-3C83-4FE2-892C-B3A3D8B4E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871879$8C3C2934-BF12-4D2B-B7C4-A493CFB9C42E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc0d5c24f3291126f725c021f8fc800fd749f1d3","datavalue":{"value":"6244450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871879$48BFCBB2-11BC-42DD-AEF2-D9A86D01B200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac99623abd535504f801b8a90ea0d101350724be","datavalue":{"value":"LF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871879$486B4043-C850-4F45-A9E4-CC089BC70CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871879$5C8207EE-1979-416E-8E4D-77EA1D42DE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871879$9AE02D1D-7D06-40C6-BAE1-6D603FCF9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871879$817E9C92-8689-4763-B53F-68998B369FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871879$C5A084A2-9033-477B-B905-EE15698DD378","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871879$C46AD1AA-9164-4090-9F8B-857D755BC4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871879$AEBE3452-9D95-452F-8C08-400B13AC9DFC","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":"Q2871879$B0F38CFE-034C-4934-A8F4-8625082D7144","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32b931867b3c2b58cfeb4dc7e6198c5870e2ecde","datavalue":{"value":{"text":"A bidirectional refinement type system for LF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871879$AF0B3A4E-218E-4503-86F5-44CF893DCDC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46e4e76105f7252cbca0b759d0cccb97f9f899e","datavalue":{"value":{"entity-type":"item","numeric-id":3064169,"id":"Q3064169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86645008f1768b6ca30af428fffbd4e2aa662d6","datavalue":{"value":{"amount":"+0.7932125926017761","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":"Q2871879$BDD55A6A-C00D-4F86-B615-1ACC5BD52A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80781b5c0783ea6efc6f4973ac68c4124b39f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":2871840,"id":"Q2871840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7743d4839c4d4213656212a7b01284ea35f93b28","datavalue":{"value":{"amount":"+0.7583646774291992","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":"Q2871879$1C6E4AE2-9A10-48AA-A59E-43A7DFC04988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ca46566fda6e5ddaa75cfed81904d6f3f2b404","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e753d2bf4ffba1845caf448cccf9788228abcc","datavalue":{"value":{"amount":"+0.7566829323768616","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":"Q2871879$AD1EB9C9-BE90-4199-9EF7-7B210E295229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e89a4bd7bf71db457d1831b41408c8fb335703c","datavalue":{"value":{"amount":"+0.7427935600280762","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":"Q2871879$5F11EA22-B4D2-4F66-9BC9-D1AB7242EA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbaccb309585759db30db7e35ead8d928f8adb0","datavalue":{"value":{"amount":"+0.7386133074760437","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":"Q2871879$F828727C-4C88-4698-B615-4597400884F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871879"}}}}}