{"entities":{"Q3525763":{"pageid":5555667,"ns":120,"title":"Item:Q3525763","lastrevid":49092244,"modified":"2026-01-06T14:16:58Z","type":"item","id":"Q3525763","labels":{"en":{"language":"en","value":"Robust Model-Checking of Linear-Time Properties in Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5345272"}},"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":"Q3525763$DE148A77-0A02-4CC6-A470-6088BF99880C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b164a2d8e8038daba0a7f0e7fad97a19ebff316","datavalue":{"value":{"text":"Robust Model-Checking of Linear-Time Properties in Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525763$DBDFAAAB-0ECC-47BF-9677-A945834D9228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67eb2d9b1f244ea62e25fb478b008292b20582db","datavalue":{"value":"1145.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$B07D5B76-29E4-4C40-868E-8EDA4C6DF485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7318f7d4d8688767c00c3151067a9e48e9d8cfe9","datavalue":{"value":"10.1007/11682462_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$EBABB164-6709-418C-988C-784AB59EFD76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525763$51FF8E86-0F0E-4A09-85DC-30155F3055FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525763$956F682E-9389-4BB6-A0AA-530CABEA2113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525763$FFAEA73F-9A38-451A-96DE-52EABAC5456A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"31ad8c8f43840462d963fd37e194811ad99dd82a","datavalue":{"value":{"entity-type":"item","numeric-id":3525739,"id":"Q3525739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525763$916FEC18-96D2-4A86-ACC9-14C071114146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525763$2D079CA1-D78B-46A5-BE7A-6D7A06CDB0C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$A7D4A3EE-6F09-4A76-A998-4ABBDC213D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$35CA6E57-1761-4031-B418-FE3C0C80AEE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1810c55abac3b38a389e3ee60c8854196a31de6a","datavalue":{"value":"5345272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$ECDD8A93-B6E2-4F26-AE15-5B52CC238EC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a15e5d021a84d2da393b95edb454c46511ab0e2","datavalue":{"value":"implementability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525763$697F8911-71BD-4918-9F4D-3B6BB92C412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b31c871a712af97a3793a3b0601f0bc5638b033","datavalue":{"value":"robust verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525763$0D475CF6-885C-4BA2-8034-EB450B91733D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525763$CF7FA477-F19A-41CF-8B4E-CC99BEDE6B65","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525763$5E32BA66-DC43-431C-8094-08A9ED97C3F9","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":"Q3525763$E6FEC525-CA80-42AF-B565-0D0379D82C55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f690fa19bbcf87673422437606bb2682e6efefce","datavalue":{"value":"https://doi.org/10.1007/11682462_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525763$5D4176BF-C630-4DEC-B7C6-433D629B63A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa1650368b580849bdcdcafe7e147582291b3aca","datavalue":{"value":"W1594593035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525763$B75E0261-CE91-4227-8C98-70E02A360C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18b3fd4f659ce993026e553995bc8232eff34e2","datavalue":{"value":{"entity-type":"item","numeric-id":5101345,"id":"Q5101345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce2323c83a8abc2d576f64639e1d7cae5b51374","datavalue":{"value":{"amount":"+0.954923","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":"Q3525763$17D6C8D8-AFE7-4ACC-B476-2E1A90B0F10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d7b47907456a0abcdb9a656dbd121d8a32b156","datavalue":{"value":{"amount":"+0.94642365","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":"Q3525763$166F595B-066C-4879-A7A4-8972A5E8525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d7b47907456a0abcdb9a656dbd121d8a32b156","datavalue":{"value":{"amount":"+0.94642365","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":"Q3525763$3166FB3A-DA6B-44EF-913E-FFF2D72FAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a483e25692b2ec8ea5448b2fee9885e5397405","datavalue":{"value":{"entity-type":"item","numeric-id":5275328,"id":"Q5275328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba9ae2a66346baba6ffe9a97361398c695a96f2","datavalue":{"value":{"amount":"+0.93027914","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":"Q3525763$DAF17511-2F8F-499B-AFC6-4DB301551299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf8c0427b7070a3ef09755cbd311e9d1dd435e7","datavalue":{"value":{"amount":"+0.9246396","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":"Q3525763$1C02636B-1885-4412-95AA-D4E7730B847C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f4cd348aa41b133ec4c9e167b479ba45eb4b15","datavalue":{"value":{"amount":"+0.9240535","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":"Q3525763$76859400-F32E-4390-9507-ABA0FA4DBCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e157391b4a39894acc12889743a4461eb69859d3","datavalue":{"value":{"amount":"+0.9226419","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":"Q3525763$CBF31E3D-764F-4AED-B382-E36B6C48B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ad2898700374f6f01c6e3c5d90e84402800da6","datavalue":{"value":{"entity-type":"item","numeric-id":1587334,"id":"Q1587334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697e98a6683273464000f7963963a381b5f7db61","datavalue":{"value":{"amount":"+0.9174086","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":"Q3525763$07EEABEA-02D1-4B51-86FD-6F9152EE87DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6b3de4c8f25fb5fa76a90e63f05e78ab8d0fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a3a2187b1da20c90f30dbfc4bb231209348e9e","datavalue":{"value":{"amount":"+0.9143736","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":"Q3525763$10F46E48-3F7E-49EF-89DC-8530A25F47F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a0516400ffa8476584413a24c94d373728d170","datavalue":{"value":{"amount":"+0.91433394","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":"Q3525763$B5E08FFB-AA7D-4B64-8615-A95547016CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525763"}}}}}