{"entities":{"Q1697986":{"pageid":1708727,"ns":120,"title":"Item:Q1697986","lastrevid":72543777,"modified":"2026-04-14T05:37:42Z","type":"item","id":"Q1697986","labels":{"en":{"language":"en","value":"Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841474"}},"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":"Q1697986$3D1487F2-1441-47B3-84AE-FC6E0173D718","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7b06716bb7b1851cbaf19ab3f9fae21e2913127","datavalue":{"value":{"text":"Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697986$0FD5E416-C1B9-4D4B-A204-7D1A3287C123","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f1e82bf5a1370edd78354927a22dc4ba0d38e6","datavalue":{"value":"1380.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$A2F09D56-75EE-4531-9C25-5D34AE22ED4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff015b27d0b9c7ce776928539bf77e519ae46543","datavalue":{"value":{"entity-type":"item","numeric-id":276400,"id":"Q276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$78DD9479-4A1A-4D28-8DF1-4DE1B93501AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$7F4356B1-3564-416D-91A6-72DF8DB57529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1127283404bcf265d596a15b61a17bfc1baf84c","datavalue":{"value":{"entity-type":"item","numeric-id":431924,"id":"Q431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$E7B922D6-DAAF-4029-9C85-8FE834DED684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$465F90C4-4629-4B57-91E6-763663A1FDA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$6010ACDA-652D-40D9-87D5-7B6CE43F639C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03b40265c51fbda5859c29b6b64bb3fc76d105e0","datavalue":{"value":{"time":"+2018-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1697986$C257273B-8346-42F8-BB57-9824EA83C8DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$776F3694-A86E-48A9-983A-C992EAF4E3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$0591A5A4-853A-4261-AEFC-473187F7745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$C61DCCF1-DAF9-4EF9-A12F-D57B06CC29FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75d62f3222d57c4d8f994b86c97b0efbf7caad89","datavalue":{"value":"6841474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$D29960F4-6138-4FEC-A031-0B7C968673D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697986$C30D6347-BA58-4CB8-8CF1-960A86652FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8063320eb8d31315f7679c7a56eca7cabde50d4f","datavalue":{"value":"fuzzy transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697986$84DF4693-AAAD-4D2F-8FB0-49ACB659AF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697986$01B57EA3-82C0-4669-94F7-FBC6A6939C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697986$55192CCA-34DA-47F5-BAE0-043A3F31B722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3dc28c56527cfbfc33fd6d42b2ec951ff42473","datavalue":{"value":"logical metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697986$A95A7656-D1D1-4A8C-A1EA-1D00819AF395","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":"Q1697986$3F701D4F-048C-4BDA-B72A-31DA1D0807DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c06bdfee1d9a24688427606ba12dba48115a844e","datavalue":{"value":"https://doi.org/10.1016/j.fss.2017.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697986$36478F0D-C59D-4F7F-8181-7432EA8B2856","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39b2338610b25735c8fcc4053784f4103cd73488","datavalue":{"value":"W2594800718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$F886F8C3-1E1E-4C22-A511-90DEBB581478","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$6B48FF18-D70C-4AD1-AB3A-B08CA0152572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daf7412909278140bd49069fa78c603900d059f","datavalue":{"value":{"entity-type":"item","numeric-id":712503,"id":"Q712503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$6B09A97E-EBF7-479D-BCEE-2ACEB37B3BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c320676ff7c8523622205382f81dcba257d033d","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$DCB136A0-FB5A-4F4F-B3D8-62D87DFE9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$63CE4C4F-B2F2-449A-A794-908EC66AEA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834be1e99193f7fca4ae5c892a7f423a364145a2","datavalue":{"value":{"entity-type":"item","numeric-id":2946748,"id":"Q2946748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$FB893EA6-89CB-43A3-8275-C79B73BBE71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58c86e2a38bac49dd83cb1cff615314b7f6324b","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$204A302D-36FD-41E6-A650-5293FB5368F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b40068857ad96f49a366f0223730d50ae0ddead","datavalue":{"value":{"entity-type":"item","numeric-id":3225737,"id":"Q3225737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$8EBFB777-4216-4245-BB36-D2128FFBD3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$C4E6B540-A8A5-4A92-950D-60D0D0385304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c1a79d380773cb8c7614cf932aa71136aaa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1914454,"id":"Q1914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$41544732-C558-4423-8CC0-8346AE54EA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$11CB4A9D-CBEF-4959-8CFC-F9985AD7F124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$75B96C5A-9BAC-468B-9DC0-39A5B5DC1F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$45A3E503-EFB0-42EC-BF6A-F34F722BFD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330b52b48c5a7d7ae8e60f8d1eaec9d330b176b","datavalue":{"value":{"entity-type":"item","numeric-id":3552519,"id":"Q3552519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$68D33F9C-25C0-4B47-BC95-61CB1BE4F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$80C6E094-AD62-4220-8070-2C710CE76F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dfb8315dd24c555af13c836f1712064bc1f0bf","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$1AE4A16A-F876-403E-A9DB-60D7EF660A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2824d41359829bbbc93afd53f9d13cff2a3da","datavalue":{"value":{"entity-type":"item","numeric-id":511624,"id":"Q511624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$DBAA7C38-58AA-4389-A720-9D57BD5156E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$B9ED3CD3-D9E3-4A17-82A5-B93A0905A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$B77A85C4-8677-4D7C-B753-AB0B33D97546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfc7cee8dd269728c97f9a83d9ba2ff5761ff64","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$23F66B70-4A42-4691-83E4-420AD90F88D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4215830b1a4606e19e14dba7bb100e2a647eb081","datavalue":{"value":{"entity-type":"item","numeric-id":276401,"id":"Q276401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$C13E8DA8-2E8D-4D44-BAE7-7B86BEA12BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c8cc7b4aa3aaf1d91376cd20519f72734fc19d","datavalue":{"value":{"entity-type":"item","numeric-id":714871,"id":"Q714871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$4B3EA01F-05E4-4C9D-A701-0D25401ACE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2146e004869421d0004301b1cf463b9d5af6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767183,"id":"Q2767183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$6F522C4E-4430-4F4D-B957-462A2960F401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0663b81b1390c71a640fe4fcfbd7ffe2f46fe57f","datavalue":{"value":{"entity-type":"item","numeric-id":2546504,"id":"Q2546504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$39B482DC-EAD6-440A-915A-7E9B6FCE1C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e69ce7e7df50206769f5d11e1d20775dd96cad","datavalue":{"value":{"entity-type":"item","numeric-id":1246531,"id":"Q1246531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697986$BDC2B638-DAF5-477E-8C48-96378712F70F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"995fe730ce677e482dfd6f311deb449daa6d7a71","datavalue":{"value":"10.1016/J.FSS.2017.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697986$52AB801D-BA40-4696-AD7C-1738B18C3A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8489804789855082f6ea01b632196c527a1d50ca","datavalue":{"value":{"entity-type":"item","numeric-id":1648774,"id":"Q1648774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f152cbaaa480961b38a4a391007ede34979a7ac","datavalue":{"value":{"amount":"+0.8782309889793396","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":"Q1697986$2C852E1C-005D-4B3A-97A3-3E6ACB82F259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e1faa8b60810721ebbcccf3eab2d3b315fd501","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b66e13a36cecc9b02b14773b8ae9c5d820c49cb","datavalue":{"value":{"amount":"+0.8630771636962891","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":"Q1697986$90A9417F-1E94-46B9-BAF5-E3D373CCEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ecdedadf86e9bf2993f0d2815eb3b3b7521a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2994262,"id":"Q2994262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbd424c5753497200017a8d51ba3a09349adc56","datavalue":{"value":{"amount":"+0.804990828037262","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":"Q1697986$69D5D5D0-56A4-4824-96FA-53018E75A60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079c7313edf23e53ca5642e63961b9dc21de991b","datavalue":{"value":{"entity-type":"item","numeric-id":6058014,"id":"Q6058014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007cd4486f873a00d281d4dfad5e0b6085489891","datavalue":{"value":{"amount":"+0.7837950587272644","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":"Q1697986$8D6DDCA4-A61F-48BE-98B1-A50B9EFAB3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56513c4ac4a147b51fc6a2c3641d078bd0c4b321","datavalue":{"value":{"entity-type":"item","numeric-id":2219078,"id":"Q2219078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d20f1e243d5a7965faafdddf30966bfd24a035","datavalue":{"value":{"amount":"+0.7826213836669922","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":"Q1697986$76FFDD8F-00C3-4603-BE1F-F27D3A4D4EDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_and_logical_characterizations_of_bisimulations_for_non-deterministic_fuzzy_transition_systems"}}}}}