{"entities":{"Q1322162":{"pageid":1332912,"ns":120,"title":"Item:Q1322162","lastrevid":70706862,"modified":"2026-04-13T16:16:12Z","type":"item","id":"Q1322162","labels":{"en":{"language":"en","value":"A theory of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 562575"}},"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":"Q1322162$1F1C6A0C-404D-4A07-9A10-FD299C245BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b59acb7eb443a44789ca3522f35ec1bad58b2fb2","datavalue":{"value":{"text":"A theory of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322162$051EB3C4-EBA3-491C-806F-6031D6932D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3de3cbcdf397a732e3e37b2e12b250e2b9556312","datavalue":{"value":"0803.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$7F48A962-8E34-4C25-8821-584FD168B54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c751029c1dcbba2b7921abca3236ea9812c984a","datavalue":{"value":"10.1016/0304-3975(94)90010-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$BD3CB8BA-3878-48EB-870C-A9848DD85EC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$C4AC41A1-0DEA-40EE-96ED-BAAAB7DD7358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$312C9282-3757-4B76-AF02-27E463266863","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":"Q1322162$72BE2AFC-E15E-487F-8C04-E0C672F4BEE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322162$6693131C-D644-4ED4-BEAA-D19B29DF1072","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$52D0640D-D50F-4FCA-B749-2DA27DABCF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$A28566E0-8EE0-4495-BB20-BD056ABF332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$3AC0325D-BAEF-4628-8FAF-5A168B743B1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bffd8e5575759f337fc6822b3fca229539e9a0e","datavalue":{"value":"562575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$7235F387-41DF-49A4-BC7A-A90639E35F4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32c886cbbf42ce5d5f767ee088054442c37b2cd1","datavalue":{"value":"timed language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$593DDD95-185A-4845-B280-B654E519BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$21F8DCAF-621E-442A-8FBA-8DF1D544095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$279C3D96-1E87-4FCF-BA9D-24F9B49FDABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"addfcb0fade5cc638ebfb85628503039d3d68743","datavalue":{"value":"modeling of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$D63C8102-AFC3-44CE-9C83-8ED71E6FBC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a745081069c1228e584ca87a88098aa6b755dfa","datavalue":{"value":"behavior of real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$F0C87BE9-2837-484B-9CFF-F7D3BCDA00E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$578E620B-17F4-4180-9EBF-5388A58C7FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9031c5fbcdd606b5ae8a3e173a009bf9e39a4bcc","datavalue":{"value":"nondeterministic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$F67673E8-8700-4F0C-A05E-6C5088574CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4315dfc13606756b88f8a896651ad55c8b9debb3","datavalue":{"value":"deterministic timed Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$0ED1BD8C-760D-433C-9805-AB19C5AF138D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$86E44D62-6B1B-46F4-B5C4-02FC72FA8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322162$D7BC4AD1-6048-4F79-A81B-14F83D36346A","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":"Q1322162$D124A8CA-B6EB-4841-B696-1E447235C02E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7442d41e28cd5d95fde4aff1a604b0936f2e7a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90010-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1322162$FE980B48-8DE6-4476-95A5-0A2FB684844A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faf2b66b9a00d5e484d409c3c06f2169554e99ae","datavalue":{"value":"W2101508170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322162$5AA6B1A5-C6DE-4F15-A0BD-651D5D4F6219","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":"Q1322162$C8DEA621-E8FA-4B15-ACC7-3CD3675BB74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$3473BFB4-CD5F-4BE7-B014-87246A90FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$A28DA863-4BE9-4C36-89BC-F5A5EC0AF704","rank":"normal"},{"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":"Q1322162$0AF77B48-AA52-4190-A40E-C829E3EDC6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$A1EE405E-59D8-4136-8B32-B35B3205E998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d442c5d346825598cba0b99212b15bd39377066b","datavalue":{"value":{"entity-type":"item","numeric-id":685507,"id":"Q685507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$D31D52B5-2C58-4287-9383-DB5D30C806EC","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":"Q1322162$1FE6BFB0-CB05-4840-870D-702DE5DB2AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095efdfbd2542aaaed816805bd2968dcfd471f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$5F529052-96FB-4E9A-B2CD-29593FE8183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$CCE47EB4-CB9C-48C0-8FD8-6C2CFA53959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$AE12E3DC-FDB7-40F7-A028-85D20DE7261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$3FFB7DF2-3A13-4498-B323-807F776B5140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$5FE87414-AB6A-4EDC-A435-CDA2382A8C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$0423F386-80A5-43C1-BA9E-F82F1978D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$2BBF0E41-0BA5-47E6-B2E9-818E5686D148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab4573b227fbba8ffa410ea5afa5ff5132abb7d","datavalue":{"value":{"entity-type":"item","numeric-id":1116702,"id":"Q1116702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$D42F6ABF-F15E-47AE-85F2-C8F0D3462794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$CD847F24-FB25-429D-90D0-E3FEB33DD715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$41FF62FF-833C-4365-A6FE-6073B04227D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$DB7699EC-9CE7-46AD-A47F-896F9C6509E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$ADCBC395-A12C-4549-A7A6-1AF620D20660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$75C56F8A-7632-4309-8472-83F228791392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322162$20443403-9DC5-43C9-BC6B-22450F2D8EDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4fecd2eab2a22385f55f153f7d6d0ff3fba9f4","datavalue":{"value":{"amount":"+0.8970057368278503","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":"Q1322162$9A9A71CC-BC91-4045-8702-6F46F30BC277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcbb2ce5ca4dd931d436aed1c3532ea25a991c3","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb47ce38a64463a80bd9e87c8d9c2ad0486ba3d1","datavalue":{"value":{"amount":"+0.8812721967697144","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":"Q1322162$46EB4304-CA53-4B38-BEF5-B6C18253A3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9f929395991951274bbb6ddb87ac6531a2aece","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20f636491507ddce98f4be09825c129abf23844","datavalue":{"value":{"amount":"+0.8733494281768799","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":"Q1322162$29B44B62-1A0F-425A-A996-AE001BCBDDAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_timed_automata"}}}}}