{"entities":{"Q1683455":{"pageid":1694196,"ns":120,"title":"Item:Q1683455","lastrevid":71968533,"modified":"2026-04-14T01:46:31Z","type":"item","id":"Q1683455","labels":{"en":{"language":"en","value":"Lazy reachability checking for timed automata using interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814301"}},"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":"Q1683455$44E5FE7C-A650-4AD0-A6FA-87A9EB2CD4AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4031f1743c52ae9b8cc8c95b342d9bb202704438","datavalue":{"value":{"text":"Lazy reachability checking for timed automata using interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683455$D7D4DFDD-DB79-4304-B478-B2862933C047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d3208097efd5084c648748477ceab8ae5cd36a8","datavalue":{"value":"1494.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$27965C08-8BC2-45C6-8605-171CB623D1DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86f1193a29d6e4d955aa73a4fbb3257aab543cf","datavalue":{"value":"10.1007/978-3-319-65765-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$C37FD759-42F1-4C8F-8913-71E24FA52131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcc69b7f846cbdb8b197e4c2b509fbd5727bebe","datavalue":{"value":{"entity-type":"item","numeric-id":1683454,"id":"Q1683454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683455$01D4261F-C548-468C-B7ED-1F854DF4B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32dc381fd422071be3266824655b7cf0738e9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":510893,"id":"Q510893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683455$227DC7E5-4877-48A4-B201-A3A22495C076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683455$84DB2386-598D-4DA6-B7C0-9B21ABA35B66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$35D06A13-A316-4FC6-A28A-DC0B59A5B2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$23DC1DD8-AAA1-418E-9C9A-899EA190844A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2970b2868a60fcb62525a6bbb5feb3b1936b36a0","datavalue":{"value":"6814301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$FF717E2E-11CD-4859-8D82-743C2AFDFA74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683455$DD99C48B-294C-4524-A4AB-912A00C66B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683455$99EEFFF0-4AB7-4195-B931-237F001DB82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683455$D5107E3D-64B6-4DEB-B28D-F774575F1645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1563c80c1997cad4bfc3414c853ea4ba3f278416","datavalue":{"value":"zone abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683455$9B6E61AD-CDFD-4B17-BFBA-A10D114AB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683455$BDD60FB1-CCCD-4EE5-9BBB-7A4C3E410AB2","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":"Q1683455$228EFF3D-ADE1-4923-B2A8-5DED4A84F077","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d11ac49c556946a93fb3fb0b438c216056078824","datavalue":{"value":"https://doi.org/10.1007/978-3-319-65765-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683455$5CB2021C-C604-48A7-8A2C-37DE11EC7F15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f18813dd74d630712344f5a518480b30b03b063","datavalue":{"value":"W2739957888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683455$30396F12-1D33-4CB8-9406-469BC69A35A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027091b6a3a458c099efb1c30e3eed1d846333cb","datavalue":{"value":{"entity-type":"item","numeric-id":5883582,"id":"Q5883582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6292c78b66ff9c23db8ece60b5128b44c7f1d0b","datavalue":{"value":{"amount":"+0.9383395","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":"Q1683455$4215CE7B-8DD5-483B-B90C-B3C858F2C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b003acadf8f1d36836ad00bf33eb83338dfe278","datavalue":{"value":{"entity-type":"item","numeric-id":1683453,"id":"Q1683453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fc4655972fb9e4b82c7a25a6a7c33006845057","datavalue":{"value":{"amount":"+0.90296614","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":"Q1683455$C59103F7-9D6A-4E68-B068-1B0A0FC226DA","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":"17338ed0b6581fa5208ebf154c643b1e9f39f513","datavalue":{"value":{"amount":"+0.8986131","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":"Q1683455$185ABFAE-42C6-4995-8638-C0084AC25490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de9230e193984f68b5a0812b6e79e0933c55bb","datavalue":{"value":{"entity-type":"item","numeric-id":453513,"id":"Q453513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c447a849ff0d39260e383f9427790e82db5ddc1","datavalue":{"value":{"amount":"+0.8967521","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":"Q1683455$16674019-03B0-46B3-A4B9-EBFB0B0D5D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc616493ac9c0129409a3d4e064a7bf6f62e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5469517,"id":"Q5469517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a16f500b95cf98a5472f7b58f02022c48f42330","datavalue":{"value":{"amount":"+0.89087","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":"Q1683455$8BE058E7-0B32-4211-9014-8C72CC1A8076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990e44b7e41a09fe288adacfcca18c6c2f68f46","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3be3996dfd0fbbbb2467e2b940055e57da930c1","datavalue":{"value":{"amount":"+0.89003307","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":"Q1683455$6E8538B6-5405-46C2-8883-5CB555DEE396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9820375f007d27aa50d4bc854f27bf0b338b516","datavalue":{"value":{"entity-type":"item","numeric-id":2044206,"id":"Q2044206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1a32054026ae86682996cb098776407621667c","datavalue":{"value":{"amount":"+0.889146","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":"Q1683455$2D842EB6-77F7-4D5B-9213-6D4509279C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8feb7eaa699a6344d0be029b1eb9ff4983278b","datavalue":{"value":{"amount":"+0.88342124","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":"Q1683455$A83D4455-C618-41AA-AB1D-B6FAC871AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f1d8cb04611106239ac66f4b20745e21c3741a","datavalue":{"value":{"amount":"+0.8791257","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":"Q1683455$0D219051-24C3-4829-BBD3-5B5EED229A59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy reachability checking for timed automata using interpolants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_reachability_checking_for_timed_automata_using_interpolants"}}}}}