{"entities":{"Q2945594":{"pageid":2956314,"ns":120,"title":"Item:Q2945594","lastrevid":85388513,"modified":"2026-06-03T07:43:15Z","type":"item","id":"Q2945594","labels":{"en":{"language":"en","value":"Fluid model checking of timed properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481829"}},"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":"Q2945594$56C71515-3FFC-4722-A403-0F7EB7E117F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53dcb58c5f1a8f589ad654a245d03115cde90f3b","datavalue":{"value":{"text":"Fluid Model Checking of Timed Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945594$ABF564A9-A2D1-4ACA-8BBC-86FD632C445A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8a1d39a936a8fcae1db089d715171eb641956ca","datavalue":{"value":"1465.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$28C4A07E-9458-4542-93D1-11A8B7995525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e4908b575390a86201779ec3b9664fd2865295","datavalue":{"value":"10.1007/978-3-319-22975-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$8D08DD9E-7A52-40C0-854E-AE2B3E149B65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c08f373ed6dd47de29844f015be15a75e84a8bb7","datavalue":{"value":{"entity-type":"item","numeric-id":259040,"id":"Q259040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$C9C0ECE7-354B-4734-A342-1BDFC9D1114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a55cca00df1f97bdf53ab40e0a05693e8713450","datavalue":{"value":{"entity-type":"item","numeric-id":1784957,"id":"Q1784957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$D0F44714-B791-480A-8BE6-5DD6EF73A7D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$F3FB2A9E-FC48-4900-91D7-501C92E11027","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-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":"Q2945594$0CB7F51E-9539-4B9D-9AE1-913E1A032AB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cd3de25769fb60a35a1bb1789dd4125f6b5ef82","datavalue":{"value":"https://arxiv.org/abs/1506.05909","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945594$265C7472-2A03-48A1-85FE-20C2B8F82489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$4358C58E-78C2-4C31-A46C-7EDD04A17058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a4f0677462222d4475b02cf1b1072d9dffd3be8","datavalue":{"value":"34K50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$68EFE443-6EE1-4555-BC02-F100F110E1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c4048aa565ff5bc0fb785289d76a3cea432032","datavalue":{"value":"60K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$19EAD588-E631-420D-96EF-0E82BE2C16E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$AC6DE865-721E-4391-A4CD-57C55258F015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$08C11493-9642-4AEB-930D-0A16C80BF403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f96f7f1ba61006321f74f6fe6cc3a7f2372743e1","datavalue":{"value":"6481829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$1FD4E15E-FE37-4332-8459-C51FCCFAFD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f7dccde269b602b64e741437acd3eda39f6c12","datavalue":{"value":"stochastic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$34F41048-110B-429A-B96C-24D7CE087584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacfe86c72f867f3ed102ab2bf3cc2bd7e834b49","datavalue":{"value":"fluid model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$34A9BE62-CC34-4A5C-8F76-62FE95BCE933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f5a8d7f7f19855f04d728bcb3cdb6767511744","datavalue":{"value":"deterministic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$4518F6F2-0330-4254-B217-F0694E627287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fe530da82a427f1f88567c47a31c3306e5effd","datavalue":{"value":"time-inhomogeneous Markov renewal processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$60CBD971-33B1-4373-9EB0-2053C01AAB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d9337e07a9e5095264897def2e75ccbce32e14","datavalue":{"value":"fluid approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$7884814D-43AD-402E-B74F-BC1011569865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2e6d54ab1fafc029dba1ae314f494dce1a092f","datavalue":{"value":"delay differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945594$42C9EE58-D151-4677-AD5E-2A411D907FE5","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":"Q2945594$3FDEDA5D-3357-4D93-88E2-B666C287F11B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d25a8e5c0e930716598d98e986aeebaae3685f7","datavalue":{"value":"W1190219380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945594$CDA43647-2129-4953-AC25-27A6A7977288","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":"Q2945594$499770CA-6DC7-4BAE-BD0D-9D117475C1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667cdb9e4b6b285f6a81eda61e6702c4820374a8","datavalue":{"value":{"entity-type":"item","numeric-id":1581775,"id":"Q1581775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$0E9C783D-BEF8-4B1A-B921-9A99DC183B2B","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":"Q2945594$B1218F8F-460C-44DF-A1DC-30D14DF81C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e74fc4804afe39b5e6db51f2480d74ffd206e18","datavalue":{"value":{"entity-type":"item","numeric-id":3000642,"id":"Q3000642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$FA0A09F9-2577-42D5-91E5-ACF1E33C48AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0a8ca6364b6b48cfc422da2356186258070da5","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$40E51249-6C37-4A6F-A0F8-6C70473D6658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2060abe92010ffda51ed785397f7babde4a1d20","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$CACB2DD2-999E-46D9-8870-4814EA0E1E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856405578d33de70beeec70ad0be0c48073c3516","datavalue":{"value":{"entity-type":"item","numeric-id":5892173,"id":"Q5892173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$67B14C7E-17ED-4DC4-8D36-D4FC689F36E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34e21332fcca10ed77e5ba35a0a29eeef9a6d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$F4FA38E4-5E4B-4F2B-A154-9B6D45B0E17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff4bbd63aabe46c68859209e2c1f1527454a2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3172860,"id":"Q3172860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$B7EB4106-982A-41F1-99A1-2F76D6A747B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82216c069c0d4e92b398f0b1f2381174e692ded","datavalue":{"value":{"entity-type":"item","numeric-id":4109064,"id":"Q4109064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$D8D24B9B-A0E4-411B-834E-519581693836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e2b35e08a5c81de8cbcef1d91df84879ad51d2","datavalue":{"value":{"entity-type":"item","numeric-id":980773,"id":"Q980773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$B7D1E792-103C-4347-9768-323E630911D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da80bea0d74392a4ae6533d6510317e0a1a2ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5711199,"id":"Q5711199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$6B79D244-4BBD-4EC1-A7FD-9DDA9AF8E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4998f6c0f582c2c6ea6dbff108c87439760c2a89","datavalue":{"value":{"entity-type":"item","numeric-id":2986937,"id":"Q2986937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$AD847D82-CB26-4147-968A-4236046E15D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c21564e44d81bf0cf1016a4ce5130e979f1417","datavalue":{"value":{"entity-type":"item","numeric-id":5947300,"id":"Q5947300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$9F34ED0D-24E0-4451-B48C-E5EDC964B2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6784d84169d9d6eb21e330342b64dbf4c8048a","datavalue":{"value":{"entity-type":"item","numeric-id":2830041,"id":"Q2830041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$CE4B0E86-5EBB-4AEB-BC90-E7286A47043D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8505b7e4e2e6dfe3262b50e055aaf2a4a873a80","datavalue":{"value":{"entity-type":"item","numeric-id":2729010,"id":"Q2729010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945594$B5FFFBAF-73DD-4645-AC36-F4FEEA5DB0E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a79fda1b04fadbda3344d4cc0dfa1c60f532e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f40be4fd722f5514e553b41a3a4cb4abb97eb1","datavalue":{"value":{"amount":"+0.844173014163971","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":"Q2945594$B334FC17-0B3A-4FB4-9BB8-AC14B37849B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd7bcf4160e4874a87eefd8c489da494216f6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c348c2dfb5e8fb094bcaa9c4ecb89d4daafecd20","datavalue":{"value":{"amount":"+0.8225417733192444","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":"Q2945594$0584A7F2-A299-45F3-A8D3-C57E50DDB32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5dd5f54675e8a1ae8f183feeea9baaf49f2c37","datavalue":{"value":{"entity-type":"item","numeric-id":5300886,"id":"Q5300886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c1c667827118391997e9a0f21740727d1ca57e","datavalue":{"value":{"amount":"+0.8013103604316711","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":"Q2945594$B855CE53-3DB2-4AC8-A66E-9EB9317BD965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdea1419eefd66c370ca242f3417911eb59625e","datavalue":{"value":{"entity-type":"item","numeric-id":1784959,"id":"Q1784959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0dd4e9e4ebd5bf675138e0708cb7e33c47d30e","datavalue":{"value":{"amount":"+0.7836737632751465","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":"Q2945594$2F2E6436-5B17-4DD6-9143-5D2BC95F13BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649c6a2777986bb091004ec09cd96a579d55c089","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca148275f7bd8bfa7b445aec7901e9ea30a59a0","datavalue":{"value":{"amount":"+0.7687651515007019","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":"Q2945594$380C333D-D0C5-47E5-9063-F6524FFBFC32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fluid model checking of timed properties","badges":[]}}}}}