{"entities":{"Q5255080":{"pageid":7284648,"ns":120,"title":"Item:Q5255080","lastrevid":52279439,"modified":"2026-01-21T08:28:30Z","type":"item","id":"Q5255080","labels":{"en":{"language":"en","value":"Dependent types and program equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445102"}},"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":"Q5255080$350F4B3F-E188-4C78-93E0-A2DB80372333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee784dd7da31be0f8991c36fe34da324a47958e","datavalue":{"value":{"text":"Dependent types and program equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255080$032F5405-F81B-4674-87FB-80209E7A6FB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a9b28de13cba7c8a2e5e2c1f3b02c60006f388d","datavalue":{"value":"1312.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$68557C22-B46F-4574-89FE-505E5E09ADBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a924e1471f6568e5416755ec26f58f058d9b05f","datavalue":{"value":"10.1145/1706299.1706333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$FFD70D87-E2EC-416C-BD61-8B1E39FE5288","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f53bc214c4118e2226c58a4920027dbb2a4854e","datavalue":{"value":{"entity-type":"item","numeric-id":277713,"id":"Q277713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$DD421EB3-7D76-4F50-9764-9CA275575E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"299d758e90a6a67648ca2eb97146665a2f76616a","datavalue":{"value":{"entity-type":"item","numeric-id":2156927,"id":"Q2156927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$E18CC018-B1A6-496E-88D1-4E219F2AC839","rank":"normal"},{"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":"Q5255080$FE701974-DFB6-4F96-BADE-61C243965934","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":"Q5255080$D66471B1-D76A-47AF-87CF-ED5F9D4B2025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$ACDC1021-B111-4D47-BBB1-16FECC6AEE18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255080$7C2A93A1-4745-4286-95A1-F0797F12DA49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c671158a2bf856e21a3b799b41e015a72939aade","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.2246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255080$93D4877F-4287-4B04-810D-64BA23BD0535","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$B8874EC8-D8EE-4FD8-A74A-FED3C1495DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$16B4D31C-A875-4110-BEDB-0C7FEC766910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89bc2014d1bb4d3f833ce3c0981588397fe8b80c","datavalue":{"value":"6445102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$E11ED93E-F1B5-48FC-B970-C37DDE9DB0AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255080$5C71D8B7-6781-4C9C-A111-88B9F712629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255080$7E1A7F0B-5148-44ED-9001-9E013FA2541B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$9ED0705F-0C91-4142-B9ED-FEE5A566E5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$49E60BFD-C6B2-473D-A740-2DE93C7C0124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255080$E6B1601B-DB08-4677-9B89-0DB7C27904CD","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":"Q5255080$06A82E9D-7124-4DAA-9E80-A1D7CB4085D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a92f179e852326134b68a80d39d48556e336391","datavalue":{"value":"W2129858500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255080$6B4B5B2D-49DE-4F97-B610-37755D2C7489","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676acc78143450b9c4ca5ecb1e6c35c2dea46e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4813221,"id":"Q4813221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1696efdcad5894448b18ad11a3c9c9eecb596520","datavalue":{"value":{"amount":"+0.7549759149551392","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":"Q5255080$DC0B93EA-79E6-4F0D-BF95-219D9A22F67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabf8859b4cd198e9ce07bff202860a87113858","datavalue":{"value":{"entity-type":"item","numeric-id":2128827,"id":"Q2128827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f828d87012798f942cae249da427e841bedb5b2","datavalue":{"value":{"amount":"+0.74825519323349","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":"Q5255080$D9239EC6-0B97-41DE-8DC0-BE0017F75894","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":"9f1cb1de27f4085ca745871e382b627bb7188ddd","datavalue":{"value":{"amount":"+0.7457249760627747","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":"Q5255080$6234150C-2A50-46FF-BDC2-7A49D571D316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5566aa157d74ed75a4871c1496799f69630af7c","datavalue":{"value":{"entity-type":"item","numeric-id":2819823,"id":"Q2819823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38780468f60a7cc5d13fe434160286773b061417","datavalue":{"value":{"amount":"+0.7363554835319519","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":"Q5255080$409340B4-E835-4E24-A818-461818C92DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ebe4ddd848408e9a3abdf05ed75657754d1412","datavalue":{"value":{"entity-type":"item","numeric-id":5277760,"id":"Q5277760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ba56a47d68ec00da73259495b65c3c9501c51d","datavalue":{"value":{"amount":"+0.734690248966217","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":"Q5255080$AE7D9949-E385-4D00-8C37-50B8A92E9470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5255080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5255080"}}}}}