{"entities":{"Q1678627":{"pageid":1689368,"ns":120,"title":"Item:Q1678627","lastrevid":68234514,"modified":"2026-04-12T22:19:53Z","type":"item","id":"Q1678627","labels":{"en":{"language":"en","value":"Design of decentralized critical observers for networks of finite state machines: a formal method approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808557"}},"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":"Q1678627$D438AC84-25C7-4FFA-811D-F82C8A1149C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2cd304f152d1a51e577fe0a3f5a84b9fead13b","datavalue":{"value":{"text":"Design of decentralized critical observers for networks of finite state machines: a formal method approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678627$ADBCD43B-83AC-4A5F-BF35-45DFD7314581","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea446832626254d0d28a2aa7e5453e00327de17e","datavalue":{"value":"1375.93014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$A228D65E-BE13-4504-9059-2FC391403990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79eb12211d2793216fba4a97000316ea68491a93","datavalue":{"value":{"entity-type":"item","numeric-id":1004114,"id":"Q1004114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$23251C35-A12A-49FB-848E-F3B774A63054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94754742f83732ae5ab8042aa2ba552db2c15b48","datavalue":{"value":{"entity-type":"item","numeric-id":643682,"id":"Q643682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$8CD46473-42C8-4673-AFD5-BA78ECDF884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"970cb8cf81fc4d300d45f14e760eb5bb9bfc430b","datavalue":{"value":{"entity-type":"item","numeric-id":313145,"id":"Q313145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$7D4BDFD9-BB80-40D2-A251-62DBD60CCD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eb298949edd6cbf202a6e340be4efc069723bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1678626,"id":"Q1678626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$6D7DF5E2-9974-4A0B-9DE3-364A58A3884B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$3566D966-6ACD-4046-8E6D-FECF3D794FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1678627$B223BACC-2920-447E-BB4C-C81A1A917CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2e6852c62577eeb3f968f1682154f7598676c0e","datavalue":{"value":"https://arxiv.org/abs/1412.1784","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678627$EF992D9B-D156-4341-B52D-7266BAA4A8AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$8A6896AD-229D-4B58-AC9A-52D309D9233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$E1B7A700-8A6B-4D2A-B2E0-AE9614DF0ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$201A1957-9D6B-47AC-9A06-076A79E151AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$337A0ECF-6F4E-4188-A613-033B9AEB5D19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5906063a3bc0ff352c1fbc5205dc7dc6dfe5d66","datavalue":{"value":"6808557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$2AD85DF9-4F7F-4848-93F3-52C1923BDCAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3b466954bc9b46018fcc46ca5042fefd33d76a","datavalue":{"value":"network of finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678627$516EF116-1E06-4BE1-A3C4-64D8B540D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8759df4b7b11acfb862a88db0d7cb97eabcbd880","datavalue":{"value":"critical observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678627$0780CE29-35AC-46D6-937D-81AA3E2AE5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970285f4931e28f9bf14629f836a25a0fe94499","datavalue":{"value":"decentralized observers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678627$DCAC62C2-50BB-4E56-82BC-054B79898F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678627$8AB05431-37CE-4898-B7F5-4A1D1BF93B62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$AB20A4F1-63CB-41BA-A890-E49AC28A272C","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":"Q1678627$CED35BCD-3A76-4888-883E-3D4F035BB5A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d133b8b6c0436691adb0732cc67bfc7dbcdaf8","datavalue":{"value":"W2755285785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$02E156EB-705B-47C7-896A-F1760F839CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4b27df433dd681bd3bffea572d668a1d25f01d","datavalue":{"value":{"entity-type":"item","numeric-id":4719062,"id":"Q4719062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$7E8E26B9-0C0C-40DC-96CA-5B5B08163C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96893175fcb13dc264027df3fc57baa169981d44","datavalue":{"value":{"entity-type":"item","numeric-id":853677,"id":"Q853677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$B981A8F1-791F-4FAF-A885-D7F4F1BAE8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d98df04508c1af2243a8af15d9e1a877766f3","datavalue":{"value":{"entity-type":"item","numeric-id":3434962,"id":"Q3434962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$FC3D9CEA-F09F-4CBF-A172-0D26A8D9BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e122497b4ecc45c680dc417cd73e42553e7b72e7","datavalue":{"value":{"entity-type":"item","numeric-id":2928286,"id":"Q2928286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$721A4A30-8B0D-4CCE-B4D2-9484BC73529B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$540996B4-8F16-4BB6-AD9D-36759D4079C0","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":"Q1678627$121E3382-CA07-4325-B23F-E6371EAFE01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$83A44049-0E04-47DC-BD05-65ABEF43ECC5","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":"Q1678627$421CDE0B-3E52-467E-BF2E-F6D92C0B521D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dc71b76a765830d2baf820b7feaf2f585eaf56","datavalue":{"value":{"entity-type":"item","numeric-id":5266818,"id":"Q5266818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$9E4A5C73-8420-4327-A42D-6ED88E961A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$DD158FCF-C059-48D1-A9D2-169E3AE7D16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$186BA432-CDC6-40E4-B880-31964946EB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$C207A384-6FBE-4854-AD75-44F229BF5E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad9a12288037035b29068d66caa22d1b35acd1","datavalue":{"value":{"entity-type":"item","numeric-id":5274234,"id":"Q5274234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$D27EAD43-9A4B-4F21-AEBD-1BF12B1ADB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c642425eb847a12bebd44bf584cb492e171406a","datavalue":{"value":{"entity-type":"item","numeric-id":4493880,"id":"Q4493880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$BA898F46-35F4-499E-8066-A599FCC96D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afe6fa4592414eda389c64f513f729b2a69f046","datavalue":{"value":{"entity-type":"item","numeric-id":5347768,"id":"Q5347768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$DDC54F5B-7016-4B1F-8FDF-A4B1EE0E8471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73a709059498238e43f3588dab938bcf7d3bccd","datavalue":{"value":{"entity-type":"item","numeric-id":987648,"id":"Q987648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$CD0EDE97-AAB0-416C-ACFB-B7639CE6DB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e6937da1b29e0879a4160ff34f23bbbd17fe70","datavalue":{"value":{"entity-type":"item","numeric-id":998679,"id":"Q998679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$6231B31E-05EB-449A-9882-181A01628BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf4ce57170342a098c9401ea160c9876a0da1e","datavalue":{"value":{"entity-type":"item","numeric-id":4978990,"id":"Q4978990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$10A77D23-8E91-4FD6-B311-554090A30D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fb63e8c900c600d96061265f10c4e281c95875","datavalue":{"value":{"entity-type":"item","numeric-id":5266796,"id":"Q5266796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678627$EEB9EB2F-A02C-4DAC-AC4D-44C568016AE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b54c00225e1804bd07dc96e0824dfff7927ed5ee","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.08.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678627$107C9885-5A57-46CA-A452-631FEF9DC6A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14563c0e831f799b6cf077686accfa4342945275","datavalue":{"value":{"entity-type":"item","numeric-id":1345640,"id":"Q1345640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55775824220598aa5e099e8b3877725a67e1c29","datavalue":{"value":{"amount":"+0.6867155432701111","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":"Q1678627$B741CD01-1646-4ACE-9C85-E417E7694D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1fdf84dc7cc1924fb4deafe56e44233a37680","datavalue":{"value":{"entity-type":"item","numeric-id":2928286,"id":"Q2928286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dded68faea57dffac2a37debcf1029d0daa742","datavalue":{"value":{"amount":"+0.6815744042396545","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":"Q1678627$6CEE49A6-9A06-4DD3-B24B-114710AE944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd20dcce13642b5123b35cad652ce432d3616e42","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a880b69fd15624137089aa23769fd43e2bd27aa3","datavalue":{"value":{"amount":"+0.6789035201072693","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":"Q1678627$5C64A4BB-0E17-4475-9805-5FDECFF3AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b45157098282b0f8a105be418f3329a27c9655","datavalue":{"value":{"entity-type":"item","numeric-id":3152831,"id":"Q3152831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9213e0fce90f682f527d402bf199ea9f20649f4","datavalue":{"value":{"amount":"+0.6787118911743164","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":"Q1678627$EA047AC5-0803-4AD6-A139-6ADE0B0731A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"624c9c9f08a5d045dda0e520e5d1f880280c6b14","datavalue":{"value":{"entity-type":"item","numeric-id":3363151,"id":"Q3363151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5664d8202a42b441a1835009dd24a749286050a","datavalue":{"value":{"amount":"+0.6763046979904175","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":"Q1678627$C92A1EF5-6FEC-4802-8F96-A28FFC400CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design of decentralized critical observers for networks of finite state machines: a formal method approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_of_decentralized_critical_observers_for_networks_of_finite_state_machines:_a_formal_method_approach"}}}}}