{"entities":{"Q3297588":{"pageid":3308296,"ns":120,"title":"Item:Q3297588","lastrevid":80753816,"modified":"2026-05-06T16:55:24Z","type":"item","id":"Q3297588","labels":{"en":{"language":"en","value":"Parametric Timed Model Checking for Guaranteeing Timed Opacity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222918"}},"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":"Q3297588$226611BE-695D-4C87-967B-9161FFDC379B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d4f367f067fc2fafda53208fb560f3a38cef97a","datavalue":{"value":{"text":"Parametric Timed Model Checking for Guaranteeing Timed Opacity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297588$5227C747-A0EC-4DAC-B858-72FAE0760E8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fc18e40c658e0ad347cae7e53cf02ae1c97df92","datavalue":{"value":"1437.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$7B3C6D38-6D8F-49EF-AD70-844EDEE8A2FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77ec813200e7bfdda19594903fefb2648a92301c","datavalue":{"value":"10.1007/978-3-030-31784-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$4A09617E-7255-4719-A37A-AE08C6C21618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$455A9D4C-0952-445B-B727-EFAA62D9A05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a29a8668613ef6f9130a40b44c1110c148f42ec0","datavalue":{"value":{"entity-type":"item","numeric-id":488229,"id":"Q488229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$756BC6EA-3069-4B6F-A150-0B64C42966BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$3272F905-7565-4968-8FC6-68574429E0FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297588$FCEDE3B4-65A1-4DC9-AE8D-2BF340E03E1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c8cb763169e4ae0dcad1768dfc5a46a052cb69b","datavalue":{"value":"https://arxiv.org/abs/1907.00537","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297588$995B5482-9723-4B3E-9B68-7269803D5315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ec3945972369f037098652def2a045d4f3ef1e1","datavalue":{"value":"https://ink.library.smu.edu.sg/sis_research/4966","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297588$B8ED1125-2315-4CE5-9B0C-8AB8074498F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$48B75FA9-324B-412D-A514-F226B336A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$35ADBE25-999D-4B23-BC46-B03D06545D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2628c809cf48f7167ecacdccc1a976456d1b5d5","datavalue":{"value":"7222918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$2360E9E1-4D61-4A4F-9D58-0FD68F75A052","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6401619e352431331e46d2dd5113f80abc99bf8","datavalue":{"value":{"entity-type":"item","numeric-id":44010,"id":"Q44010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$F4F510B9-510D-4152-98C4-86A6DF381509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$FB07DD19-5F8E-49A3-B3A0-2F99C89BB1FA","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":"Q3297588$91754F0D-16D9-419C-8748-8D0EA6CD2F3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d38dc800b0692bab28714199c75d4a97a03c6f1","datavalue":{"value":"W4288088678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297588$9BC86CD5-DE84-4784-9703-109B80208E69","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":"Q3297588$7FB9EF23-3DAA-43D0-9761-A900F1E0056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$C55CF732-D63C-46E9-86D3-4B58E09F341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$23CF05B1-CFA8-4006-A3D2-6E399C82EC5F","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":"Q3297588$257721EE-2791-4C19-AE54-186003F2E57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b476df5e2859960853587d44b120de6c86df350","datavalue":{"value":{"entity-type":"item","numeric-id":5265904,"id":"Q5265904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$78C0BFE9-2D74-4B4A-9735-16C084142028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55e672d2a38bc813ad37c5e2319b4be48eebe4e","datavalue":{"value":{"entity-type":"item","numeric-id":2864391,"id":"Q2864391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$D31CA1C2-E007-4F88-A600-B7CCF5BA5FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$65073C7C-26AC-4156-83BF-29D1C67012C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf2ce330aed26a5810a4c85886a9bbb0c7639a","datavalue":{"value":{"entity-type":"item","numeric-id":3452345,"id":"Q3452345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$D5ECE022-FAB7-4CC8-8EAA-BFED13E53C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4be551975a19399041f673835c64be428e2743","datavalue":{"value":{"entity-type":"item","numeric-id":5217294,"id":"Q5217294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$1DE1FE76-522A-41A5-8487-2498FF4A02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc995377f0c1b37d878a2b72e90098277ba16f6","datavalue":{"value":{"entity-type":"item","numeric-id":2324192,"id":"Q2324192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$DD79A7D8-022B-40A5-AD0F-82138BE4E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178142847c1ed656b48bd7a0cce4a0adc5dae1b2","datavalue":{"value":{"entity-type":"item","numeric-id":6039400,"id":"Q6039400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297588$EF3F2C39-C1FE-45C9-B4EE-44105020F419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667a4327b01f79832cdf433c55b18990b508a5ab","datavalue":{"value":{"amount":"+0.90158135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$1FB0AEF3-F40C-4685-9D85-33E2F76CAAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c4d6d0e3af24db05b2b987863567c1b1361f4a","datavalue":{"value":{"amount":"+0.89987755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$B1025E77-E81A-4B46-8712-F7429FFFB6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8186a12bab447c11fd2e30f81d62a3384c64907","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac84704fe698235b4aa4c12ec21eae0080fdd53b","datavalue":{"value":{"amount":"+0.8995415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$27700577-78F4-474C-88AA-311834BC1B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099c755a57f3866e1c98b45ba91dd628314a9333","datavalue":{"value":{"amount":"+0.8985379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$7A22DE12-6CF9-46C9-9A3C-EAC5304A067E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324c3b6d0b658fef4bf6b7162780f75d8ad0570","datavalue":{"value":{"entity-type":"item","numeric-id":5480168,"id":"Q5480168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1e00a0c7b16a07274e732ec01415fd33b3f4fa","datavalue":{"value":{"amount":"+0.8924862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$553868F0-EE74-4B35-B178-EE282883B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7dff681205c5c4535243d4ff2b4589d41f19d2","datavalue":{"value":{"amount":"+0.89174575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$AE1D7521-B9DC-41E8-986E-C5397F146D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870ed6a9e0bf3050e78a9f529ae2c0e5d97c87f6","datavalue":{"value":{"amount":"+0.89163053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$0B63E730-ACC4-4D61-832D-AF6220E2DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017d0275c6347e3ea04cd48fa42f31ab4d7e0b24","datavalue":{"value":{"amount":"+0.88958967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$2E250903-6BCF-49E4-AA2E-6427862BAAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11fbe834f5d5cc57f184320c8537942a956f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5479159,"id":"Q5479159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb27fc7b83265dff8fab4382d1969b89420faa1f","datavalue":{"value":{"amount":"+0.8862626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297588$8CB34406-898B-46DA-8451-C5002D456B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric Timed Model Checking for Guaranteeing Timed Opacity","badges":[]}}}}}