{"entities":{"Q2147689":{"pageid":2158432,"ns":120,"title":"Item:Q2147689","lastrevid":71406222,"modified":"2026-04-13T22:04:17Z","type":"item","id":"Q2147689","labels":{"en":{"language":"en","value":"Compositional verification of concurrent systems by combining bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544942"}},"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":"Q2147689$96111C9A-689B-447B-986F-A7D06865288D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"440811b3d9f47a29939f41869e456f735140a208","datavalue":{"value":{"text":"Compositional verification of concurrent systems by combining bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147689$DDA407A6-3EBE-42E6-B267-2BD6C96826EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03803a86c259dd7d40f426fa3d0b01530e98d11c","datavalue":{"value":{"entity-type":"item","numeric-id":282107,"id":"Q282107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$28C301C2-B082-471D-B087-F53E2271A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02c329ce73cf2cf05208eaecb8501cfdd9b30fb6","datavalue":{"value":{"entity-type":"item","numeric-id":282109,"id":"Q282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$D249589B-609E-47A1-B75F-40A6952B623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$6AC40885-60FC-44BA-8D90-8A64E1ED8FE8","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":"Q2147689$1715C49D-8A48-4A70-BA4C-0FF0BF7AB6EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147689$8FBDB0A4-AFB9-4C20-B39F-453F3113075C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f462246961e38899de8af183b68ccea44be84f9f","datavalue":{"value":"https://hal.inria.fr/hal-03159616v2/file/Lang-Mateescu-Mazzanti-21.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147689$B800A548-7A79-4661-A52F-BBAB16EDF1BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147689$FB9F2EA5-EB5E-4089-8739-73DC9E740537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b485a0b167c6c563a0054eee3460d40905e802","datavalue":{"value":"7544942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147689$7019BDF7-2AD0-43CF-AC37-EBEAE63DF17D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$33A48737-1874-4C5F-9E27-5E4296D8D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2496691daf8dd1c24f52f78fb5ff215d44fc935d","datavalue":{"value":"labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$7CD2A166-9E35-4F4C-87F7-80130F546BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$F5B6297C-0FB6-4674-8B66-E5199D58C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$96D40F1F-5988-4DEF-847F-8B9478E589F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$5B01D726-C53B-4324-BA76-447CC7BFCCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147689$EA4A6D48-8085-4406-92CD-EEB56949FC41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15f42f34bb8034b7153a71ee2b21150989bbe06d","datavalue":{"value":{"entity-type":"item","numeric-id":19719,"id":"Q19719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$8937808E-DB59-4D33-B690-EDDA5021B0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$67E56FD7-07AA-48F8-80E2-F3936B47892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$F64A2CF1-A1B2-46A4-B0E3-A44F8D6FD578","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":"Q2147689$190C5995-B944-452C-9E5E-06598A2E639F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b65e6fa1be7707f07cb61aafc885c35067a7412","datavalue":{"value":"W4231183851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147689$66712474-0DFA-492F-89FE-47D32A737A86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$E80F02C7-6A9F-46D4-8D15-E93F24320664","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":"Q2147689$45ADE471-A356-4B41-A041-DBE4EC86F86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$FC9DD9F2-3AF6-4251-8451-087F78E32F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$95EE3A71-D546-4B5D-804E-1C67319555D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$C0A1728A-EE7A-42F0-B8E4-FAB5B7795B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$F4A1087A-F29B-4F67-BFF8-0B250611C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$2F50365C-AA2D-4E88-8CD9-37078F086CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$FC89675E-684C-428E-B205-3AE92D5C8F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$64A6B3A4-C47E-45BA-9865-335D9E5685B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$40067DCC-9F7F-4758-AD58-099B1F82C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a2d2ccbe3717c1f19a1f0e568b05d6336ca15e1","datavalue":{"value":{"entity-type":"item","numeric-id":4536374,"id":"Q4536374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$C35E8F78-F24D-406D-A620-866F972B061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$21F4B7BE-4E44-4DBB-9082-55FB90E62A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$7D3C8CFE-7520-4C94-ABDB-41A67F31D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28257496a7583d01d2a262287db5cb5036680b3","datavalue":{"value":{"entity-type":"item","numeric-id":2894270,"id":"Q2894270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$09C31A95-63E0-4B13-92AB-80631F2301B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf68fd434be2a92eba8a5967e03ca1301eed365","datavalue":{"value":{"entity-type":"item","numeric-id":5164168,"id":"Q5164168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$C4A40F90-1A33-45CF-8A12-170785643444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$DD0C1499-6E85-451D-8BF1-723DDBD96653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faabed206f3364f58c9a053d482aac13c181e514","datavalue":{"value":{"entity-type":"item","numeric-id":436408,"id":"Q436408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$B0EF17EC-39FE-4A5A-966A-6E658257C835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$82B1589D-1DCD-4C6B-BA96-CE1317B2D469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$115F0FB4-8B81-4FBE-864E-A7DDFCE6376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$4EF76838-5EAB-4A90-AF5D-5B762CF051DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74daea4d87f7d8c7894a5865f1f8c093377f46c","datavalue":{"value":{"entity-type":"item","numeric-id":6044105,"id":"Q6044105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$26F0A49D-7319-4E78-A88B-A285E1FE89BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$4B9FCFD4-8FE6-4845-976F-BE48160B9DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$9751DB6C-7938-4449-8891-F61CCD41BE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147689$95583A08-08AE-4459-82CD-85DF23267316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a45c4121483580381decb241ad807e46b01b7810","datavalue":{"value":"10.1007/S10703-021-00360-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147689$4C158F33-60F2-4D9C-887E-038C986EE166","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598070a07f91606713451f671974dfe2800e2c5a","datavalue":{"value":{"entity-type":"item","numeric-id":6535949,"id":"Q6535949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a1fe33e5ab0f11bca2cfc199587ad60cd7881b","datavalue":{"value":{"amount":"+0.9910061955451964","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":"Q2147689$B458C9D9-A958-414D-BEC4-CB61B8F6BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209b94f600ceaee7eb7ad48a5bea22a10f354e16","datavalue":{"value":{"entity-type":"item","numeric-id":5164168,"id":"Q5164168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c1583f0dc8351c3caec8580f93f605d37665e1","datavalue":{"value":{"amount":"+0.8267788290977478","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":"Q2147689$B5933369-22B9-4CF9-8BA0-99EE95196136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b8b6211a9a3de0b4b3e57e61d3722a5f281aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1403320,"id":"Q1403320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76432a2114d9558e599666271db0c248fdc62d87","datavalue":{"value":{"amount":"+0.7604450583457947","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":"Q2147689$1E7B4CCD-E971-46BE-9F91-9D659892CE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959d3e2d9fee2bd612a3fb8d6b0bf11e9ec36177","datavalue":{"value":{"entity-type":"item","numeric-id":703588,"id":"Q703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e541c630433a5c631532745edafb1d57c3ae76cb","datavalue":{"value":{"amount":"+0.7477068901062012","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":"Q2147689$13029735-C836-48C5-8F1E-598C150F29DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438725535e326362f431c7d6fcec94651f569fe2","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeef5c885270b212fde113f1eace643eac1302c","datavalue":{"value":{"amount":"+0.7394315004348755","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":"Q2147689$E47A3DF4-D43B-4817-824F-45648C623CBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of concurrent systems by combining bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_of_concurrent_systems_by_combining_bisimulations"}}}}}