{"entities":{"Q6663513":{"pageid":14274670,"ns":120,"title":"Item:Q6663513","lastrevid":100173044,"modified":"2026-06-05T21:33:07Z","type":"item","id":"Q6663513","labels":{"en":{"language":"en","value":"Robust probabilistic temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7967312"}},"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":"Q6663513$D4442789-01BC-4BC6-B4E9-54BE65EA9921","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951184fbb1beb8ea79d2b6ed9c9b927854e4902c","datavalue":{"value":{"text":"Robust probabilistic temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6663513$C4358C51-20F7-4AC9-B056-887D867E38D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e233769871128d8f008663434898727658c6c5","datavalue":{"value":{"entity-type":"item","numeric-id":6108435,"id":"Q6108435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$90B30DE0-5758-4B60-AB55-0F59519F07B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$69898A0B-9E08-4D68-9BC6-E0B2BE8BEE20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b939f7d6bb04335f584ac4f12e27b7d35776737c","datavalue":{"value":{"time":"+2025-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6663513$09D42ED8-7A52-4ECA-A5D7-F73093DA8C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663513$D89E382D-5E79-414E-B5A6-04F661640D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663513$3D699BC7-7FB6-4AE2-822F-659CFD6A0A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5498e6d826028d4e3481574fe72806113f8848d8","datavalue":{"value":"7967312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663513$C9A01714-434D-4B81-9FE1-BC18E93C8EFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa9777db6a93f9be9f42c1ec5f56f8259f8e4d9","datavalue":{"value":"probabilistic temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663513$FF40FF40-FC1B-4A11-B195-94BBD225A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663513$C0F97272-B25E-4D24-B5C9-F86B00251C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6663513$C7039142-458E-4D8B-AA0F-5F8C0BA1209C","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":"Q6663513$6C18E231-5D98-4131-8475-11BE4037F319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7b608417baa42e9ab37c63b9284904305c6780","datavalue":{"value":{"entity-type":"item","numeric-id":5034230,"id":"Q5034230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$27C4CCD5-DF6C-4CB3-AFA0-ED225960FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$FE5BF858-C5C4-496C-B30C-0149C64A4CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b03b52974b5d4f87bc728ee1884038bc0323c6","datavalue":{"value":{"entity-type":"item","numeric-id":6108436,"id":"Q6108436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$030E905A-A56B-4E19-895B-F3665E701388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb681c3dab1674d5fb688e67bab5a2c710a002ff","datavalue":{"value":{"entity-type":"item","numeric-id":2672232,"id":"Q2672232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$3E137478-A6D0-426E-9AE9-C7AA5D4E2423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7508a98f3ac131f82183b5266a27f632e776610","datavalue":{"value":{"entity-type":"item","numeric-id":6545584,"id":"Q6545584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$CAB1E0F2-8BDE-488F-BD6B-EEBE951E145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$85E0C60A-353A-4460-A547-2900D75CE262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0af97a0ac645fba77ff2c7bddcc3df639abd969","datavalue":{"value":{"entity-type":"item","numeric-id":2465364,"id":"Q2465364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$8518B869-712D-4632-A321-B8F4279FE0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$36C40944-B13A-4C47-A181-AEA51FB41FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$467996CC-8A61-4E91-8C7B-2EB5E8B548F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2478e7f52bbdc0e61f6d5a6464f08ac3dc0c6495","datavalue":{"value":{"entity-type":"item","numeric-id":6098148,"id":"Q6098148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$CA77E298-4EC4-4D3D-AB64-BAECC7991711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8433d36f9953e72693f38149c06d29f0ff92b1","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$25E4B060-8E42-4DD8-ADA3-6599D820D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78da1ee870312cbd9637b6547d8105ccf45fa7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2864840,"id":"Q2864840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$2D589FD9-8883-4088-9912-9E0684BEB237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034eeae843d1da67f5099f843089ae0d876cd87","datavalue":{"value":{"entity-type":"item","numeric-id":5704221,"id":"Q5704221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$28A1389C-9428-4B98-90D2-A2205828D7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2cc7d02c03df769cfbba5c30a3b9fccf231a54","datavalue":{"value":{"entity-type":"item","numeric-id":5322137,"id":"Q5322137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$47F03BBD-80D4-4015-9431-13ACDBEADB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e5170e2d5498d27175c0eb144714c61341e0cd","datavalue":{"value":{"entity-type":"item","numeric-id":6194591,"id":"Q6194591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$E9F67A55-02D2-4285-B08E-4E1B32D44064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4e6c6c3b20bc28fd2b9d2789ef4784375bc476","datavalue":{"value":{"entity-type":"item","numeric-id":5169660,"id":"Q5169660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6663513$CB39A032-7766-4AEA-BF49-E6365FECFB92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26d7870f661deca616a8a56b8b9156101d0f2bc","datavalue":{"value":"10.1016/J.IPL.2024.106522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6663513$13B48C32-DCD8-4CDD-B9C7-E67CE5AF8017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robust probabilistic temporal logics","badges":[]}}}}}