{"entities":{"Q2864391":{"pageid":2875111,"ns":120,"title":"Item:Q2864391","lastrevid":79490393,"modified":"2026-05-06T14:01:55Z","type":"item","id":"Q2864391","labels":{"en":{"language":"en","value":"Non-interference control synthesis for security timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236398"}},"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":"Q2864391$507CA6C8-A372-4395-A0C6-E992CD9D95B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f3aad71585c699c4e2990e172602632c4f6fe4","datavalue":{"value":"1277.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$660B3802-ADDE-4E18-AD83-6C3022ED5A59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633354b8994b9ca427b5ed3fbd4e2f5ffdb2f67f","datavalue":{"value":{"entity-type":"item","numeric-id":2864390,"id":"Q2864390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$377B6BD4-90A6-449E-8DA9-34A2A07ABEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$A158C35B-36CA-4053-A206-4FA8C9D723B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39b091dc6674e0b947c35795e09051c8bb42a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1269917,"id":"Q1269917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$232BDB25-8159-49DF-B976-9C886ECA6F48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$B957C778-7803-4435-AD41-524006CC83B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2864391$933C3ADB-A8BA-4B27-BC9C-B2BB4B642450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$5FB2D07A-B6FF-4405-90EA-50E1DBB414B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$15265C9D-7E25-4097-989A-52829292D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$A460590F-B9A1-4DF4-9737-605A69F69536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a0b4d765c0bfd6564f0f3ee087c01aa1d8be85","datavalue":{"value":"6236398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$D08C64C7-1095-422D-97B0-85539568B6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864391$11F9A741-368C-4AC9-8151-68D20597E3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864391$A1220A37-787A-4EA8-A86F-F81575131E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864391$0EDF4958-AA8C-4EEF-A8D1-1F475DD39F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864391$BB7C2361-CCDB-4DE4-A8FD-E957B904C0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864391$693D8D5B-56FF-4177-B637-195CD2DF30A2","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":"Q2864391$27F85DF1-2787-4781-9257-9DD4FB5B0AAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db77f5d6c47aea7102a2449b3e0d539a948df11","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.05.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864391$62AC3CB5-CF53-4647-89B2-A92CA03302A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbdca72cd489a0b6b42ea4aa58ef5ae72d1f692b","datavalue":{"value":"W2097042421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$D60934D2-93BC-4AFA-B307-3440696267E7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74690a6fc3e567aaef0c06186896b43a28e0bfaf","datavalue":{"value":"Q115044301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$05E054ED-B87B-49E5-8268-C432CC310E6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff017f5b33353d99911dd1c037f16889eae25ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$44D40C74-8703-4CF6-A6EB-BD8350C6CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c642425eb847a12bebd44bf584cb492e171406a","datavalue":{"value":{"entity-type":"item","numeric-id":4493880,"id":"Q4493880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$DD1A515D-0424-4FC7-9F58-250823818EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$ADD9A9E4-E86D-44D9-9B16-C3462E118B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde60e0ef75bfbd9a5b0da449156a08996026714","datavalue":{"value":{"entity-type":"item","numeric-id":4461952,"id":"Q4461952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$349E2E1C-314F-497C-BEAA-54801DA43764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169496c42828f2381ac86d8473fbd55e87d527f","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$ED4DFD8E-17D3-4921-9451-E19FBA538DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$688673D8-0E80-4825-8633-1B2C96D0D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$BC67A980-C6C3-488B-8B2D-64EC0130B5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$C0E533B7-5ACE-417A-AB91-8B83E47E118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$732D57B8-719A-4F8E-A114-543CC1D04E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c55ee5b5291ea603593b2f5048e900126e84281","datavalue":{"value":{"entity-type":"item","numeric-id":2763969,"id":"Q2763969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$D0C43A56-B13E-44AA-8765-417E321B13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852173822d859a9a46ae3fed91012fdd88c5eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":2709234,"id":"Q2709234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864391$C6FAD6F5-32C2-4005-8ACC-EA33D43C4ABE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d727609fe5a2f1a158e6cbe1cd57f762af52151","datavalue":{"value":"10.1016/J.ENTCS.2005.05.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864391$8D19546C-4390-4EB6-AE4A-D21F8F78553B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08bfb2170732fc7b367857a453241e6a49f33cdf","datavalue":{"value":{"text":"Non-interference control synthesis for security timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864391$09AF6753-FF45-4728-8BCA-F6EF327AD303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84412eb02fd73be4d1234fc8c1795c5ce6eb8146","datavalue":{"value":{"entity-type":"item","numeric-id":5265904,"id":"Q5265904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4a8e4d6d6fa2bb96ceea85209307f7da017379","datavalue":{"value":{"amount":"+0.9233863353729248","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":"Q2864391$BEE5404C-E1C2-4ED5-9F98-A63DB9D6B8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2cb9804e71420d22c5599076defafe9555004c","datavalue":{"value":{"entity-type":"item","numeric-id":3648818,"id":"Q3648818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee024fb08fc4e05c2973148b4bed62b54860042","datavalue":{"value":{"amount":"+0.8891607522964478","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":"Q2864391$D37AE57B-3175-4B57-BB57-9FB2863ADDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cacef61f480d4f9c11d6d3eca293e98f8ee55c","datavalue":{"value":{"entity-type":"item","numeric-id":3146271,"id":"Q3146271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0982240ecdbd355fbf578beae3e1d18fd6c45639","datavalue":{"value":{"amount":"+0.8098207116127014","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":"Q2864391$4E633B6D-C366-48A4-B8A2-C727852A2AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19fcc52ec6fd22e013dbeb073780f5d4c991ba6","datavalue":{"value":{"entity-type":"item","numeric-id":2866731,"id":"Q2866731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8a2b9536e62fb9224e0f52396cd43edb2d4aff","datavalue":{"value":{"amount":"+0.7896174788475037","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":"Q2864391$E43FBC92-9DB2-43FF-B594-3024638A894C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0381c3f49b5bdcf43664c99478a54099989e990c","datavalue":{"value":{"amount":"+0.7817944288253784","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":"Q2864391$9FD632E3-D05D-4E60-ACA2-978EB975E020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-interference control synthesis for security timed automata","badges":[]}}}}}