{"entities":{"Q2819785":{"pageid":2830523,"ns":120,"title":"Item:Q2819785","lastrevid":42207422,"modified":"2025-05-27T21:12:21Z","type":"item","id":"Q2819785","labels":{"en":{"language":"en","value":"Integrating linear and dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631287"}},"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":"Q2819785$53C9C923-644E-43E5-87FA-AFF143F97C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9f2462192065902ebfa3618cd2f7e8f408ece51","datavalue":{"value":"1345.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$C49F47C3-C44A-4F22-B475-92C9C58535BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e864cd145f001e1e7a69c06da776ab1b9793c9fc","datavalue":{"value":"10.1145/2676726.2676969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$177196D3-B7A8-408F-A6D6-B1471A4EC3F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819785$0372DD24-36FB-4DEA-A158-90E519E39E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6698e6b11e3926e0ff7250ade9355a06b26b1512","datavalue":{"value":{"entity-type":"item","numeric-id":2104274,"id":"Q2104274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819785$068FF920-A145-4091-A50B-037D2D8E5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24edb71357444cfa1110c00b8f09fd608c1bc854","datavalue":{"value":{"entity-type":"item","numeric-id":2392478,"id":"Q2392478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819785$3F4A0573-9EA9-4D30-8121-D41CEE8B2E68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819785$60631437-E67F-4E6C-8BC8-17E87CAE6D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819785$A938F39B-BB74-4E32-BD66-D22B6AA1C63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$54B37241-0252-4F58-8564-888AE55DE13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$8384A264-CBB1-403B-A25A-B8BE02D3C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$F668BB84-5568-4EA4-B6DC-E7E6681CC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$7D4FDAC4-BD76-4826-B19F-03CEB4020EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c14d1b152c54735bf649e931a57e7138344a3e5","datavalue":{"value":"6631287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$BAEAC6F8-4D7B-4761-AE06-E2906828BB86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$386AF3B4-B4DF-47CF-8221-3F1F57FC508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e2f733564c5cd640d3a3618935cc0aa1d6a385","datavalue":{"value":"Hoare triples","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$05CC5E49-86FF-4043-8D47-113207C7E155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$1E74E8CB-5DDA-4335-8239-456BD9B40493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e1274f9a42ee56b39863d4c156892237de6700","datavalue":{"value":"linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$097DB0EA-DC3F-49BC-881B-288BA4AA8051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$4CD2EDEC-FD41-4284-A563-9D4A8AD050C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819785$67A157DC-D395-44B8-A176-C155912DCBEB","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":"Q2819785$60335723-0B9C-4F2F-ABD1-B26C2F57104B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1d3d7482b5405926c6df808d116c7642ba106e8","datavalue":{"value":"https://doi.org/10.1145/2676726.2676969","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819785$0AE0E7A1-6DF2-4B00-B36B-CB06B35A3829","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29cd89fb66e054604b604d619e6397ef834460a6","datavalue":{"value":"W2114058479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819785$AE598B24-9A25-499C-A695-20DFCB428BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7edcd0db2d0371adb8982b2b77ab4987fb7cafc","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1acd905a665321160f99a45ede874d0cdeb78f5","datavalue":{"value":{"amount":"+0.8722253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$8D310820-6959-4FC5-AC94-C39E80AAB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00f8788cccb611caa614447bcd18a89289dd38c","datavalue":{"value":{"entity-type":"item","numeric-id":2441513,"id":"Q2441513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf538e8165130eba1dc5e4cfc99a346c74a527f","datavalue":{"value":{"amount":"+0.8670051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$4B570348-1FD8-47B8-BCC3-52539968F15A","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":"e103f6d74c1b9531282d9a26fc0362aa72630343","datavalue":{"value":{"amount":"+0.8635259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$EB855139-24C8-458D-AA6D-A428A749B063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6cb6554bc7865e9a36c6e78eae73511dfb412b","datavalue":{"value":{"entity-type":"item","numeric-id":2937688,"id":"Q2937688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d0d8a424b4d4be53a085ac43975333c9960c76","datavalue":{"value":{"amount":"+0.86304355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$DA1D5680-5B57-45FE-89A3-C7C958C7B828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187b62627e66cd358a52ec0d56e639fc73eeacc8","datavalue":{"value":{"entity-type":"item","numeric-id":4025341,"id":"Q4025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af6b0debac252e69fc1d05ad49a056e1165f544","datavalue":{"value":{"amount":"+0.86022055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$B783ED65-0D78-4BAC-B0D5-325755318590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0902e62c154f2906c158b95a4118e1ef1af9e75","datavalue":{"value":{"entity-type":"item","numeric-id":2709786,"id":"Q2709786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd881cbcb17c847ebeb929c1680215bc0bd8a10a","datavalue":{"value":{"amount":"+0.8557171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$A7139071-C090-4021-ACFF-E32D0F719342","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":"d36073dbe9f935ec2606ba9f8fd2b5db44308d50","datavalue":{"value":{"amount":"+0.8517778","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$5CA7809D-7C00-4CB2-A947-71B9F5C4AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23680f141fd2144ad476fea8a6ad3dcd9befc86b","datavalue":{"value":{"entity-type":"item","numeric-id":5756515,"id":"Q5756515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1df3bbf5af5e5f43019b2f948d71fe7eca0c91","datavalue":{"value":{"amount":"+0.84969985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$B9A02672-2F5F-4FB4-952A-4022F55CC847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5595962872fd51b787ebc84c531a427542754d60","datavalue":{"value":{"amount":"+0.8475634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2819785$7D0C507A-1EB8-4668-B8C2-9831B7865491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df010776cbd945e7cfb5c2992e794e073a54faed","datavalue":{"value":{"text":"Integrating linear and dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819785$998DC0CB-427B-4E93-9D85-6BA0AD9770A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819785"}}}}}