{"entities":{"Q2373877":{"pageid":2384620,"ns":120,"title":"Item:Q2373877","lastrevid":50130062,"modified":"2026-01-13T06:01:39Z","type":"item","id":"Q2373877","labels":{"en":{"language":"en","value":"Symbolic model checking for probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171488"}},"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":"Q2373877$FF4E4E05-7E32-42BC-BF36-2124F45EFB06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ce6367ae6435bbb570d1ed2689ff6be122adc29","datavalue":{"value":{"text":"Symbolic model checking for probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373877$B447FB7C-8865-4ED3-94C4-4246BAC15AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ebeed776e9878f0aa8620b6208812a122f51791","datavalue":{"value":"1122.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$AB5538E0-360A-459E-B8CE-693664AB8874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$A0CDFD87-9A7F-4FF7-961D-434D2B9DE83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$398EE0C5-AF34-4072-BB08-6F3952BB9DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef644520868ad4c5cf8cd65ad73911c814055439","datavalue":{"value":{"entity-type":"item","numeric-id":846014,"id":"Q846014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$434E53AB-A515-4C7E-9D7F-776514631DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e472dc220c961e6fb7219c0eea81563de85288","datavalue":{"value":{"entity-type":"item","numeric-id":2373876,"id":"Q2373876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$A9472335-33D2-43FC-B509-40CF6DE92824","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$6BAAA170-FC04-479D-BAAF-24326CA908BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373877$E6A4988B-DC9A-4CED-BEC2-527B3AC8BAA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$73685A0F-1F40-4B9F-AE18-12B9F2EF96FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$0CAC6813-9A39-440A-B158-D9D58017E615","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e7e87f5d3b01c9c863032e88ed7f39fe48ea38","datavalue":{"value":"5171488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$B9A1272D-C098-4A7C-9720-ABA45AAE68FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0413e3734b1c63e30c9feeb7b4319df8f827145","datavalue":{"value":"discrete probability distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373877$743B2799-2213-4AFD-9CE9-132B08972E53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$D32000C7-9492-4A8C-BE22-F254B877AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$E789D157-D38D-4AAD-8628-366CF866C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$6AC6AD75-725F-4C37-89D8-4443D61CB382","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":"Q2373877$6FD9BB88-F0E2-4CFE-B9A6-D2D9AE86F18A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f94eb867f03511d64ccb3b3df66659d7e2084809","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373877$A7B3AC4D-6182-4504-844D-953D2A453ADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69131fd344dae1c0939aa0983058b757a8f1b765","datavalue":{"value":"W2095602520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$B15BF634-6D46-4FDC-BBA8-C1C80C526438","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$A928E3A6-37CC-4B53-AAB2-04E7A6429A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$433D2B17-7FB2-4170-A1BC-E2F4D74FE134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$831CF90E-4C41-4FE7-BAFE-2084594EF2F0","rank":"normal"},{"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":"Q2373877$A23C1076-5A51-4254-BBAD-DED81C45C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$728D69BF-1024-461C-8C6D-8062D4E4266C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68db716c887d5568fdebc4c4887e66ff39f5fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1402478,"id":"Q1402478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$312EEA36-A242-4395-9396-7ADC41F40C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be85080d11fddd5ae2d99ce5177bdd9222e6303","datavalue":{"value":{"entity-type":"item","numeric-id":4813204,"id":"Q4813204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$FCC924AF-D301-4339-A657-25B82F589EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8949995d2915e39d219e277c8caa1eb294fcf85","datavalue":{"value":{"entity-type":"item","numeric-id":5717504,"id":"Q5717504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$B44C7335-D985-4CC4-B41B-F0C2D5901F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$6D1F7FA8-2740-4785-B0DE-0C7B0AB487D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$57FAB17C-A1AB-438C-8587-5A767FA7303E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$4B2536B4-23D7-48B0-9C12-3CE91D1CEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60edc7eea947e115dd0db0db26305a30610bfbeb","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$24CF0306-F14E-4096-8B27-ADF508267DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$AFB3E3BC-9934-46D5-86B3-C4D17A8473A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771096eacbd8ecbc3cd371619bc85cbb2c2d7025","datavalue":{"value":{"entity-type":"item","numeric-id":2561156,"id":"Q2561156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$881B7491-4A27-45C5-80C8-B4AF1E5EEDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58166d2dec15bb9c4046220833826b2bdaa6563e","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$692F4F73-01B8-405C-B162-2F6B17CBEAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$5947478D-9DC2-45A2-B6DE-A01F68BE6739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$9692ADD4-97FE-42C3-96DC-47A6A654E520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$C182480F-6A68-434F-8DF9-1CF1112D569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2894b2589e750019bf0ae73f0ab2629648809ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$20167255-71A3-4C44-833B-EE9C4F76655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59c8b824337e317e9fa364bf812464c4eb38357","datavalue":{"value":{"entity-type":"item","numeric-id":3559794,"id":"Q3559794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$D4265E90-C17F-4C06-8E2B-A9E62B926A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20177207872af8a908fe37663b57420eab8935c","datavalue":{"value":{"entity-type":"item","numeric-id":5953461,"id":"Q5953461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$6FB4F935-B3D7-45C1-9BCD-D7ED9F57159A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ef90505264a1df04ce9ee7c76ea0c041cd359e","datavalue":{"value":{"entity-type":"item","numeric-id":4791267,"id":"Q4791267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$84C9A271-9889-47BB-BC9E-628FA8FC9588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373877$B7EFDD97-B2D1-48DB-8A92-6090DEDD5436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbb0ff0238472e14f69c12ff66cb31c17294d2fc","datavalue":{"value":"10.1016/J.IC.2007.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373877$8A9B25D0-7394-40BD-9022-D75F8001881C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9545ec8f363590b8eab2946582a567745dacdf8b","datavalue":{"value":{"amount":"+0.9849066138267516","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":"Q2373877$11F9321C-FBA2-4BDF-8D63-B9F7116B0102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068e20c13610b5f52971c924391a84e1c60b049c","datavalue":{"value":{"amount":"+0.8874610662460327","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":"Q2373877$9E740C41-660E-4601-B4EF-C88C7B119BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d08b3ec7237e21c63403f33885194fa4d14ea9","datavalue":{"value":{"amount":"+0.8486456871032715","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":"Q2373877$C3EA315F-B89F-4EFC-879A-5F4E59A681BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3982d4aa3ee3f52246a2f9fe09ac631d220711c3","datavalue":{"value":{"amount":"+0.8468979597091675","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":"Q2373877$4624F3CB-61A6-46BA-ADCE-A3FA1CEBAE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317b41ac22d4de40b461162d87f188bc7bd0c31d","datavalue":{"value":{"entity-type":"item","numeric-id":5758106,"id":"Q5758106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150498af5bf33334cd47104c6f41a4244174a699","datavalue":{"value":{"amount":"+0.8423952460289001","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":"Q2373877$B4CB5CF5-4263-4EDE-9429-B9B24EB31EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373877"}}}}}