{"entities":{"Q3510852":{"pageid":5540756,"ns":120,"title":"Item:Q3510852","lastrevid":88424015,"modified":"2026-06-04T14:29:15Z","type":"item","id":"Q3510852","labels":{"en":{"language":"en","value":"Symbolic Simulation-Checking of Dense-Time Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297088"}},"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":"Q3510852$83050983-B78A-4910-842E-9A5132452C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cfc34ce51b80ffaab3f2f03ce4d4fb72e21335a","datavalue":{"value":{"text":"Symbolic Simulation-Checking of Dense-Time Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510852$BD793A4D-9C87-4E9A-811E-78C073EC7C00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805d9d2aaf4837578b71a46075d9061654bc8e74","datavalue":{"value":"1141.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$8EF5ED51-C4C9-4EB2-8637-6E0EF4DB2740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"431ccf8eddc704cab89ef9969519fccc3600889f","datavalue":{"value":"10.1007/978-3-540-75454-1_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$35E6D0DF-DE8E-4184-A18D-F4B4C7037131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510852$16051D07-774D-4808-AEEE-4E5C1BC78381","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":"Q3510852$62A9AAEB-8FE7-4C1F-A814-E2157101DD7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510852$4D6DD5BB-D441-4E70-A470-8EDE32D17F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$AD4BB7D8-C466-4A02-9F00-187AF8CB3021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$BA4BFEAC-BE35-461C-8463-F34EFD6523C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeafffdae51c62f6dffe54051050544aa9e8c6ff","datavalue":{"value":"5297088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$476B8863-CC32-40E6-8FA7-688ED6673E28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$55F3C6D8-E458-4EC9-B2F4-367527280518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$C0324B53-7B15-4911-BA45-49D3CEA7CF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$803517BE-D297-459E-BC14-378D4D9F82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$2964C090-10D4-48C3-9D8A-939D62FFD02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$89F5D1A7-CFF0-45DA-A5F9-BAC3361CB97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$6994D4C8-C412-4162-A402-9A712818D5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de9572f3d858c29bcb5fd1de8d95658696328978","datavalue":{"value":"dense-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$92D4E0C0-4F39-45ED-BCE0-2608DB539E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$7B5C8F59-4510-4631-9F5A-FBA03DA6C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3b2ccccbd0d7b61ff663b123e8fe93b3d460c9","datavalue":{"value":"embedded","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$9F364F26-0411-42B2-BAF1-CB585AA86BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$6441A4F9-7C9B-48E4-B269-009DD3FF88B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$92FDF7B0-C3B8-48AC-9B29-34BF578C09A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$6B62887B-29AB-4ABA-B9BF-031C7CEA3778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a10294805fe20f690c0ecdc86089bc948300f99","datavalue":{"value":"events","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510852$68757BC9-1466-4D2E-B101-FB743F29E73B","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":"Q3510852$0D32C368-F25D-4BBE-A8B9-91E2BCCC63D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84944dc641dd5f5ebc24c8dc2dae7fc931e3334b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75454-1_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510852$0A009D65-823E-4419-A3E7-BE5AF27C63F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c2345c6e056cde60679aa3a00382c2c7dbbd15","datavalue":{"value":"W1501354277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510852$3DD71BB9-EC62-43B0-A92D-25F814BF25B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450b5151aa04ee408b0559751b02917d24395a14","datavalue":{"value":{"entity-type":"item","numeric-id":5395106,"id":"Q5395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17af4e4ebbc2df1d97b377249e816e25abed380a","datavalue":{"value":{"amount":"+0.93004537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$13509ADA-5D59-42B6-BEFD-BFDE19497FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87b84ffe0d2de65a53badd932dddd611726e702","datavalue":{"value":{"entity-type":"item","numeric-id":3624601,"id":"Q3624601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54537a87292f646259e924286f159cfe325aa65c","datavalue":{"value":{"amount":"+0.92159146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$B4360FA0-1270-43FE-B209-C89C30C27EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7d944bf2f18335a5a467a620b4b640cb922080","datavalue":{"value":{"amount":"+0.9215553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$CC7D2FDD-7C29-4ECC-BD4A-E0AEC01C416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6499f91e2677ef3d60f35f42bc4ccf56b34aa830","datavalue":{"value":{"amount":"+0.91072375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$B0829E7D-30A7-4BFC-BE9B-29289645FD92","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":"0d6c1fdbdd84d8ba01cf3d6878b2d53d7ad7bec2","datavalue":{"value":{"amount":"+0.9060192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$A24AD6CF-72AB-47D3-A923-7CCF1AC123C1","rank":"normal"},{"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":"0d6c1fdbdd84d8ba01cf3d6878b2d53d7ad7bec2","datavalue":{"value":{"amount":"+0.9060192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$5327856B-6260-45A1-B345-EA7F5A32BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba7b13c3622cc6c7ff0fa6779909c79e5ffa820","datavalue":{"value":{"entity-type":"item","numeric-id":3614852,"id":"Q3614852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d2de48d96f7f41d70fd781ebb521a02a5be363","datavalue":{"value":{"amount":"+0.9055765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$313DE80A-7194-4BC1-BD55-D5EB1797158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca8be76d3c069a93a865cbc7e0454da5700aae4","datavalue":{"value":{"entity-type":"item","numeric-id":4255572,"id":"Q4255572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab40ef2fac09168c9fc15337b9a8185f784f5ae","datavalue":{"value":{"amount":"+0.90041864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$36626750-87FC-43C3-A01B-C85C3079C9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add0119ed83b3ff7b1b5d5b4fd38c7f1c5daa769","datavalue":{"value":{"amount":"+0.90029573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510852$BFF2B69E-AF3E-4231-B407-6AEA3D53FBF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Simulation-Checking of Dense-Time Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_Simulation-Checking_of_Dense-Time_Automata"}}}}}