{"entities":{"Q5741558":{"pageid":7771109,"ns":120,"title":"Item:Q5741558","lastrevid":92865119,"modified":"2026-06-05T02:57:19Z","type":"item","id":"Q5741558","labels":{"en":{"language":"en","value":"Vulnerability modelling with functional programming and dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6607274"}},"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":"Q5741558$58F9B809-6882-43B5-88E0-E002CCA35322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"456286f704d0b3b4f685d859149e9477d1ea3347","datavalue":{"value":{"text":"Vulnerability modelling with functional programming and dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5741558$6D9C0857-646F-4831-8B86-E45CFAC39410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"117d6e74cce337a70a3ae97aa441435df33f555a","datavalue":{"value":"1361.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741558$BDEFC511-C871-4E74-9619-6AA9D9865E57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ee39eda44d25321d87ef4d041089465ac32a67d","datavalue":{"value":"10.1017/S0960129514000139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741558$26F927DE-579B-4CB4-A3D8-6E406000B846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43689b7b8cfa0ad31bc1d0e29dc6ab20f5edf11","datavalue":{"value":{"entity-type":"item","numeric-id":2980969,"id":"Q2980969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741558$EFF86C4B-EDBC-4B3B-87C6-7F7FED9D930C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5741558$626E7B92-4058-404F-8D36-5B8964FFD1DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"983499d539ab43bbb6f5e5531bc62eb931d87235","datavalue":{"value":{"time":"+2016-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5741558$683FA606-70EA-4ACE-9A03-0177C64B4E41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741558$1B02C0C0-313F-46C6-8691-76FB7E6EFF9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a0bac98630ad1689ba237a2d6c1b319ab3dcd2","datavalue":{"value":"6607274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741558$D96407EB-1958-4BC5-8ADC-7271E2283205","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":"Q5741558$DAFBF439-54B0-4FCB-8137-6BE2B1073EBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0f875282dee39caa8b08f73f2f84f585a7ce2c","datavalue":{"value":"https://doi.org/10.1017/s0960129514000139","type":"string"},"datatype":"url"},"type":"statement","id":"Q5741558$CAD5EDEB-215D-4754-8152-B4AC98D188F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ca7b8995f7d2421bec335c32d84e623d07951a","datavalue":{"value":"W1975196827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5741558$5D4D55F2-FAFD-4667-941D-E4D9C95CF409","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b932d907963740168f0230308c034a01a59ef19","datavalue":{"value":{"entity-type":"item","numeric-id":832100,"id":"Q832100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05576f2d61972db65328b184cd017a7a3aa227c","datavalue":{"value":{"amount":"+0.6590567231178284","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":"Q5741558$672C1103-FEF5-4A46-B1E9-407996784976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8b2365ff56a8e774e58b0014f6323a17f124a7","datavalue":{"value":{"entity-type":"item","numeric-id":5146083,"id":"Q5146083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acefe859d4cee766f459af157e3f918ce6a6229","datavalue":{"value":{"amount":"+0.6471477746963501","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":"Q5741558$1E28F4C1-9D08-48D5-A9EE-030D4A21FFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efea5a54187a57a0e11f11227d9b83fb09842742","datavalue":{"value":{"entity-type":"item","numeric-id":5176960,"id":"Q5176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9cf36a73cd2c6d17d4816762c19b6bc8fbaf1f","datavalue":{"value":{"amount":"+0.6405084729194641","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":"Q5741558$DFA54120-ED41-4858-82EB-BF65899AEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddb3eb3567efda2e4487e73fa4dac6a308639e6","datavalue":{"value":{"entity-type":"item","numeric-id":4687437,"id":"Q4687437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df78e35294e1d97897ddf6987bf8e68390e7aa8","datavalue":{"value":{"amount":"+0.6382309198379517","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":"Q5741558$240B3017-E26D-4BEA-8792-23BD06A976CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939e7bcbd82e64258d9c327b8031099ef32e5564","datavalue":{"value":{"entity-type":"item","numeric-id":4217580,"id":"Q4217580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79dcda3d743244d28c2383946625eb14e78a311","datavalue":{"value":{"amount":"+0.6213085651397705","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":"Q5741558$70AD398A-AEC9-407C-B061-FAC7E6043333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vulnerability modelling with functional programming and dependent types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vulnerability_modelling_with_functional_programming_and_dependent_types"}}}}}