{"entities":{"Q5883582":{"pageid":7913133,"ns":120,"title":"Item:Q5883582","lastrevid":41642497,"modified":"2025-05-06T16:28:28Z","type":"item","id":"Q5883582","labels":{"en":{"language":"en","value":"Lazy Reachability Checking for Timed Automata with Discrete Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666553"}},"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":"Q5883582$754D68CB-7D23-4191-9848-98AB5504ACBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7c7aac6448297323b8758e2081f52c19dbb8bea","datavalue":{"value":{"text":"Lazy Reachability Checking for Timed Automata with Discrete Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883582$1893EC34-FD27-45FC-AFEF-7A1A8D09D5B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26041000993858ae617753d5f21477f1b5fe5381","datavalue":{"value":"10.1007/978-3-319-94111-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883582$421BC845-EEC6-4555-9798-2F2CB99274D2","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":"Q5883582$C48B521B-EC15-4010-84A9-E8B65022C4AE","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":"Q5883582$241C9E75-821A-4C54-B31C-5DAE1E7C8DAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$FDE031DE-2289-4C92-96FB-2FAAA01DC29F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883582$E38ADB88-862F-4C91-A9DC-5C6CFAE6122F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883582$BADF0675-F123-4F50-9357-BBBEBF20BD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883582$8ABF2C03-8632-4AB0-A9CF-4567285B8FEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73b78d86ef1a890b5c5aa1212c2ae2dde528419a","datavalue":{"value":"7666553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883582$11631F9D-BAE4-48B0-804A-C87530282556","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":"Q5883582$47D1F07B-7A31-4811-BDED-E12C51E47CCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae2a9accf8c5d968cbcac0edb36d7b4a0c466aed","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883582$37591A50-D622-4A32-A8FD-8E6DF332C5C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d00a056354a0f029822c42e30798fed198ba2d4","datavalue":{"value":"W2808006917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883582$35859DDA-6EF5-4BF7-B5CC-B4F295AD20B2","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":"Q5883582$654E63A6-1044-4CE1-81F5-D293072C2D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$62E7A093-0BBF-4D7F-BD24-CA7E03E5AE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$84C9D0B5-CC39-4CB9-B244-88B686DEC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$4C058512-DFF6-4510-B8BD-20F08F3E2331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88053da80a11a27ba25efe3cc5797f5fa3925f8","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$6579DC5F-86AE-4BD1-91FB-98EA383E9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$300B7947-4168-49AC-B144-F06C4B0E164E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4492d2d99d818756060ecb10d008a00a1e30e5c0","datavalue":{"value":{"entity-type":"item","numeric-id":2911614,"id":"Q2911614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$47CF07D2-6FD3-4607-90CE-435502F0BF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$6DAFE570-2059-48B8-9DC3-B731D8B87ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715bd9b495ec757bc4f5f54f4d99370941ab86b1","datavalue":{"value":{"entity-type":"item","numeric-id":4997235,"id":"Q4997235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$A16AB735-370D-4B6E-89AB-1169801BFB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$BA7EBE22-5EEF-4BDB-9706-709B9FFBDA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf83834c1b0bf86547708fc8accf3c2556a52728","datavalue":{"value":{"entity-type":"item","numeric-id":5308414,"id":"Q5308414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$70132BA1-7D72-4E23-9515-11F9BBC5B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee44d98375a6d2af75d461f99954d5a67da6c517","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$39B9058D-968E-48FB-A6F3-39D50BFC88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddff51776a7fabe671432d730e6b69166949e68f","datavalue":{"value":{"entity-type":"item","numeric-id":2827453,"id":"Q2827453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883582$852A0749-B9AD-491B-933C-D2B78EFFFC41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7730acfea263f219e89a5cde2bb3279cdfb699","datavalue":{"value":{"entity-type":"item","numeric-id":1683455,"id":"Q1683455"},"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":"Q5883582$495E41BB-CFC8-4684-9261-100936437A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc53d0c77576e696a55545bba3b8452b431c3368","datavalue":{"value":{"amount":"+0.90478504","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":"Q5883582$7AD0F02A-41AE-4E68-9E9E-CC52DB514E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25d587526a21e55c1c4e1a7c400737446c78d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2120808,"id":"Q2120808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734fe9c877590f941217aeeb6c6a20c3fa0c9ba0","datavalue":{"value":{"amount":"+0.9036372","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":"Q5883582$E4DCFFA3-6362-4CAF-977D-5F70B9C0363F","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":"2c0a1845c4ae4c3068eea17a59d700826e3f6e9b","datavalue":{"value":{"amount":"+0.90055376","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":"Q5883582$C22D88BE-EFC1-411A-866A-00B8A6395586","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":"e9bdf427841e936d74a164cce33dc807c9928f9a","datavalue":{"value":{"amount":"+0.8986335","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":"Q5883582$37442C9E-D94B-48F4-8AB8-0326FC352B6F","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":"64480b468b09a5c8f749e14217efbc3bfe39c9e1","datavalue":{"value":{"amount":"+0.8950863","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":"Q5883582$5BBCD280-58A2-4CC7-AE0A-6390BB44E9FE","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":"9c4c25e6b09b1f830ab4c9f2a4611575a2fd4cd8","datavalue":{"value":{"amount":"+0.89451957","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":"Q5883582$C096F5D6-1F37-4033-87AA-D3D5F1AB7959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5b347be1b954aab9a408891f7a23c66e451dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2368994,"id":"Q2368994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c349b7ba73191f8e6f1fce18e6846e071936369","datavalue":{"value":{"amount":"+0.88474107","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":"Q5883582$C165C3AF-5C4A-411F-8640-690FC32D6CCE","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":"6b747d32863c2943df88790da9c58d3bea880d99","datavalue":{"value":{"amount":"+0.88290656","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":"Q5883582$AD380C64-95CF-41A3-B151-73F2D5DE4810","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883582"}}}}}