{"entities":{"Q5176937":{"pageid":7206509,"ns":120,"title":"Item:Q5176937","lastrevid":52217219,"modified":"2026-01-21T04:31:03Z","type":"item","id":"Q5176937","labels":{"en":{"language":"en","value":"Security-typed programming within dependently typed programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411506"}},"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":"Q5176937$5AEDDDCF-291F-4BFA-A1F7-846C2079042C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57dd945b105210442f3091b00cc9cca3c34fa8ea","datavalue":{"value":{"text":"Security-typed programming within dependently typed programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176937$7F549F6C-9B56-4E98-A4F3-5C07222BB8A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7967c33c7ef01b98f704ce1d871444e6a5ad079","datavalue":{"value":"1323.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$2113824C-648A-49E3-9E5F-D057D222E81C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413bbd46d547f9cc0d540207f654ca0c188dabe0","datavalue":{"value":"10.1145/1863543.1863569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$1C6C7A04-020A-4F81-832F-4E7E4BC08B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113d571244200ecf4a01d9592a8378f31689465","datavalue":{"value":{"entity-type":"item","numeric-id":2692287,"id":"Q2692287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176937$32FC7BD9-B49B-474C-A4FF-895E52397AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176937$B6B72743-7112-4A9E-81F8-AD413F7A2596","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176937$BFB755ED-83DD-4082-A4D6-D267DFEFC497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176937$807E411D-CC31-49F8-A756-01F383BD24CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$0F5A3F8A-307E-45F6-9168-EE893C311D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$7A1029D6-6280-47CB-B4ED-A294A2A3DF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$19E8D591-9C51-4226-8D41-61028030FB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13c5278a4de9e901aace1984f1c2fbd9eb212965","datavalue":{"value":"6411506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$9AB2561A-7796-4D87-8B54-CD621A6BD7A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176937$CE7677F0-646F-49C7-AD57-854DA702CF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176937$5B58C368-EDFD-4085-8889-4437A230BACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee4aef54b019f9c6e77d6888f97efac1fa6edea0","datavalue":{"value":"security typed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176937$67D667FA-3A12-496E-A1CA-E64E73AE03D1","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":"Q5176937$A2802555-2D80-42C8-9B64-DA26A084155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a36bc1f7bbc81ffc389d921a198394ecc3bd746b","datavalue":{"value":{"entity-type":"item","numeric-id":23424,"id":"Q23424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176937$034AF033-6C1D-48FF-A276-B551318CAD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176937$AD6F2A89-D64C-454F-BCB8-E8DE3DF35CA7","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":"Q5176937$46DF674A-9F68-4A35-A51B-CD488427D9C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe297b8716325f962a0034fa0f1966c00934b9b6","datavalue":{"value":"https://doi.org/10.1145/1863543.1863569","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176937$C9ACB721-DDD4-452D-A285-CDDBB9D4D1EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbbc49a1c93d043920de55d720d1cd64f5f98bb7","datavalue":{"value":"W2106393422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176937$DABB2275-B189-4DB0-A905-BF3B7003420B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea56781d3c09ec69b0e2b8a52ead6eabc1f484bb","datavalue":{"value":{"entity-type":"item","numeric-id":2819817,"id":"Q2819817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c4942ba4dd5897997641c83b31450e423cd246","datavalue":{"value":{"amount":"+0.7961126565933228","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":"Q5176937$51D640D9-3C7C-4778-8167-431D2FD37251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be89f585b0a7d77e2b7fdd7fb2feced816a95e46","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee050c60ef671486d0838cad97910a4162bddee","datavalue":{"value":{"amount":"+0.7699338793754578","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":"Q5176937$C916BE02-6620-4468-8514-F99F9B1AFB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4e28a800e673f4f1172085914098a4ccd7613f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ccf8fb2faf5b3cdd93066ed6e311981487227e","datavalue":{"value":{"amount":"+0.765585720539093","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":"Q5176937$92731DD5-B2AB-4C10-8D7B-3BF2E7DF63F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbedd6ab3dfe1136ec5ec551c70488fa195c1012","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a24972c13ad0ef5908bf02407dc6858ac9a6d10","datavalue":{"value":{"amount":"+0.7605878114700317","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":"Q5176937$378778DD-3C78-45D3-84BF-D1EAE9D4BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d330218efdb6e0dae35fc2343de58b9a5b8340","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2766adcbbe1b27fb0a1a052d73c2f862bf8ca120","datavalue":{"value":{"amount":"+0.7517571449279785","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":"Q5176937$82790C93-C90E-4E9C-AFAD-CA2BF6CEB4D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176937","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176937"}}}}}