{"entities":{"Q5936652":{"pageid":8113454,"ns":120,"title":"Item:Q5936652","lastrevid":47632291,"modified":"2026-01-02T06:42:01Z","type":"item","id":"Q5936652","labels":{"en":{"language":"en","value":"A per model of secure information flow in sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1614159"}},"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":"Q5936652$7C9A6CEC-CD6C-4FC7-8112-8000F7D568B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b1cb59c87127259d9400bfa77d6e3b56d2b8164","datavalue":{"value":{"text":"A per model of secure information flow in sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5936652$477DF98E-99FD-484B-9CE1-4D53A404948D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f434a5fa88d2a60105a5f7b1c7fd6637434587c5","datavalue":{"value":"0967.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$4C8446AC-B9D3-4362-9B34-C3DB3F6CE4BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d79a022e558df35302936277ee92b21ebc1ad088","datavalue":{"value":"10.1023/A:1011553200337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$DA3957C1-4D30-44CC-93D8-A2D77289784A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664326608b60b0e4d956a171be45d3478547f8b1","datavalue":{"value":{"entity-type":"item","numeric-id":187613,"id":"Q187613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5936652$4EFEAA26-6108-43F7-A643-828880041E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d4498e9df0dc0431bf8c42d1881dfda1cb2325","datavalue":{"value":{"entity-type":"item","numeric-id":187614,"id":"Q187614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5936652$6BC6DE4C-416B-4D25-9711-D6E73E938F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5936652$5E788510-515B-484B-9670-E02A24D4CD09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a43adefc0e2387468f62816a0a1cfc8a0f64a751","datavalue":{"value":{"time":"+2001-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5936652$8AD5CF1D-C215-4D50-BB41-D75EED814E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$95465FD2-71DB-4FD9-AA27-09A207DC6E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$5D2E6719-869B-4063-9861-EA24529CE94C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87375ce816531d9f6f18a7d57466f350ae3cf63","datavalue":{"value":"1614159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$78911CEE-E3D8-4F4C-A266-C24A5DF8E731","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$13EBD916-DE03-494C-BD85-A95A1389398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$99968F26-DC0F-488A-9851-18C51CF439CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753a4ef19e43e98ad0ea352274a52de9f8050b77","datavalue":{"value":"confidentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$AD2C47E0-1406-4D45-87CB-2102464EA05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$51F5EA53-BCC3-4253-A633-97DF931E5278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$4505A098-0E30-47A1-BBFC-C19C5E3D2971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$DC92675A-9F8A-4AC3-B354-163112C9F50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4746a168fe180b0d9d514affd5775393115bab","datavalue":{"value":"probabilistic covert channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5936652$2C12072D-7DC8-4D4A-B428-DA9789234049","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":"Q5936652$15FFAE57-6707-470A-851E-7531D39A66B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2f89a784afde84da9cc5a79bffdf5c6cc89f270","datavalue":{"value":"https://doi.org/10.1023/a:1011553200337","type":"string"},"datatype":"url"},"type":"statement","id":"Q5936652$6DB9BED3-DD5E-4777-9ACA-504E7419B936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a15abb3d7d24131f7e60879843e6da587786e64","datavalue":{"value":"W1519566437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5936652$7AA44703-99CD-44AD-B825-219232585547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9a90e57a8ba7f9bfa965c49fc81c86b69047ad","datavalue":{"value":{"entity-type":"item","numeric-id":2724215,"id":"Q2724215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac0346dc1b6c600075e9c79ef22b3aa5837a38a","datavalue":{"value":{"amount":"+0.8302954435348511","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":"Q5936652$4E15FEBB-7674-4528-885E-7EEF31AD2A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9b643944cd7d9d8464fcc857511eb0de61f38f","datavalue":{"value":{"entity-type":"item","numeric-id":3619469,"id":"Q3619469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac0346dc1b6c600075e9c79ef22b3aa5837a38a","datavalue":{"value":{"amount":"+0.8302954435348511","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":"Q5936652$94466AD3-9141-4998-AA54-0CDB2D4E1091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207cef1f9debe8bf2839f9ab723c6bd67fe1a2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b797aaecb7d34b18e75b66002d01132ee934e9","datavalue":{"value":{"amount":"+0.8240212798118591","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":"Q5936652$65FAB60B-5D8A-44E9-8EFD-2F50C794D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7524001ad7cfe5fa3f914c4399d26a49e5288ec4","datavalue":{"value":{"entity-type":"item","numeric-id":826055,"id":"Q826055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e41a9990c4c9dc779775e3bc25b63134ac44776","datavalue":{"value":{"amount":"+0.8014652132987976","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":"Q5936652$462720A0-2124-4AE1-BAD3-BB767A3F1114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73027fdf228840babd6caf2669cd2e60e53d82ef","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9922a7e1e371fc073a1b0c8cb99c6de6372b4f","datavalue":{"value":{"amount":"+0.794876754283905","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":"Q5936652$DEBD3E9E-2921-4DD8-A8F7-C14F0DCD76FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5936652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5936652"}}}}}