{"entities":{"Q1603709":{"pageid":1614449,"ns":120,"title":"Item:Q1603709","lastrevid":74125677,"modified":"2026-04-14T18:30:41Z","type":"item","id":"Q1603709","labels":{"en":{"language":"en","value":"Automatic verification of real-time systems with discrete probability distributions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767910"}},"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":"Q1603709$BF7D55C1-2FA6-4FC4-9A98-CFF05980B61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615067bc8fd3a146d829ec904ae56f3b59aebab4","datavalue":{"value":{"text":"Automatic verification of real-time systems with discrete probability distributions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603709$373CBDC3-B071-4C93-9976-B0A1BC352BFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e401120300accc2e8621ebb8383d533420db6e2","datavalue":{"value":"1050.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603709$EF536B57-C965-466E-8B31-F27D397B1C35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34e52de8fcb16e4d92542bec4946aeba143ac886","datavalue":{"value":"10.1016/S0304-3975(01)00046-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603709$99A0E3ED-9195-4E39-802F-5E1B6C5A04E7","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":"Q1603709$E424B347-3CDA-4260-B264-96A531D22B5A","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":"Q1603709$1DF15746-2310-4AFB-AA95-8163A673C2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9b93e9c4da01bb33a6752e107e968e98464f50","datavalue":{"value":{"entity-type":"item","numeric-id":627126,"id":"Q627126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$3BD03776-2F5F-46DE-BBA9-979E1514DA0E","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":"Q1603709$DF224F94-5AA2-4799-A870-099C4C5D0246","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$5ECD9776-1C1E-403F-B069-37FF6376BBDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603709$C8CAB03C-53E5-4621-8F87-057755F45DD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603709$994927A4-0FFB-4C8B-A127-9C2BB373B310","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc7497fcfc79517a9ff0e43d926ada7e937679ab","datavalue":{"value":"1767910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603709$0C8F8B7E-040B-4D97-9B93-4DF1B1C4FB79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a994ce60a0b8326c0bf7ac24361aa10c6be16c","datavalue":{"value":"timed automata model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603709$CA912852-6FA8-4CCF-9AE7-C79AEAEE3B38","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":"Q1603709$F8494760-E925-42E2-8F0C-C417EE85B5CE","rank":"normal"},{"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":"Q1603709$47DD5FB3-C32B-4903-A6D7-D51A4C191141","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":"Q1603709$0204C169-4630-46F1-85C0-CE238ED18522","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$A4A5C346-440D-448C-9638-EDB8ABC0F97B","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":"Q1603709$30DD9C36-897B-44E4-BE0A-6072BEAACAC7","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":"Q1603709$760B746B-F366-4AD5-86BE-F2417F3A9C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$61664B8E-3936-4704-B60C-797D2F4410AE","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":"Q1603709$0FF4C65F-DAA6-4DE2-A417-684DCADD4C0C","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":"Q1603709$E0FCAB64-5562-4C4E-83B0-733E89D45364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$A4DD43A9-A508-4BBE-A330-A4ACB9C8D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$538218AE-00ED-4104-AFEF-BF79D77C416C","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":"Q1603709$F56F2344-FD10-4D71-B7D2-C2AD5A1382F7","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":"Q1603709$8616379C-7A54-4688-B217-46AA2B8794C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$F39680F6-19D6-4291-BB3C-7AE196465AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$F505B63B-752E-401E-8960-7CD873DD05C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$2781B5A3-A7B2-4471-A21A-A86FEBF110B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603709$66D3CF0C-9FE5-4377-89F2-D77778FE9ED0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"643c84278d026740de2f2208229e4545f28b3aef","datavalue":{"value":{"amount":"+0.8865265846252441","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":"Q1603709$E5FAB094-1745-4814-90E6-D441FFADCF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce9671bc040df7f15fad251ae98f566f3ee82b8","datavalue":{"value":{"amount":"+0.8614374399185181","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":"Q1603709$AE9A0643-D10D-4E2A-B498-BCFF811B5A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7a2460ca552daea9c384d7270628f2af73de25","datavalue":{"value":{"amount":"+0.852499783039093","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":"Q1603709$17A1C06C-7795-4587-9DCE-EDA81FDD712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64eb931ca41735ec18ceccd36ce5972f6c70eb75","datavalue":{"value":{"amount":"+0.8488385081291199","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":"Q1603709$6E183B6A-0E1F-493E-A32D-AAC7DB323E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2747b9fd923cead8118a1e9ea36a2efde5cad22c","datavalue":{"value":{"amount":"+0.8278274536132812","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":"Q1603709$DD247325-7D27-475B-AD8E-F2B7FCB758DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of real-time systems with discrete probability distributions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_real-time_systems_with_discrete_probability_distributions."}}}}}