{"entities":{"Q5458357":{"pageid":7487916,"ns":120,"title":"Item:Q5458357","lastrevid":50333882,"modified":"2026-01-13T20:27:16Z","type":"item","id":"Q5458357","labels":{"en":{"language":"en","value":"Robust Analysis of Timed Automata Via Channel Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262406"}},"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":"Q5458357$C735BDC5-21C0-46AA-9109-27BB0BD18A6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38f290b7fec10a73a651dcb2e4b2d9c9f42dfdf2","datavalue":{"value":{"text":"Robust Analysis of Timed Automata Via Channel Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458357$55530D44-E3D9-44F0-96F1-0B81E83FD3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0d61d28b017dcf39feb6c3291cf4f448326d896","datavalue":{"value":"1138.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$C059A447-4A92-433F-B553-3D21CA8E4419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16444a422aad81f63d7da579bc6a05bb8b10f442","datavalue":{"value":"10.1007/978-3-540-78499-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$1AF43708-83D6-4C3B-822C-F6780EBEEC80","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":"Q5458357$7EDB9192-04E4-4C11-AAA7-62BF21816050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$5EF110A6-0615-4E93-A81E-5D965A10127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$ABE45B8F-1482-442F-A544-A58A8281006C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$A88FAB44-3D4D-422C-A69A-0480C0854AC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458357$9D0D6001-0394-4B6F-8F64-EFC9D074DD9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$62BAFE0C-7BF6-4658-AE3A-321576B680B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$B3BF0384-8359-4B07-AFED-F155FF4B0B76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2174a36f74d16257677ad7a86a8806f78487817","datavalue":{"value":"5262406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$36EA52CE-D70F-4D5F-9F73-3736BE407CB5","rank":"normal"}],"P1463":[{"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":"Q5458357$B8E1D7BF-5ED1-4930-802D-F320FA3DC301","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":"Q5458357$B01A3623-38D8-412C-A828-99DB57323AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"310dd421240b67d1094ded7e6b80660207e588b6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458357$BE01AD93-1208-4F31-AC9A-0A98D4797A78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"457b831b8b8a4ef265110f13b44b2647602f6587","datavalue":{"value":"W2082762653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458357$7F4ACA35-2E80-4506-8460-BF990B73581B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6587e784d496e2ee419584782e6996985cf45aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897968,"id":"Q5897968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$B4C07F36-EF04-41F9-BBBD-B95D7FF45F71","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":"Q5458357$336FE2C9-30C5-46C1-9585-0A256E101474","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":"Q5458357$3EAFAC96-BCE8-4D33-BBAE-B1476EED3DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39262a0a04b7504b30d279eabeb2c8c5d8a139b2","datavalue":{"value":{"entity-type":"item","numeric-id":5703961,"id":"Q5703961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$EC2A074A-9357-4A65-AA46-69AE9521A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d270039c25734bb5e63b269353caeaa3594399","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$0C25A986-54E4-4D2F-AD59-9D893F5AE637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e3145509425d2ebb1056e6c97df76c260a5631","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$AF3D1EA1-EEC4-42B6-8FF1-900914259200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa63ad3beef568a35223bb58a8c4174b44fbf81f","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$096461A6-8FBD-4802-B430-1703F91671B1","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":"Q5458357$314B135F-3377-46C3-BEF4-07F14D6226E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073a40c116dafb1f2049424233b00a91ee439ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3511231,"id":"Q3511231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$A341F65F-1391-4C58-820B-0AAFAEB2C41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82edb3171051bb39cf814fac27925fca707357d","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$E3DD0D14-C54A-4208-B788-2D3EBB3CC2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d89d9628506ca9086b69694060909cf9345022f","datavalue":{"value":{"entity-type":"item","numeric-id":5307930,"id":"Q5307930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$D014447C-7F8B-4E81-8C76-52478615F41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1626fde1b5c70cfed555e4c505e863026db27752","datavalue":{"value":{"entity-type":"item","numeric-id":3510840,"id":"Q3510840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$B32FA1FD-16B2-4DBC-9F1E-E557BBCC651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d9249b32a2849505123848719bc484e21b9522","datavalue":{"value":{"entity-type":"item","numeric-id":3525010,"id":"Q3525010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458357$9B7FBAE1-07B9-464C-96FD-BC82CCCA2820","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":"Q5458357$2E309DA2-1E6F-418E-A9EA-B58EFDC6FC01","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":"Q5458357$2D28E5B6-D98D-4A73-BAFA-181CF5A18AEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc822218a3e9027eed4861b7f9b387cd3574e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3172846,"id":"Q3172846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7acec09ff229070336e38e43b170161c41187d6f","datavalue":{"value":{"amount":"+0.8556578755378723","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":"Q5458357$900C472C-1D4C-4731-AACF-4FEC9D62203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d5da9ed25eddfe35548c942bf3395cadfcba","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc743a9c26cc67ccdf5b5cf44aa2d3ac2d7997d2","datavalue":{"value":{"amount":"+0.8335646390914917","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":"Q5458357$E86F324D-58ED-4A4A-9611-9D62DA793022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd526a19e7ecf7d337bba0084e7ea5160efb67f","datavalue":{"value":{"entity-type":"item","numeric-id":3000612,"id":"Q3000612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9236c00bc449adb0fbcd31806e66edcf3be3553","datavalue":{"value":{"amount":"+0.8108428120613098","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":"Q5458357$5222F91A-68AA-4438-9929-47D3E9D6A766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a483e25692b2ec8ea5448b2fee9885e5397405","datavalue":{"value":{"entity-type":"item","numeric-id":5275328,"id":"Q5275328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f3ad85ce09fad0437bff9b74c5af091ccb6452","datavalue":{"value":{"amount":"+0.8017512559890747","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":"Q5458357$AC59B0D6-E553-48BA-A132-ED2746FAD221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2472f72196552c560335fda0620b0f378bda33ef","datavalue":{"value":{"entity-type":"item","numeric-id":1028728,"id":"Q1028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77371ccc4f25314b0eb05e94c50fb2f8da995b81","datavalue":{"value":{"amount":"+0.7840441465377808","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":"Q5458357$194B5082-2634-4BD6-B6E6-B414C2FF5A7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458357"}}}}}