{"entities":{"Q4916055":{"pageid":6945636,"ns":120,"title":"Item:Q4916055","lastrevid":51697712,"modified":"2026-01-19T13:13:44Z","type":"item","id":"Q4916055","labels":{"en":{"language":"en","value":"Proving concurrent noninterference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155871"}},"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":"Q4916055$C9FC42E3-3FC4-47B3-A67D-A71175464A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60c0bff26bbb6be5305714c4890963a05e51dfa","datavalue":{"value":{"text":"Proving Concurrent Noninterference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916055$5B4C4FE8-B0AC-4182-8FF6-CA88B6503157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35532e38690e5198e4d2fb8c6057e9798f8f2122","datavalue":{"value":"1383.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$8FBEEE5F-4FC2-4559-9D6F-844930B7C0DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5427ac009a9953289840c0c6a02b10b173b9851d","datavalue":{"value":"10.1007/978-3-642-35308-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$D3D7DB35-7020-463B-BA4A-70B4B1362463","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916055$5DB9E68E-310E-454B-AD04-353B65CE5D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916055$22D9AB06-6614-4B98-BC1F-A39F85D51136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916055$D5361C49-2B74-419B-83C3-382B0277F5DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916055$0689BC24-4904-4C89-A87F-475D7ECCD8AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916055$406E3704-7A58-4FFF-B104-10EE6F6B2CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8696367d08cd75470d79181e48fb33dc1f20ca3f","datavalue":{"value":"https://eprints.mdx.ac.uk/15375/1/CPP2012.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916055$6BD46F44-C4D7-480F-8112-EE2A01778443","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$978AD9CF-406A-4DF6-8A04-D08392D6A5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$487115E1-34F1-4BF0-90DB-CA12FEE1334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$65815F98-970F-47CE-9853-CF2080D02FF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce5e7808d19da512e5ccbcb4ef4c7bf0afcfb9ae","datavalue":{"value":"6155871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$186B0FAD-F681-466D-9D5E-12BC15283B29","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916055$28B1464E-12FF-4B81-B223-04681E4A31EC","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":"Q4916055$B21897FD-C5EE-4CDE-9A67-F4A2C68CBD27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b88b0507e5a38c24b85d4b187885b4e37b9f126","datavalue":{"value":"W1733170706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916055$5B6BD657-1D7E-4B6B-A4F1-6CC01D417503","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c81f8ebb2cb1f154c18d248aba470585b50f90a","datavalue":{"value":{"entity-type":"item","numeric-id":5195249,"id":"Q5195249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e61d4920f43d3604a1157635f1acc6a342fb2f3","datavalue":{"value":{"amount":"+0.94436913728714","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":"Q4916055$A2BAB0A8-4D53-403E-BF19-8C42AE2BB10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c517a32e1acc82f2d99bb41ac1bc7756b9888be4","datavalue":{"value":{"amount":"+0.8247784376144409","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":"Q4916055$C93A2D23-4487-4EC9-BC8F-64A64D99683B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ceef99efb4f24cb192d0ef779a1f04780babd41","datavalue":{"value":{"entity-type":"item","numeric-id":5311263,"id":"Q5311263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35746de382e5282b6ec5623705a745514d7d6635","datavalue":{"value":{"amount":"+0.8201380968093872","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":"Q4916055$84FCAC88-FF9B-4418-AC3E-A6228025CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88b49a54dd50e5c1b09656907ea0e3acf258dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438705e3420539d636dce61dc2a433ea138d9606","datavalue":{"value":{"amount":"+0.8149542212486267","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":"Q4916055$2D5F27B3-514A-4144-B9DF-A3E5E9E762CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c627fee83162a10b7f15ae07d2cce803aaaeed7","datavalue":{"value":{"entity-type":"item","numeric-id":3553917,"id":"Q3553917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8881fe17d92570d1ec0af498149c086d19518074","datavalue":{"value":{"amount":"+0.807015597820282","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":"Q4916055$F7071C83-F518-41BC-9EC1-70A2D3EC7559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916055"}}}}}