{"entities":{"Q846009":{"pageid":847857,"ns":120,"title":"Item:Q846009","lastrevid":64779867,"modified":"2026-04-11T22:10:35Z","type":"item","id":"Q846009","labels":{"en":{"language":"en","value":"Robust parametric reachability for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664807"}},"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":"Q846009$32829BFB-FEF2-4AA6-B1DC-C6D95F990472","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"451748b11dddffe674e8175fb6794c9d8bb0e18a","datavalue":{"value":{"text":"Robust parametric reachability for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q846009$9BEBFD5E-BEFE-467B-A2EA-EA70169310D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17bfafb8c869f286f9ea1854926cea979d7063fb","datavalue":{"value":"1184.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846009$03401DBA-5E7C-4A47-8C88-F6F6D988A3EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$46801046-F74C-4DB2-9D08-76D3B2E2666D","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":"Q846009$E631BDCF-92B3-4FCE-9C1F-C92FAD57EDC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q846009$F63ED7D6-63E5-4EA7-A807-5BE59894F0F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846009$DB0D4B88-ACD5-4F21-A530-A0127FC8C516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b026d8747fc1970a330ae3866ab77467da254762","datavalue":{"value":"5664807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846009$77087CA2-4B83-48E9-B9DE-ECE3793219D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$5DAC2B99-3C71-40D3-8911-64AFCA96F228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$D33361E9-91C1-4C3E-A656-C501B24F8C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$AAFE5A19-FC03-46FE-9684-5FC7947A99FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$6EF5B47D-C3EC-4395-88AA-FF2FB735B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$58273369-09F7-4288-BAFC-A67D522F1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$6CC37D03-3B64-4BB9-BE39-103A6586E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q846009$0F8D2E7F-0D71-4DE9-AE0F-5D414B57DA3F","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":"Q846009$16E0DA97-6458-4A8C-B7C8-78104BA2A6F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d1af488e5970144538007cea2a9101fdf1999de","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.11.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q846009$1164EA45-4349-4396-8AB8-20DC57DAA3EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1764e2c9a67480bee2eca6da7f98eb36c406202","datavalue":{"value":"W2077321406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846009$6829D6C5-32CD-479D-BE6B-1594A9626629","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":"Q846009$87B63E6D-5360-4D75-BB3A-657BC8A3F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c450b8a33c35910d085b987e302a296bcd3273","datavalue":{"value":{"entity-type":"item","numeric-id":4938622,"id":"Q4938622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$7DD35095-792A-4372-9EB3-23407518E679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$3C7EE085-416F-401D-A3E8-9022E20DED4A","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":"Q846009$A71D0BD0-BDA4-4B98-B6E4-5EBA70875B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271962d85602043f4192c764dbe7df02ec403d76","datavalue":{"value":{"entity-type":"item","numeric-id":4418693,"id":"Q4418693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$196F6FFB-2452-47B2-8FC8-79200EA5C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5ee1b7107d4e5f3dc4ce9318be843e502b8bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5191509,"id":"Q5191509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$65022446-66B0-4B8B-80BF-5D04266EF8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7411117297f7bebcc3af0a6f0da10ebdf204a915","datavalue":{"value":{"entity-type":"item","numeric-id":4736580,"id":"Q4736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$79C1D924-F214-44C9-B45F-EADBF780424E","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":"Q846009$8E5CDC6A-5DC4-4EE0-B6F2-2A32DA2B38A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$3CB3CF8C-A886-4432-BB27-43EF5434AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q846009$A74DFC9C-F689-4822-9ABE-0F1C16CA15FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986a26126b4d8358d5e808519c1a47e05f928710","datavalue":{"value":"10.1016/J.IPL.2006.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q846009$2FA7BE87-798A-4B27-AB73-539EDD7D146A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcebfb23fc7c455d9a3e68111442f34be8c2da60","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c561839bcf2139ee09bb4d52e4e066f95a00964","datavalue":{"value":{"amount":"+0.8564621210098267","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":"Q846009$CE82CFAA-C8FC-43A8-A6E4-C61C60F3792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5933d918927c86bdd60964c30e2e52dfded79524","datavalue":{"value":{"entity-type":"item","numeric-id":5168513,"id":"Q5168513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0988efff266dc395c6b28f57a373e68a52c23a03","datavalue":{"value":{"amount":"+0.8487255573272705","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":"Q846009$8C87CDD3-8F69-44C8-8C0E-005C90F3E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d941a55ddfd817410aee02551a1a656da1ab499a","datavalue":{"value":{"amount":"+0.8238813281059265","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":"Q846009$D42B19C4-4956-48CB-B518-ED39026859AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7f725fae77bca57de8c2d46157bfe8a578ccdb","datavalue":{"value":{"amount":"+0.8210643529891968","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":"Q846009$9C6CED0A-4F97-4AF9-93E2-5D436C042908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe37c6adb2d02fca697ffe04d0d07a47db5a4bf","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45eea6a742a18970c58167bd589db78118ca59b","datavalue":{"value":{"amount":"+0.8200119733810425","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":"Q846009$322C2B4C-9262-40DB-BDF4-C4E3793276E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robust parametric reachability for timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robust_parametric_reachability_for_timed_automata"}}}}}