{"entities":{"Q1028728":{"pageid":1030576,"ns":120,"title":"Item:Q1028728","lastrevid":66180393,"modified":"2026-04-12T08:05:02Z","type":"item","id":"Q1028728","labels":{"en":{"language":"en","value":"Robust safety of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576071"}},"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":"Q1028728$31DB3EFC-8EBE-40D0-94BE-E8EF74490D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba95e20af6e4b4d5b0f5fe49d0b8d8b7e553864b","datavalue":{"value":{"text":"Robust safety of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028728$E7A0A215-AE21-4DE3-A1BB-9B20F074DAFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ec9e9fdfec2b63a79f1dff1ac323d0eb3d79327","datavalue":{"value":"1165.68392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028728$0F294920-7565-42E7-9B6C-1731F8EA90F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b25b732b7b492db515136b3ad5294eee86a947a7","datavalue":{"value":{"entity-type":"item","numeric-id":1028727,"id":"Q1028727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$6E3DF146-BA29-431D-A8E4-9512171099DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$B0DA695C-6321-4F37-A727-07844BE15781","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":"Q1028728$89FD617B-20C4-41EC-A648-D0CB1E14BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$276BCA7E-332E-4BB8-B251-FA39AE9D45A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$33F329E3-F853-442D-8C51-11B2EA893C69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f513387d8e77956d2269c6dd9c3352c2f10f571a","datavalue":{"value":{"time":"+2009-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028728$2B731F1F-16AB-42A5-91DA-1DD6E93E0120","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028728$A9E09A58-E8FF-4DE7-9290-CF1B51194440","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1352acfce051ba5a93348fb4bb085df3fce36f7","datavalue":{"value":"5576071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028728$2AF026E9-8BDD-419A-B5CE-203869AF1BEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028728$B21E1107-909C-464B-9A8B-61A915DF4A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028728$2E7F00A8-13E8-425C-8B0A-3096A5486501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a15e5d021a84d2da393b95edb454c46511ab0e2","datavalue":{"value":"implementability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028728$9852FAE1-BA4D-4782-8818-6C6E99F62CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a0b1646d3b7cc6f542faebf6216b3ec9c323d6","datavalue":{"value":"perturbation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028728$B6FFF4BC-F7E5-4C52-B699-B212C7633EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cba1a5d808be024270f9884cfe2446b2a96f911","datavalue":{"value":"drift","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028728$0DA6A36D-9D20-44CB-94DF-9CD8E0F2A92A","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":"Q1028728$1E53795E-0BC9-4A56-90B4-2E3822915548","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":"Q1028728$094E24D4-0C26-4875-92D3-5246CF031A0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41ef226b6cbd1a4dafe3224fb261b1d21f5862e","datavalue":{"value":"https://doi.org/10.1007/s10703-008-0056-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028728$9368928F-A60B-4CA9-BE65-F7AC4535C9CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64385fadb1281118a645486db56fd6716646c370","datavalue":{"value":"W2120338947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028728$17045E3C-B668-4475-B2FF-A07913D18CD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacf7213fac1ad7134058ae3b370a57245783d9","datavalue":{"value":{"entity-type":"item","numeric-id":2754104,"id":"Q2754104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$149EA8A7-0C4F-4C3A-BD39-9B4A2C5EEE3E","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":"Q1028728$01E199C5-FB25-48B2-AE85-FC0B9EC2DB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e2f7bf41a2058a3e9116bd7a2da831d9a59e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4472261,"id":"Q4472261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$C3A40B6F-D96B-4724-8FE7-2D7D93E59B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ce8a0ae2d33625bf03a95fd9dae3bed5c0a6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4654724,"id":"Q4654724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$9FDE3E5F-3129-4CF3-89B6-34858678A77D","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":"Q1028728$80B10874-80E8-4BB3-B477-500051A782A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$AE46D6F3-8274-43B5-9D0C-0DEF5AE6E30B","rank":"normal"},{"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":"Q1028728$1D3D9946-74B0-4077-9920-DD8F664742F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14de50424f29f300a6c1ab092bcbf44384126978","datavalue":{"value":{"entity-type":"item","numeric-id":5437180,"id":"Q5437180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$17FEF3F8-27D5-4C6F-91F6-5408FEF7B43F","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":"Q1028728$8B68FB6A-A626-4D87-9F3B-3C0319E43985","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":"Q1028728$323BBE79-3FA3-46EF-81A5-2E46744554CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$8D4CA213-3A88-48FC-9816-000E718C17D7","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":"Q1028728$F9262D75-2E8C-4BAE-86D0-1E8787644F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$81F85840-8DC6-4849-ACFD-DCBE3DF60140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$2FFF27DB-C2DD-4BD6-AB46-534CB4BE86A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$6B0DD289-36CE-4CAC-94F5-6CBCE0AD2001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4c273abf1b7a13937b62d64f7098791b5e0302","datavalue":{"value":{"entity-type":"item","numeric-id":4509995,"id":"Q4509995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$26342F1D-044D-40D9-8357-28F68D0DDC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa973b4e904fd2699220cfbe7515fc904f2f019","datavalue":{"value":{"entity-type":"item","numeric-id":1589587,"id":"Q1589587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$166E1D4D-6AEB-4567-B0DE-A9F2270020C9","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":"Q1028728$4CF5EC17-ECDA-4134-90C0-3EA208E7A0CD","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":"Q1028728$4C53F4F2-B4ED-4FC3-BA30-E17EB22D3A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7093fdeaa3c6b98a6db2da66470cea5e44add10","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$172F777C-175D-42CF-A68B-074F90614DDC","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":"Q1028728$98677612-140E-4FAC-BF3E-0396A9406FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$ECCBE2FB-464A-4118-A375-B22876AB88DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$394EBBF6-6EAA-48B6-BA6C-407806A9AD51","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":"Q1028728$67B0BAD0-EB47-4A69-A1AD-FE775AA982AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028728$8D2E7060-49C2-43D3-829C-53E4256B56F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e3b934732008da0203ff7c214cf0f8d04ece6c4","datavalue":{"value":"10.1007/S10703-008-0056-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028728$0046A552-DC03-4F13-A872-3CBD92FCD65D","rank":"normal"}],"P1643":[{"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":"4fb1e5213af003a704c17da4bc01b8eabb6ddd54","datavalue":{"value":{"amount":"+0.8809736371040344","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":"Q1028728$3D717299-0334-4358-A9E0-2CB4E3BAE64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3215feaa03b3ad25c59c50e216bb2b1b01eaac4","datavalue":{"value":{"entity-type":"item","numeric-id":2272910,"id":"Q2272910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c2a8a90be5a15a5be4a4a902fa4ab71546b8f","datavalue":{"value":{"amount":"+0.8610831499099731","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":"Q1028728$F425F259-C5DD-4E98-BF28-19064637F548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d14c328ab68aece3efe75ef8b88b083de10f51","datavalue":{"value":{"entity-type":"item","numeric-id":5168510,"id":"Q5168510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75a27100bba6325782fd83e274092295f9bea84","datavalue":{"value":{"amount":"+0.8549518585205078","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":"Q1028728$97384B69-7002-4234-860A-75C20D340E59","rank":"normal"},{"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":"7190ec64810df58b24957e29dce1fb14aebd8f40","datavalue":{"value":{"amount":"+0.8311904668807983","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":"Q1028728$BA02CAD7-0502-4E7A-98E9-A6CE5B8537B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2db6021985d15f45f6028ba2c528857351880c8","datavalue":{"value":{"entity-type":"item","numeric-id":3088071,"id":"Q3088071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659891928b7ff097364359602f448b0a2f67e7ae","datavalue":{"value":{"amount":"+0.8262901306152344","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":"Q1028728$EBD204C9-D770-4D55-B0AB-56ED6F45E9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robust safety of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robust_safety_of_timed_automata"}}}}}