{"entities":{"Q548704":{"pageid":550471,"ns":120,"title":"Item:Q548704","lastrevid":62665380,"modified":"2026-04-11T07:38:10Z","type":"item","id":"Q548704","labels":{"en":{"language":"en","value":"Timed modal logics for real-time systems. Specification, verification and control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5915224"}},"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":"Q548704$3B1E5057-8F2B-41E4-97F3-32EC72061914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df257aaf424c2597651de4b26f224045d9b7676a","datavalue":{"value":{"text":"Timed modal logics for real-time systems. Specification, verification and control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548704$3D8E93E7-DEEB-48E6-A223-F8D241AAFE96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cdc0b56ddde5467e15c2c3d12e32d585edc80dc","datavalue":{"value":"1216.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$DA53B3F4-0F43-4933-9C5F-19FD2235A3B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$C3787D9A-FC72-419E-B72C-F6C4FBFB4B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$CD329E45-8394-4CCF-9C8D-815544B31CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$BFE93032-DD0F-4C4E-B2F9-0E9139E3361D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$0745A31E-EF2C-49AA-ADE3-347BBEB931F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a120db9f973c25ec9f4d7fedafc327b72241f3","datavalue":{"value":{"time":"+2011-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548704$C781778A-BE61-4BA6-9D9B-C545A20013AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$8D517598-2415-44E8-BB4B-98FA6ABC1003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$941552A8-8758-490A-984C-948F1B4567AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$10BDAB51-560D-4524-9AA7-672BE2E58F1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba9e4a9e4f1c8afeaa1128c3c378f99194b373bb","datavalue":{"value":"5915224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$CA247B09-4FB1-4DC8-AD1D-22664F72E276","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q548704$563A019E-A7F6-4FCE-AE1B-AA54702601DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q548704$97033816-8C22-4EAC-AA65-33D07F7EB76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803a20b9dc05d8497d79e7d277586ffc7719e5d6","datavalue":{"value":"timed modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548704$7BCE50BD-56DA-4AD5-AF5A-28F8C62DBE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ca44520eb92a4c5f663580785bea98f7bfc8ff","datavalue":{"value":"timed control","type":"string"},"datatype":"string"},"type":"statement","id":"Q548704$F8F15FBD-7B56-4EF9-9CED-58A01298A520","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$6E2E879E-59E7-4B14-B0A6-40F737482109","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":"Q548704$37E65D23-DAB8-4075-9912-C100CBF0ED7C","rank":"normal"},{"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":"Q548704$D1AEF4C5-1339-4A12-ADD7-24CEB932995A","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":"Q548704$C524949F-DFFE-44B0-A973-D017B9041557","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"662008440a340f31dbfb47a6b0e0716263907f43","datavalue":{"value":"https://doi.org/10.1007/s10849-010-9127-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q548704$D69D3147-9CBB-43FD-BEA0-B593689AB420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f236dc17f585ced58f1073fe5bf6b8f4a7eec8e","datavalue":{"value":"W1550995752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$636A1BE8-6471-4498-8312-6FE0FE2B7B6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$7009B443-4529-499D-BA13-1019C2D2FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff017f5b33353d99911dd1c037f16889eae25ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$B8AFDA69-CDC9-4CFA-8C81-DA004BCC3FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1dc43fd27ca4723016dfb00aa294217a66f3402","datavalue":{"value":{"entity-type":"item","numeric-id":1858436,"id":"Q1858436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$D8F08A58-D051-46F8-A98C-B600410390D1","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":"Q548704$400F8D00-C5F5-4BBA-900F-8F1C6DB9DE06","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":"Q548704$58B4CF15-5223-4B5E-A146-0E5034DDE7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$4414B9C4-7EB4-4A5F-93B1-FD4581E0DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$380C8573-2E4B-44C9-A1F7-39DB93CED109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$0EB3B6AE-A6BD-4101-88CF-645A41BBE0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4138b9a09d20533003dd532aba70e5bba11d1","datavalue":{"value":{"entity-type":"item","numeric-id":5897476,"id":"Q5897476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$FA13F69F-5E10-4E0D-A3A6-2617286836BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e62b3432f6378d8505d7da38451e078f13b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2266987,"id":"Q2266987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$95178E8A-871D-4DE7-93A0-2947BBF35485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7411117297f7bebcc3af0a6f0da10ebdf204a915","datavalue":{"value":{"entity-type":"item","numeric-id":4736580,"id":"Q4736580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$A479D486-5486-4F0E-B216-18DF3B982248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5090c31cc5981c749643ccb3ce33836775870eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$4815B99E-3676-4C49-9668-144CAB221B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$5B5C9BCB-4C9D-453F-9654-518C139C6E22","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":"Q548704$F655D2C8-A051-4A48-8D59-4F6AD1C20D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$774EBF50-F353-48C4-8812-F71CB169C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$AA64FF81-28BE-4150-972B-F47CA873BB91","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":"Q548704$7950A1B1-91C7-4972-BE4A-84C30976B003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$C582CAAF-C9B2-4C3A-A850-E36533BED558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$36D25F76-4B20-4F27-A158-9A961674F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$D7685E09-8EE3-4D85-B2A7-B2DF1C32E1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$6F505BAC-8CA5-4E6B-8374-84A6BD77FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548704$608B3029-2DE0-4BF5-B749-AE1D307FCDEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64f8ed7c770174a0f266ad7af637f933a96e08ec","datavalue":{"value":"10.1007/S10849-010-9127-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548704$0458941A-599D-4DCE-A9D6-1913938447E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942e099bea99b8e42a4886096d8978f51280ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":5897476,"id":"Q5897476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1fd737ff57ea1749384f48cd5786228339fbe7","datavalue":{"value":{"amount":"+0.8737689256668091","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":"Q548704$00EE3E82-BB56-411D-8EBD-74086DB20621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c78b62640f9e2bc3c019be54424b3eaf1734d8","datavalue":{"value":{"amount":"+0.8531079888343811","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":"Q548704$DE4A88EE-DA24-435A-B063-89C41106CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4d4e09cf3517862470e3e0a15d2602fc1eaee6","datavalue":{"value":{"amount":"+0.8494487404823303","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":"Q548704$F227CD41-4C3C-4AA6-AFF6-A906CAF87F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ae978124f3be84bbc317e25142899f8487a143","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace808a3aa05f5d88161c4617473c06101c17051","datavalue":{"value":{"amount":"+0.8232858777046204","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":"Q548704$46117400-2DD8-48DC-A9A3-76F3B3F53F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6db599da2e3999b0d0aa84270ec20d505259abe","datavalue":{"value":{"amount":"+0.8217783570289612","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":"Q548704$813FB689-B631-4685-A07D-E269BBEF82FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed modal logics for real-time systems. Specification, verification and control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_modal_logics_for_real-time_systems._Specification,_verification_and_control"}}}}}