{"entities":{"Q439858":{"pageid":441625,"ns":120,"title":"Item:Q439858","lastrevid":61935342,"modified":"2026-04-11T02:39:56Z","type":"item","id":"Q439858","labels":{"en":{"language":"en","value":"Symbolic algorithmic verification of intransitive generalized noninterference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6067196"}},"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":"Q439858$BAEB6070-A50B-44E7-8E26-ACC1964E9397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bdde6ceada71176e8e2240f9cf77103ad1472e8","datavalue":{"value":{"text":"Symbolic algorithmic verification of intransitive generalized noninterference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q439858$3FC9297F-B0B2-4A6A-ABAD-59278381043B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d80ed7168acefa990f1a51d6518885257326c3","datavalue":{"value":"1245.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$26D00DBE-9ED5-44E8-9B53-61B49D6EB0DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4f32d92be0b7993f68f726be5f5ad43db6728a1","datavalue":{"value":{"entity-type":"item","numeric-id":352028,"id":"Q352028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$9B3C42C1-357C-49EE-B7E9-16E4BA10C29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdfaccea62685b452c7ec67ce851707a2b5db4d1","datavalue":{"value":{"entity-type":"item","numeric-id":439856,"id":"Q439856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$80B9ECF5-AA36-47E5-B42F-9FCF445528B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adb6cdd663b117aea89dd49c1f07e5b5c02558e","datavalue":{"value":{"entity-type":"item","numeric-id":378969,"id":"Q378969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$A11C0C31-6379-4206-8AED-C383D1FF8A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ea53afdff88894d5c203e538184ecad985bed4a","datavalue":{"value":{"entity-type":"item","numeric-id":349639,"id":"Q349639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$F56D0E37-33FE-4516-9302-3918E2D68F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8f0120b5981a62dfbb85e210a9f816306629907","datavalue":{"value":{"entity-type":"item","numeric-id":943090,"id":"Q943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$38B0F4CF-07B1-4C23-936B-E58FB1D5C86E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b603f6512fef6ae8133f8f1ff885bde2efd37af6","datavalue":{"value":{"time":"+2012-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q439858$7D3BD2E4-B375-4633-8D0B-3252BB8051FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4518711b4ec1c876672e59d9f36e2b834fbab7a1","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-011-4372-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q439858$A52377A1-1AA5-43F1-A680-465939772EBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$4107C1D9-45DF-47E4-A9C5-B3837C179633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$F591008A-3F33-40CD-AAF8-7B77C0215C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5c602e312b239a734bcc6be9d8c3b39c81f0ad8","datavalue":{"value":"6067196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$6EE305EC-A254-4696-BAE4-85B07EFD28CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e874bf90cc845768c0dfc88b3af0ebcfbcf976","datavalue":{"value":"intransitive generalized noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q439858$9ACB0D58-E3B6-43E8-857F-F612D2AFCFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982a5d28509fd17f7bf2262222e588146b750eed","datavalue":{"value":"quantified Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q439858$36AA7CB5-33B1-4B61-BEB8-AE7A52FCEE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffde7194d471b29859723e9aecd0265228fcfb8f","datavalue":{"value":"symbolic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q439858$B990DAE9-1007-4496-8B6F-883EA506FE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4274222846d407d8685fca734ab319dbdc3bc512","datavalue":{"value":"multi-level security","type":"string"},"datatype":"string"},"type":"statement","id":"Q439858$268A6AE6-243A-4387-8697-326B8BC7C7B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$D4656D2F-18B4-488F-886A-32AB19855174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eabe837cdf5ac407f1205ea3065718ba4df6111d","datavalue":{"value":{"entity-type":"item","numeric-id":40095,"id":"Q40095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$1D5CBB47-E7B6-4FAD-ABFB-4532813D205A","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":"Q439858$6A3CB596-29EA-44A7-BBA5-AB911FB59164","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f21d2bd59831da4c5f2d5c61c5856eeaf1e5e53","datavalue":{"value":"W2021177341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$9F07C11C-39D7-4F20-86FD-A0C8994115CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa7e804b6f791d6b1220fc289569976720cc94b","datavalue":{"value":{"entity-type":"item","numeric-id":4673959,"id":"Q4673959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$FBCF1B0B-59D0-4125-923E-E60910D9BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfc0ee950903f8c309edd0108b06869783e9b07","datavalue":{"value":{"entity-type":"item","numeric-id":2848479,"id":"Q2848479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$EF509A33-F443-4DBD-A1E7-690FCC15846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$62D9EAEE-5B56-4D2E-9A70-7FF9A624529F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$C5E6DC59-7225-4341-848F-02402AD7BFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$ADAD00F1-3EBA-478C-B47E-E04844BAAFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecdf8069fef8432a0a4f0e2a6ee08599e35fccb","datavalue":{"value":{"entity-type":"item","numeric-id":5897207,"id":"Q5897207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$A4EB6774-C033-41ED-ADF9-B507810F430B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b47e29efc2d446a5d4407ee68f470307959634","datavalue":{"value":{"entity-type":"item","numeric-id":5425450,"id":"Q5425450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$631CCFC6-9BD6-49C6-92D2-E26333683717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"193fab9d81f766ade8e1764fe54a816b91008c72","datavalue":{"value":"10.1007/S11432-011-4372-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q439858$1D64A368-4DE2-441B-B9CE-B026BE87583F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q439858$893C1B7D-8826-4AEA-954D-66DE6D935F42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdb3c8c07cca7b6e52f0f1207999aef8b7982ec","datavalue":{"value":{"entity-type":"item","numeric-id":2218982,"id":"Q2218982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3255137a2eb4f60265434bef7936591696c306","datavalue":{"value":{"amount":"+0.7820345163345337","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":"Q439858$B18FC30A-19FC-4948-B24F-EBF66F327B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30752afed9e1d04bdb0cb157cad4445fdeb0138e","datavalue":{"value":{"entity-type":"item","numeric-id":1688559,"id":"Q1688559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95152fee14b666fa2227a99861c434e251819c3","datavalue":{"value":{"amount":"+0.7653163075447083","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":"Q439858$4036CAB7-3E3A-4DC0-857F-EE60A0E86469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebd22aade95d7d44e2f17901bafe1e38eeda64e","datavalue":{"value":{"entity-type":"item","numeric-id":1680560,"id":"Q1680560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d53c95aaf99c2fbbef8e34abc277bc2eefb85a","datavalue":{"value":{"amount":"+0.7605919241905212","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":"Q439858$F3E6835E-2C48-43AA-95AE-6AFFAA4A03C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7979812e01c4c1b2bc1a2dedd2dab888164e0b03","datavalue":{"value":{"entity-type":"item","numeric-id":3092180,"id":"Q3092180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e154a32465ac71824e1c907a7b89455203f31f8e","datavalue":{"value":{"amount":"+0.7398615479469299","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":"Q439858$47B23634-0BC3-428F-B3E8-05F740933684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e285570ad8985431784f8c43ec132238862c0e20","datavalue":{"value":{"entity-type":"item","numeric-id":5490407,"id":"Q5490407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7828dd669540c6865178624f4f42a26e78442025","datavalue":{"value":{"amount":"+0.7318569421768188","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":"Q439858$F727E35D-F6C2-4213-AB35-70168E36972D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic algorithmic verification of intransitive generalized noninterference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_algorithmic_verification_of_intransitive_generalized_noninterference"}}}}}