{"entities":{"Q1401259":{"pageid":1411999,"ns":120,"title":"Item:Q1401259","lastrevid":67517670,"modified":"2026-04-12T18:31:43Z","type":"item","id":"Q1401259","labels":{"en":{"language":"en","value":"Generalized discrete timed automata: Decidable approximations for safety verification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965289"}},"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":"Q1401259$44CE7754-3251-4C9C-BEF5-E24DAE0B6E58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"008d5c9d90d7b86c1852d9d47ad2f72e1ff8263e","datavalue":{"value":{"text":"Generalized discrete timed automata: Decidable approximations for safety verification.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401259$B1CFBDE7-D78D-4CFC-905A-768C8322FA5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b85dd3fbc096674b3dcc82e5f5dd30b02634c3","datavalue":{"value":"1044.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401259$3868FB7E-E4AA-41CA-8F1E-A955B6DE5BC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935558b49b4d8973fff2760cd7d0bca970ce86c3","datavalue":{"value":"10.1016/S0304-3975(02)00432-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401259$B340BDF2-C6DE-4C63-9F40-005B25AF9E10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$F1FF39D9-E918-4205-9BC2-355D221A6831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$86C789FD-B9AB-4038-9E3A-4FF4DD543785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$96AAC3DE-94A7-4485-A844-2FE25585AB15","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":"Q1401259$E4017CD9-7B1A-4B1C-9985-A267E24B98B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401259$90C90182-B04B-4D3C-8D15-18521E907EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401259$C3BABC8D-F202-45F1-BF2C-8158F647F89F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ecdae54da5c9917624f3509a399cda46a52c06","datavalue":{"value":"1965289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401259$94228B95-FA73-46CB-969F-A7A9F8A9A424","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06b48db5f0a64d2bd9636a3544992ac7f380f333","datavalue":{"value":"\\(r\\)-reset-bounded approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401259$06FEAE35-C7A7-4614-8F77-B3C437E442DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cf3e6b5a11066db65db1805ebc8764bbe16ae2","datavalue":{"value":"\\(B\\)-bounded approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401259$BE26F3D0-91AB-4B2D-8988-472C303DA496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a6bdd4e6456ad7872ef1d2a259bf896101ced3","datavalue":{"value":"\\(\\langle B,r\\rangle\\)-crossing-bounded approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401259$C145B76F-A425-4D6C-8918-BE7D9D03C309","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3a8bf2847b84f293ed006d00dee66bd11d829b","datavalue":{"value":{"entity-type":"item","numeric-id":15416,"id":"Q15416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$9106D297-3571-4EC7-9265-7C8947D46889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$66F4BE37-DE3A-4349-80A9-F8E29D1A62D5","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":"Q1401259$86E585BF-8352-4E5F-A1B5-8FE2063287EB","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":"Q1401259$C5AC3F76-132F-40E3-BD1D-30B268F03135","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":"Q1401259$4D0B76C1-842E-4A03-B706-35E3D8FEDB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$D4D9DEB5-ADB9-4CA8-88D6-9DBDA732E38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbe5a701cddd7194eb28385f2a16723583b00bd","datavalue":{"value":{"entity-type":"item","numeric-id":4270062,"id":"Q4270062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$7CFBC713-48F2-49A8-BF35-8407F70C924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a97cbd9c220f9e26357aa338afd6a64b98f80","datavalue":{"value":{"entity-type":"item","numeric-id":4551181,"id":"Q4551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$6979AF64-8442-4153-B39D-E5E3C04E8BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da955fd986994d622ff42c86830cc6ba9ad32393","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$B4CD04CB-74D5-4838-AEDE-2D63037F148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e3319f6e82444754097d9d1b24449da5f3bac05","datavalue":{"value":{"entity-type":"item","numeric-id":2762788,"id":"Q2762788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$3FB7EF55-1CA7-4B50-8D97-6BA3F9320069","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":"Q1401259$DF025432-1D1B-48BE-B88C-CE98B1B8F863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$CA2B0D86-1CEB-4D46-AE2F-6C0ED44EFB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6744bcbd69b98e127a086f2b384ec2b564fb3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$C9A370DC-6E00-4B3B-9799-D0CF2FE05322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe39f5467ab8d58a80c073a71fb157d82ebf590","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$7757F981-EB83-41C7-8616-E1B625D95073","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":"Q1401259$BA7D8031-1669-4516-AFB5-3B3B0BADB715","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":"Q1401259$731808FD-E107-4A40-AAFB-067FB77A94A6","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":"Q1401259$7D4EF971-8377-4E39-9E16-B0143D555A63","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2471778ba09b75f1c0cda73884736e0143e43dd","datavalue":{"value":{"entity-type":"item","numeric-id":15416,"id":"Q15416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401259$E5EBCF66-9DC7-4092-AAD6-8252B9D96564","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":"Q1401259$48077ACC-1F35-48A3-AEE4-E16D038EB4D5","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":"Q1401259$26049008-B813-47D3-A47D-5BD3B9142CF1","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":"Q1401259$EA0D54F2-0146-411F-82D6-F2078D5C08FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"853494dc191693999a8b1957e65a2579d3f260c2","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00432-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401259$F9777AC8-7FF8-487B-963E-6C3AFD838231","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0be35bd29ac2dbf9d6c90e0acc3052530acca0b","datavalue":{"value":"W1964178654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401259$CA8A7B01-2F3A-426A-BF8E-92E2D64E72E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d8f823f02248a9555bbcb0adbe7021cc804209","datavalue":{"value":{"entity-type":"item","numeric-id":4553242,"id":"Q4553242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706a6cb5fc32db712f493e542c85775375aa4e6b","datavalue":{"value":{"amount":"+0.978024125099182","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":"Q1401259$00D6D967-9D98-4D99-80DA-42D4246DDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db1e9e487e43128a7ddd093986125cd824c1004","datavalue":{"value":{"entity-type":"item","numeric-id":4540965,"id":"Q4540965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f25dae2849b8a529ef47cab4e377079068852f","datavalue":{"value":{"amount":"+0.8258677124977112","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":"Q1401259$6F06790D-C2F3-4850-9A2E-98F9F470E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44ee680a04de0cb5e022e932a94d690d6c4cea0","datavalue":{"value":{"entity-type":"item","numeric-id":1853524,"id":"Q1853524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58d30c2344845e2da812ee6513587f536f15212","datavalue":{"value":{"amount":"+0.7807552814483643","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":"Q1401259$F8CC6CD9-0580-4BDE-A181-600870455123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7661e0fac309d412dc29bf7a7dae5ece1448d8e","datavalue":{"value":{"amount":"+0.7579881548881531","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":"Q1401259$9659CBDE-1659-4080-9D40-429661B36D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e625695d5920b141c17a661c80b600e9b877f471","datavalue":{"value":{"amount":"+0.7535549998283386","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":"Q1401259$79EAD6B7-5745-48DF-962E-41D147FE5BBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized discrete timed automata: Decidable approximations for safety verification.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_discrete_timed_automata:_Decidable_approximations_for_safety_verification."}}}}}