{"entities":{"Q5176981":{"pageid":7206553,"ns":120,"title":"Item:Q5176981","lastrevid":52217393,"modified":"2026-01-21T04:31:09Z","type":"item","id":"Q5176981","labels":{"en":{"language":"en","value":"Secure distributed programming with value-dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411551"}},"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":"Q5176981$9A6709CE-D885-422B-BB8B-F46566E6FCFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045581a94b09679cfbea60a6c31a65106c2ea79c","datavalue":{"value":{"text":"Secure distributed programming with value-dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176981$3AC06FF2-3BA8-4E85-882A-00E9FECE9E4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649b4e430b2c6d82fdc1314740f8a58d8137a42d","datavalue":{"value":"1323.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$079949EC-88F3-4B82-82D6-2EF1FDD90A1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5abc546bc6c267ab3012d84c3853ffdeda102ec9","datavalue":{"value":"10.1145/2034773.2034811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$B9B3224D-F08A-4E65-9D8E-19BD3D4B38AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c43047206e58c5aa24afe8babee124065c6b77","datavalue":{"value":{"entity-type":"item","numeric-id":2819800,"id":"Q2819800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$1B4FF32C-D336-4861-AA3D-65FEB8BFAF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ec397e593de103ace6cc267fdc2f5cfcaf93879","datavalue":{"value":{"entity-type":"item","numeric-id":315432,"id":"Q315432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$2C7A170F-DA59-461D-8AB1-25AE51235621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$80998782-61AE-4C94-8536-E0208AB5E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$849DAA4D-7875-4E98-A947-7B69EE3BFE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"759b02b88d8ab0ac00e84ec524aa97310daf2b53","datavalue":{"value":{"entity-type":"item","numeric-id":1796505,"id":"Q1796505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$D56889D4-03E9-47AA-92BF-0E7B00C165B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$EF239C05-6809-49AB-A6F6-4E0D7705619D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53c2b631e99940a75af01dcb78353131f1ce5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5176956,"id":"Q5176956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$7A858377-9F94-4781-9E93-B6F94307043E","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":"Q5176981$E5208BBB-D614-4479-8024-0AA2EEFA4AFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"301b5dcb5b468e68204791147d77c250bdb8b632","datavalue":{"value":"https://hal.inria.fr/hal-00939188/file/secure-distributed-programming-with-value-dependent-types-jfp-1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176981$07B3C874-5544-4BA6-85A9-636095F5D5C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$534AF8D7-9AC3-42F6-8E7E-77758D98F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$75200908-8F19-413E-8A21-30103FC4E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$B763BE74-F00E-45C7-9F7E-C6BDD2DB2417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6006af0f06899c19e40b8e8393116820323f1deb","datavalue":{"value":"6411551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$3F07DB9C-BE04-4D47-BF59-94FE2FA0DC9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176981$B27D9CA9-11B0-4A4C-A1C5-772DD4F7EF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc733a56933bfa4d457be71cd2c6f3825c2dadc","datavalue":{"value":"security types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176981$3E1470D7-AC2A-4737-9E21-C616A415D91A","rank":"normal"}],"P1463":[{"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":"Q5176981$3356FBA7-07F6-4824-9641-BE264843AC8C","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":"Q5176981$546531FC-08B8-45A3-B88D-7DE2512A72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$5F04EB78-AC8D-4017-AE5D-3920E1FFA98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176981$E41740C6-3FFF-4B50-B88A-14C505A452F5","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":"Q5176981$57841ECB-5354-4CD3-B565-CC5287E2771B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d170b0582cc3a444198618c8fe3d9df9844c3501","datavalue":{"value":"W4240226860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$28D53F00-FBE1-4A44-96E7-F389EE7EC31E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"796a8f18db6d7872d95fea7a330507fa938e8d96","datavalue":{"value":"Q131118447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176981$33DAEACF-B5BC-4C49-9526-D658CB432AA1","rank":"normal"}],"P1643":[{"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":"c6826612517e337b2cda7a6d7e52d6dbcd164149","datavalue":{"value":{"amount":"+0.9840219020843506","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":"Q5176981$0DA85385-EB22-4F57-B562-AA2A401EC949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b07f7752f048810838a13b3751f9f4416cde07","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2f0d561e6c10a51d673bc3fd39876342429985","datavalue":{"value":{"amount":"+0.8236544132232666","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":"Q5176981$27227693-EAF2-4233-A4B2-CEB841B0E7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e67e2f7d4667eb157d292d0d84c8d97059c639","datavalue":{"value":{"entity-type":"item","numeric-id":5255101,"id":"Q5255101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f976ccdc5bb2d54df3e728853cca9b221fceff68","datavalue":{"value":{"amount":"+0.7773255705833435","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":"Q5176981$56525F93-B800-4E6B-BD0C-F7E982D58F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887e7d2cb5c7a3c8dbc948d2b805277fb405d032","datavalue":{"value":{"entity-type":"item","numeric-id":5176937,"id":"Q5176937"},"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":"Q5176981$F4D794D1-9189-46A6-8DFF-4E55586380BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b320f1d0dcd37ae92699af40b05f060e16a9d7","datavalue":{"value":{"entity-type":"item","numeric-id":3092172,"id":"Q3092172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b059b41df1e98ec5e3d0d79153c0b2b1c52c66","datavalue":{"value":{"amount":"+0.7545574903488159","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":"Q5176981$41CC70BA-7CBE-4F8B-BDA2-2610E85B0B43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176981"}}}}}