{"entities":{"Q5155130":{"pageid":7184701,"ns":120,"title":"Item:Q5155130","lastrevid":91706855,"modified":"2026-06-04T23:51:51Z","type":"item","id":"Q5155130","labels":{"en":{"language":"en","value":"Formal security models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407030"}},"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":"Q5155130$4A24E41A-3BF5-407C-9E96-81E9E50E683B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9061ee4fb798c81e4bcb6975f82815ae4c34880","datavalue":{"value":{"entity-type":"item","numeric-id":5155129,"id":"Q5155129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155130$3C07FE94-2097-46DD-920F-27ECE62830BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d831a136a8c3291bfe95f04a1a80e048b37a4b58","datavalue":{"value":{"time":"+2021-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5155130$7105C2D3-E446-44A8-BE92-82C16715B526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c3017a51e5876e60155e64c908f8fa0591a1b74","datavalue":{"value":"http://mathnet.ru/eng/cheb1016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155130$1F2A2A92-3533-47A4-A27C-09FCD4D1E16A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155130$A5500BCA-E2A0-4C6D-9311-DC731DD3E844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155130$7EC9E412-80B0-4B2A-80B9-0BF21D28E6F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c473615459656f6646ce548d08b7ff81c2544ed8","datavalue":{"value":"7407030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155130$F396170B-BDA8-4FAE-8B2E-0A616B43B091","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14df4ea6c3cbd21eb7d71c8bd3ca10e0d061d1ee","datavalue":{"value":"predicate algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155130$4451BB24-349E-4375-8638-CD30F203A3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16d9d194f46adedc91196f5b7183dd80e72e7f5","datavalue":{"value":"formal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155130$27C73186-182A-47E7-A1AD-F5BEB2748FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4b9d4fa90f8be2cd6da9111a0c86356fa26d54","datavalue":{"value":"information security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155130$C1769B8A-7A1D-4309-86D4-DB90A5DE3843","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":"Q5155130$75AE8FE9-21ED-44B9-8377-988DCBC70247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1a5861f732fc5a51e9c8281bd171f982c0e635","datavalue":{"value":{"entity-type":"item","numeric-id":1037161,"id":"Q1037161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67106a108486884c2b7f9ca38c0ac375f509eb7d","datavalue":{"value":{"amount":"+0.7855148315429688","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":"Q5155130$6DD7F3B7-007F-4CE4-8815-4701D403CF19","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":"1871ecc960c6b9dd8e10a2ce3b2186a5cda48d76","datavalue":{"value":{"amount":"+0.782208263874054","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":"Q5155130$844D0FD6-8980-4343-8D27-A1CE972190B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98027e0f716b3926f160f08a33c19b70bdfc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2879989,"id":"Q2879989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf357fe114d940b158ba943e8419c7b1f2daee0a","datavalue":{"value":{"amount":"+0.7460238337516785","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":"Q5155130$F44A443A-87B6-4CFE-8622-1B390F2F27F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45da4d6bca9c22c5e0a2a24b6eca17f13a700300","datavalue":{"value":{"entity-type":"item","numeric-id":5146199,"id":"Q5146199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc2ab4407a4699fdc6f1a5fe895e2d760b0830a","datavalue":{"value":{"amount":"+0.7410822510719299","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":"Q5155130$ACD984C5-3398-4DA7-809F-275802868BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0962737dcb49e73c2b1e42aede1d9dbfa63c5ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2450496,"id":"Q2450496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e0c8f04713bb01bceff2ddb9a056f965924e09","datavalue":{"value":{"amount":"+0.7342660427093506","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":"Q5155130$743CC0D0-6834-4E5C-8D0E-285361213D87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal security models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_security_models"}}}}}