{"entities":{"Q1941887":{"pageid":1952629,"ns":120,"title":"Item:Q1941887","lastrevid":51679058,"modified":"2026-01-19T10:55:47Z","type":"item","id":"Q1941887","labels":{"en":{"language":"en","value":"Checking noninterference in timed CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148352"}},"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":"Q1941887$381DE0F7-1F35-4A29-897E-6444BDD1F3C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a35f6fd947ba36ff251108e418483189600adb3","datavalue":{"value":{"text":"Checking noninterference in timed CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941887$26D35282-5BAC-41FB-9256-C207944DFE5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86105e0b484465d0ae5cc51c1266fc0d80ab39f1","datavalue":{"value":"1259.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941887$420A737B-AFFA-454D-A8FB-C0A82F5F9163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$D2600544-DBA5-4E16-BE59-5FD4E4C6ECAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83ea125c6e84065f272b0510c25b53177d0cef4c","datavalue":{"value":{"entity-type":"item","numeric-id":245522,"id":"Q245522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$5DC18349-F941-4397-9E4B-F94CFBA88F71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$B164129E-CEB3-441E-867A-677B25DA6DF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941887$72907684-9430-4236-9A70-BB668ED6EE9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941887$71282CAF-9F07-440D-9F1F-108F20C59915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dd2d1427550c63df313f5c5f706e56d399eeb2d","datavalue":{"value":"6148352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941887$5FD444BF-D1C4-4F23-856B-6C576F6F0084","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941887$3E359282-E42F-4F3F-92C8-55B0CBE4080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c62e5f61ed50e63e4f63ec40651f6e152677c7","datavalue":{"value":"timed CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941887$52E4B264-667B-48A5-9FA2-1E381719179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941887$CCE75FF3-5144-47FB-9416-1038E5E3828D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941887$35B8AB37-94B2-4D98-B849-F2F9D685B054","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":"Q1941887$F18F65C7-BC48-4D8A-8364-DB3FFD297B9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a206fe769938ca3f1af4e868acced568a16b8c40","datavalue":{"value":"https://doi.org/10.1007/s00165-012-0251-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941887$BCEEFB05-A4DD-4908-8E5B-3DA03EBE5658","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad18be01dc27576587c1ce9610b547d5b1f6a3d2","datavalue":{"value":"W2030009784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941887$D65C21A0-98AB-4A3F-AE0B-FFE3A851A7A9","rank":"normal"}],"P223":[{"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":"Q1941887$F6751742-F5D1-44B2-9F39-60EF94855B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5baee637b1cec03140cc3ec8041d7340b5ab0ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3146271,"id":"Q3146271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$05289233-F700-45AB-AAC7-08964D6EBF14","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":"Q1941887$247A74EA-2B77-4F54-B9D2-40803C5A6B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$5042C2FA-7442-4D31-832A-6A52AD93D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e24b5d9bfd25f5fd865026a7ab50c3bc8561f6","datavalue":{"value":{"entity-type":"item","numeric-id":2852365,"id":"Q2852365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$8C8B098E-1615-4F58-865E-A6173B177FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a16832655d058fb294cac06bffb86b23e4284b9","datavalue":{"value":{"entity-type":"item","numeric-id":3618832,"id":"Q3618832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$F0197C4E-7C6E-4F55-92E5-A16A37B081D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7838783b2fd2c7d10e9b14ac4ad6ab22b7aa8f6","datavalue":{"value":{"entity-type":"item","numeric-id":4472226,"id":"Q4472226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$3FC235A5-2D90-446A-8AC9-CA9EC5DECB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5a7ca91a23a18e146ed9a3e8facc0282fbd469","datavalue":{"value":{"entity-type":"item","numeric-id":4457839,"id":"Q4457839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$4DE7EEE3-EC8B-4DFE-BC75-22C0F5BCDB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$69FF3772-15E0-4DCB-A517-293A7D766A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$4DAA012A-92CE-4EAA-B8DD-6A9FE0518ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e327ad9a22154124b4ab415d614651dd22e497","datavalue":{"value":{"entity-type":"item","numeric-id":5262976,"id":"Q5262976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$F8732831-9FBE-4D6B-93FB-D92EB70D63CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941887$CFF3D30E-991D-41E2-A5C3-88DF73B79513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27703c39fbe2b058c6c0cf32ee42d850a81291a5","datavalue":{"value":"10.1007/S00165-012-0251-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941887$BEC56F14-9B9D-40C5-BFFA-1BA42C79AB26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b23b614c737f1f27c1b02f6c54e4ade6c39279","datavalue":{"value":{"entity-type":"item","numeric-id":4461952,"id":"Q4461952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b9b9c874a8ec2acf91bc3ab3b32b5f4a73649f","datavalue":{"value":{"amount":"+0.8209539651870728","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":"Q1941887$C78A0259-85FB-431B-8C4C-7E8828DE227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40028856c876e06c9a493f16de674cfe17b6079b","datavalue":{"value":{"entity-type":"item","numeric-id":2842610,"id":"Q2842610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078f25f85a1f4e07155c1b30d5ea260894afac5f","datavalue":{"value":{"amount":"+0.8071973323822021","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":"Q1941887$BBBF3571-E571-424C-BB4A-B26A8C540960","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":"36aaefb56df2acd932fdd8aa682c8d46bed5c63d","datavalue":{"value":{"amount":"+0.7896488308906555","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":"Q1941887$4045EB09-0E2E-4483-8960-7A1CA03E945D","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":"f418ca158c199d7ef01f919ab97df4efa62485b1","datavalue":{"value":{"amount":"+0.7811094522476196","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":"Q1941887$03EFAEC6-353D-4569-9048-CF52DE40E55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9841c49c8e6a493951afac9c579ca59e7381d8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897969,"id":"Q5897969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3137dc9173cccaed60ba47e271d738cbb4c1846","datavalue":{"value":{"amount":"+0.7727502584457397","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":"Q1941887$BC020F14-9EFC-42C7-8CD2-0A010962B0D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941887"}}}}}