{"entities":{"Q3079920":{"pageid":3090635,"ns":120,"title":"Item:Q3079920","lastrevid":51200084,"modified":"2026-01-17T05:12:48Z","type":"item","id":"Q3079920","labels":{"en":{"language":"en","value":"A proof system for information flow security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860259"}},"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":"Q3079920$8DA4BFB3-1EF6-42E8-89E3-A85C84F65A36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b126abbd2069edb6895d4c94ad4666a1234fd08e","datavalue":{"value":{"text":"A Proof System for Information Flow Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079920$FA79F874-5534-4242-94CF-376739D01DCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"904691781c80717b6c8597e077f6333601c35ffc","datavalue":{"value":"1278.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$B2E6D146-7019-4AC0-B667-3B551E33B178","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb0ce35e57966c5f38f016a1c962d97dd8fa552f","datavalue":{"value":"10.1007/3-540-45013-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$C05A754B-7A0D-4690-9D94-F3D26E8057BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079920$1BA7E569-A31B-4D82-9C13-997E725086F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cece4f06ce9285573dab16ce2976ebae1a4f5f0","datavalue":{"value":{"entity-type":"item","numeric-id":294843,"id":"Q294843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079920$69A8A062-EE68-4833-8DBF-4C4328508D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079920$B164D290-1758-400A-A8BA-E1A14D5DFDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079920$CC7F9D8C-3A12-4066-A4A0-D9F1C375857D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079920$9652B4DC-7DEC-4399-97B8-644A4A7D158C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079920$55C750F6-246B-49D5-A6B3-5019769531C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$916AB0F0-4A8E-4942-8BB6-F292A72CE71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$AFC2EC71-25AB-49FC-9AAE-D425AFED45FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71ad81ad026a8157f5580fa958474d0fa5f15488","datavalue":{"value":"5860259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$05108CB1-E2FF-4DA3-A93C-9BCFEF51EA7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"376fb33089115c42859cd06f1af54e3737a2cfdb","datavalue":{"value":"Q62045718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$6EECFAAE-6F63-4E35-AC66-BA3C6361CC03","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":"Q3079920$FDCB7439-0A5F-4108-A881-7C892DC6A9E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34248ab0cd0a99cc056e12a8cbada49a2e83bdee","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079920$C2CA64B3-3647-456E-A770-36BE5256C160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96a8fbfd84d1e96a430b9ad2ec03fb51e248b549","datavalue":{"value":"W1522409694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079920$0F880BD4-394B-4C9E-893F-C97F57AD6F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865dac1e7d8a7efcd4ccf1242584b3934a4763b6","datavalue":{"value":{"entity-type":"item","numeric-id":4736985,"id":"Q4736985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323ab0ac66cd79a236e24d7994c5bc00a484acea","datavalue":{"value":{"amount":"+0.8994450569152832","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":"Q3079920$1198DD1A-C482-4354-B821-B9F14803462F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac22b8db5daa5027a17e225fce635872d40e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897373,"id":"Q5897373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe8bd0a753900679a9b642d738adabf147e3b5f","datavalue":{"value":{"amount":"+0.8779501914978027","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":"Q3079920$7C345B18-BA6B-424D-9B8A-BFDB0DEFB301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbfe04a2c1d4d273db6d9592e1dfe4e6f746025","datavalue":{"value":{"entity-type":"item","numeric-id":2996149,"id":"Q2996149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5405bb15c072aaa5bb63b3badcd57bdb1d030d6e","datavalue":{"value":{"amount":"+0.8633413314819336","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":"Q3079920$A8E427AA-8384-4425-AA2E-41E3BF2E8E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ec571317c2e1065f3c231b0b80a27d2b8f5236","datavalue":{"value":{"entity-type":"item","numeric-id":3420574,"id":"Q3420574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b38cc96b86e41ccc332a2904d349b4596e2849f","datavalue":{"value":{"amount":"+0.8224088549613953","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":"Q3079920$7118FB1A-7393-49C8-9FD8-4254F718F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344ee38f7db0b912b80efaed7691af11b3869c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1886452,"id":"Q1886452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93d335687196dc829cfbfc2c735f2e6c6de7b61","datavalue":{"value":{"amount":"+0.8120712041854858","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":"Q3079920$92974A98-3C3E-4AF8-9ED9-434603153945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079920"}}}}}