{"entities":{"Q5348355":{"pageid":7377929,"ns":120,"title":"Item:Q5348355","lastrevid":100848143,"modified":"2026-06-05T23:16:16Z","type":"item","id":"Q5348355","labels":{"en":{"language":"en","value":"Exploiting symmetry of state tree structures for discrete-event systems with parallel components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760446"}},"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":"Q5348355$1BE26138-5079-4EBF-AF53-036B76AA3091","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e3c79aa13a5ce64fa92f6f5a476eca7a2e0f0b4","datavalue":{"value":{"text":"Exploiting symmetry of state tree structures for discrete-event systems with parallel components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348355$A0CC9073-0E4A-4194-A79A-BE9434D5DBE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"299064635598222bfbe4dacc879b1767d9352f0d","datavalue":{"value":"1367.93366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$B889D532-F7CD-4951-8AF8-19078D2C153B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d648c03dc7591076c266f84292f529281571adb","datavalue":{"value":"10.1080/00207179.2016.1216607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$B97790E7-87CA-4CB4-913B-777FE991187D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"609d4a1d163df0e428d1d8a24ce30f2ffe245025","datavalue":{"value":{"entity-type":"item","numeric-id":3131318,"id":"Q3131318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$632232B3-1D50-4DF8-AC67-85174D46C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3090ddacca03f81a98332ac6cd0ecae232b84bb1","datavalue":{"value":{"entity-type":"item","numeric-id":503029,"id":"Q503029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$37C1C855-9505-4B50-BD4B-0402284701DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9df2c421249f607a339ecca9eff3815f3f40673f","datavalue":{"value":{"entity-type":"item","numeric-id":2864952,"id":"Q2864952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$0CBA7D37-BAE0-4BA2-8B62-9E821FE81420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$0D2A3739-BCC0-4F0A-9242-F42FA51A8308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$84118A4C-33AF-4534-A581-20AD1BBCC5F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27864268865827ced233ef05b68e85bfe91ce2b3","datavalue":{"value":{"time":"+2017-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348355$22EA2CCD-C295-4FCC-87BF-6ABB2024F08E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$FC70C7B4-C181-4CB6-A716-61E06D6BF7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$6DEE3DD1-8013-4A64-AEC7-7B20DD099F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$348D6DA9-3758-4C43-A7C8-8EA57101C498","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"657ab87b3b9b68cd64c8103a1ec96fb12f4e3031","datavalue":{"value":"6760446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$5A7829E7-286A-4DA2-BD75-B512A5AF1E9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c26fd270e13d494fd7d56f0145a019a715aa825","datavalue":{"value":"supervisory control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348355$21959D94-7281-4304-ABBB-6E8635C9DFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08678f37f23e31f593f1251298853f135c6759f8","datavalue":{"value":"state tree structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348355$BF06C486-BA71-4EF3-914B-D70CFD31A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348355$571D4B7C-A566-46D5-8B53-085F34A7F4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a35ec98d9cf345d9aca9894c90be9be85e46c9","datavalue":{"value":"abstract control functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348355$B86E3906-0B5D-4061-9E40-423756286670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1705f81ad6f99472490363a622637d5ef42d81","datavalue":{"value":"invariance property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348355$340B0913-2710-4BD5-9CFE-4291D1616BC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acbfaee7f6d880a925a0776f8a11b08399051930","datavalue":{"value":{"entity-type":"item","numeric-id":25554,"id":"Q25554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$379670AC-E375-4907-815C-7D8D43BAD17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$F4AABEDD-CA5A-431D-89A5-8AE14E784B02","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":"Q5348355$4F16F3AB-3F6E-4A30-86B8-CF0E931E6A04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f1557e661bd31a665b8649303fcb75a37a21275","datavalue":{"value":"https://doi.org/10.1080/00207179.2016.1216607","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348355$B9CBE025-9D5F-4FD3-9FE5-E9DF6CD3D80B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06ac15f9bb0ac64ad3d1ce8c71c46f2924ccc3fc","datavalue":{"value":"W2479050047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348355$8C4075CB-8BBD-4D7E-9CC7-E3B43413FBDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad83e7e4ad67ba9e986298413ce53a7419226361","datavalue":{"value":{"entity-type":"item","numeric-id":839004,"id":"Q839004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$4401660F-5EEF-4F9C-8817-24A5C6BE02DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$C54D3065-05D3-42B3-B4DB-3890CDE9DB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27edc4b8b0e76ae5238cc3554f865172c8c79fc","datavalue":{"value":{"entity-type":"item","numeric-id":4540504,"id":"Q4540504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$1486E3E7-817F-4725-91B7-333EEFEDB756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a0e0dd2e47e7fb6ffc97e6bcd3b927ec8527c2","datavalue":{"value":{"entity-type":"item","numeric-id":539490,"id":"Q539490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$D514595C-39FA-4DAB-94C8-1F57A35A6134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5a4069dfa3da458597f0d56279dd4fc8a9b23d","datavalue":{"value":{"entity-type":"item","numeric-id":2571140,"id":"Q2571140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$B7CC8934-3991-4F20-B23E-530DE411D7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ef9f33bc7911453cab8d430011046301a8c737","datavalue":{"value":{"entity-type":"item","numeric-id":5281831,"id":"Q5281831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$D25EA887-0FF5-48DA-8B4F-747372CAF8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$2555FCC7-0E9D-480E-BC52-A3EDD3B81E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995208facfb54c505c1d38a5e256c3caf25bc346","datavalue":{"value":{"entity-type":"item","numeric-id":3427785,"id":"Q3427785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$EA3F217C-0321-4E6C-9ABA-7AD8B428F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f11f4a021753058fcc737320931eaab10eaf58e","datavalue":{"value":{"entity-type":"item","numeric-id":1424972,"id":"Q1424972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$BD6646D3-0208-45D9-ACDF-CB97116D6FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38aea52779d568eff70f5eaf6be7de16eb16180","datavalue":{"value":{"entity-type":"item","numeric-id":2350825,"id":"Q2350825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$445A5E4C-CAFF-4E0C-802C-1DAE710900D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96724029396f390817fa5e0f322a92146415783","datavalue":{"value":{"entity-type":"item","numeric-id":5803039,"id":"Q5803039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348355$CA3C56D4-549C-43A3-BF6D-CE3DADB41BFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09332f739462c8aa33c8efa1f3fb92a08a2541ae","datavalue":{"value":{"entity-type":"item","numeric-id":4540504,"id":"Q4540504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3c35fa8b33ac749805d2d7f7f39b416d89446e","datavalue":{"value":{"amount":"+0.84339464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$1C44668F-6F35-4D6E-B756-BCC4C2956AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312ae9cb04b26bd1a013e7e08e948cf1f1cc2f09","datavalue":{"value":{"entity-type":"item","numeric-id":5277559,"id":"Q5277559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca4f9f6fbf8f6ad2f22de857c6be971d9ec160f","datavalue":{"value":{"amount":"+0.84206915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$30BBFFD2-6D17-4A19-856E-900E2BD9ACA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28c227690d7c2a865a0fac6844818642255ba66","datavalue":{"value":{"entity-type":"item","numeric-id":2766555,"id":"Q2766555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab21245a45d3ddce4065891f1a01ebdf2f37e63","datavalue":{"value":{"amount":"+0.8313359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$CC6D3AEE-79A6-4428-8E56-7FBCB6B8A8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301abbbb3376e660e5af194409f38df0d5a0301","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed9341dd5e8e337c29dd6f9e792e418aa954bad","datavalue":{"value":{"amount":"+0.8264121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$5FA44C3E-EDFE-4EBE-BE96-E62BD3C89121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c0c822b949d21b2d16348f66bd1bae7a37342a","datavalue":{"value":{"entity-type":"item","numeric-id":1901402,"id":"Q1901402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d363785f4a0fe4e1d36930443931aaed996bbf79","datavalue":{"value":{"amount":"+0.8262948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$342630E4-78CA-47FE-A565-874D5D638740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cf13699904b399053a01df832230a0cd6a257a","datavalue":{"value":{"entity-type":"item","numeric-id":4533008,"id":"Q4533008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c347c458a5499b709bb2670d57c248e0f484ac5","datavalue":{"value":{"amount":"+0.8260957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$7E69969B-E53F-4AB1-99BB-FDE11D8A96F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c17c2651fd05c5b2f5530a5d2755608210f104","datavalue":{"value":{"amount":"+0.82504666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$E1080AF0-FD09-43F9-A9CA-9A604A9B926A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8022e5e7a743967af3bdfd7ecf4eb4935a192ff","datavalue":{"value":{"entity-type":"item","numeric-id":3599106,"id":"Q3599106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfdfbe29ed86c094020d7cddb37b2f71ac1b4b1","datavalue":{"value":{"amount":"+0.8212403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$08E56271-C62D-4002-84DB-B6EB4CD526A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f9d416b78e9d1f61674902abb9dd43dae2f583","datavalue":{"value":{"entity-type":"item","numeric-id":1660780,"id":"Q1660780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a44ad152447817ce0c258e5b8816c7fde1f008d","datavalue":{"value":{"amount":"+0.8177687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5348355$E7545917-709F-470A-B5F7-1F7E25499374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploiting symmetry of state tree structures for discrete-event systems with parallel components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploiting_symmetry_of_state_tree_structures_for_discrete-event_systems_with_parallel_components"}}}}}