{"entities":{"Q1328764":{"pageid":1339514,"ns":120,"title":"Item:Q1328764","lastrevid":70154217,"modified":"2026-04-13T12:48:33Z","type":"item","id":"Q1328764","labels":{"en":{"language":"en","value":"Logics and decidability for labelled pre- and partially ordered Kripke structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 612139"}},"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":"Q1328764$BE94EEB9-D9E0-4FB3-A6BE-F849EB51BEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"789beb4e946c242e532187545e5245b21c2e2c3b","datavalue":{"value":{"text":"Logics and decidability for labelled pre- and partially ordered Kripke structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328764$05E53F0F-81C8-4A58-B4DD-A71D24711CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcdcc696b824acbc6aebc1bc880c33cbabde12d0","datavalue":{"value":"0814.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$92F1EDD9-E26A-4913-82DD-A8364BA0D7FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a697cabed18042126c0c12950d9ad4aa7d2460c8","datavalue":{"value":"10.1016/0020-0190(94)00065-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$BCE0B1D8-F195-4058-AC0F-F2D3E0FE3415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"844b4d612b57e104e5e5c7f16404760da3966e34","datavalue":{"value":{"entity-type":"item","numeric-id":1328763,"id":"Q1328763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$A0826C7A-E08C-4125-9EF2-4E5D6879C7E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$40DE551B-B078-421A-B351-11F931326136","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11a8ee4c828aef1214f24d4dec9b62e83d250b8d","datavalue":{"value":{"time":"+1994-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328764$5F3C7E6E-E703-42A0-9F04-83CCF9BE64F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac37b8f7dfbf0e9cc3ea2759b0283aa961b84148","datavalue":{"value":"The paper considers some propositional temporal logics arising in computer science. Their semantics is given by ``labelled Kripke structures''. Such a structure is a set of possible worlds together with a family of binary relations, \\((\\to_ a)_{a\\in A}\\), indexed by ``labels''. The propositional language contains necessity operators corresponding to these relations, and also the \\(\\square\\)-operator corresponding to the reflexive transitive closure of \\(\\bigcup \\{\\leftarrow_ a\\): \\(a\\in A\\}\\). The system \\(\\Gamma\\) describes pre- and partially ordered Kripke structures, and its extension \\(\\Gamma_ 1\\) has additional axioms saying that every world has at most one successor and at most one predecessor at each label. It is stated that \\(\\Gamma\\) and \\(\\Gamma_ 1\\) are Kripke-complete and decidable. An important class of Kripke structures is generated by ``trace systems''; these structures are called ``frames'' [cf. \\textit{W. Penczek}, Inf. Process. Lett. 43, 147-153 (1992; Zbl 0771.03006)]. It is shown that the tiling problem can be expressed in a modal propositional theory extending \\(\\Gamma_ 1\\); this theory corresponds to some frame model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$4796BDBA-385B-4767-A824-3DFFC7E3DAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$7DB61BD2-4A1E-4567-9ADA-265A34D67134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$129A2D74-EB29-467D-A9D5-7F1A4030A9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$F66D0D20-4B87-4EE4-85B9-913CC8ADAEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$F9118EBF-8DBC-4BDE-9DEF-A56BFCA7ED82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0930bcc17fa67ad2ed6559ce872044529d909704","datavalue":{"value":"612139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$A063C9A7-06F8-4FE3-849F-307193BD3D24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$01B7E69A-5ECA-4EF8-A791-1ABEADC96D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1388e0d86bac5abe8cc4019e1ea710f2cebd4416","datavalue":{"value":"labelled Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$A6C4BA5D-A5BB-4C5A-A574-24F56B9FD09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329dc8cdb48a7a17acaf957e215abf6110b0f498","datavalue":{"value":"trace system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$F584DC49-3551-4506-971F-6218B4DA6547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$7D0BFD6B-8CD0-4F64-B501-4E0325B3F198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$9E92713D-2079-4B0D-94A9-C74B0AAC7D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f5fe9a472f1d53a245a5fae2a19c4a98372d7b","datavalue":{"value":"propositional temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$5B71101D-D346-48CB-9B22-37DCCBA41847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbf3dc675054850e9b5be83de978bdb3d3a0880","datavalue":{"value":"tiling problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328764$454F1F1F-C900-4E0E-91F4-7BE5569D87C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$D045E9CE-C175-4114-88F4-9CEEABFB113C","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":"Q1328764$A6E22AFE-6C2C-48EC-BD23-0504CAA9FE8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07e0a7b8a2f3e9bdeefb46f4421bcce3778e7661","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00065-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328764$7BDBE450-636C-465F-BA84-81FC1E726392","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e85d82f82301ceceb6d6fd32eb157cd8d4048a47","datavalue":{"value":"W2068656894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328764$C0E1E9B5-B06E-4EEF-A94C-39FB6A5CF9DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$668E1192-A9EA-44E2-8821-62B5BA1E7871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$F8AE7C1C-0FD8-49F6-972D-88CA1D48BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$8369CA69-ABFE-4553-A3E1-47885106155E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$30377067-869D-4360-96DC-523C67535653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3eb892649e381348859e24a44cfd45b9cfc886","datavalue":{"value":{"entity-type":"item","numeric-id":1199555,"id":"Q1199555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$DD883FD3-C21E-405F-A551-C40A9A5CF4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906a1a9db0cea3d4b1f72a66e043389a81431edb","datavalue":{"value":{"entity-type":"item","numeric-id":3814798,"id":"Q3814798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$27C2E497-5C03-4945-A455-B527327A4B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$85F62574-4349-47D6-8A58-D8E0CBB65085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328764$E38401BA-8AB5-4BDE-B53E-93A64A6C5C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592765424e6503741bb123017c96976915414633","datavalue":{"value":{"entity-type":"item","numeric-id":3812208,"id":"Q3812208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebea47f67e5db11316b0f648c5a0762c3f5de361","datavalue":{"value":{"amount":"+0.82454056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$693CEA5A-D9C0-4E86-AA05-3346B94CF4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55091a4409bf24b4f09d0dcf3ba0a15296984c39","datavalue":{"value":{"entity-type":"item","numeric-id":3812209,"id":"Q3812209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfdcefad7b5f0da05cc6befed28fd635469e48bf","datavalue":{"value":{"amount":"+0.81886375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$73AD5D1B-92E2-48A6-929E-C12A6C631560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038bb79d4fff54e6c31852941021dd4fd44ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb8ec4fa80b48e69e1d545b873631930931ed53","datavalue":{"value":{"amount":"+0.81377697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$ADCFC9A3-1AD7-444B-9FB4-F416E26159D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ff3ab724d9c0092db82f79324be8fdcbd0ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95aa1d0b0bd36a7a9913c28b9107c3831cb90cbb","datavalue":{"value":{"amount":"+0.80777067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$EAC2782E-0DC0-4230-9C84-55885137B3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13282f0a91f968870800402fa9d537565feacb3","datavalue":{"value":{"entity-type":"item","numeric-id":4238498,"id":"Q4238498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6778cec4989c19c1f258ff3d55f729d43cfe1448","datavalue":{"value":{"amount":"+0.8069426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$6229908D-E014-474A-8BDA-BCCFB10031E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2c31a1b7500b72d9d309d95fe20e157fc7a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c24f61b0dfe2e914f9a21963bbc6f16034c708","datavalue":{"value":{"amount":"+0.8063417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$72C6DED4-0DC7-469E-ABF0-7CAD28F8F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcd2306031d387294b25d16ba984c66a62051db","datavalue":{"value":{"entity-type":"item","numeric-id":4763535,"id":"Q4763535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28b1723d5329c625255461ed2c539c8fbd724e4","datavalue":{"value":{"amount":"+0.80546045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$B1126EC7-FC0A-4679-B9AE-4912F5DEFA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3bebaee0b0bf45d0804e5ce015734855fcaae6","datavalue":{"value":{"amount":"+0.8053296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$F7892F55-C54E-4376-9036-8A6E915E5388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fe3397498c4abf94e38fb188e5b3b6550c8818","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42b38cb2729d9a38f39d5ae8f6d420643555652","datavalue":{"value":{"amount":"+0.804213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$537FB41E-0DA7-4FC0-9F53-5E6588F8203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73a8a975f01af7728d256fb1e4e0e2c99384e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4400883,"id":"Q4400883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30743fc9df63a2c8442264a8340c900d2a91bcb","datavalue":{"value":{"amount":"+0.8033492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1328764$3FDDECC9-7323-41EE-8F9A-AC07FE10ECB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics and decidability for labelled pre- and partially ordered Kripke structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_and_decidability_for_labelled_pre-_and_partially_ordered_Kripke_structures"}}}}}