{"entities":{"Q884763":{"pageid":886611,"ns":120,"title":"Item:Q884763","lastrevid":65089353,"modified":"2026-04-12T00:14:37Z","type":"item","id":"Q884763","labels":{"en":{"language":"en","value":"Modal specifications for the control theory of discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162112"}},"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":"Q884763$1E45331F-E3EF-4755-A611-7E947C4D88DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa92a779228ba800741322edf17a87fd730eced","datavalue":{"value":{"text":"Modal specifications for the control theory of discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884763$F2EF5478-40FA-4F90-B413-C99461E3AD21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"287240fbd6e2c2096388e3d712289f135647a207","datavalue":{"value":"1116.93037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$EF05ED18-7D98-4D8D-AA54-EAE766D3DFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccdfac7cbf895e245b655f0e166172b554255f4f","datavalue":{"value":{"entity-type":"item","numeric-id":556683,"id":"Q556683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$1EA4AD14-7D4E-4DFD-B466-1FD0E1BC5A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$C3CF6127-F4E9-4CC1-A784-C1C49CDEE63A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$704FBAC5-DF6E-4868-BAB8-E155830CA08D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884763$551F0A2E-2CE7-46DF-BCED-4645CCA95CC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$F7E26DA3-B833-4A3E-9A64-9AC04ABA0EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$ADF381E5-138F-4C87-8BE0-D9778CD09F6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c77c4220885cc3e13476a47679db65be05d5a8b","datavalue":{"value":"5162112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$9C7C6E96-C850-4FFB-8A11-5BE935466C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f371187a5ea65b84d0b56e09c00f21964cedd1a9","datavalue":{"value":"Reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$6C92F2BE-F234-4BE1-842B-9ED77171B4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65be3c27a94943cc064fe5cdf6fab9c5c2da9321","datavalue":{"value":"Control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$E599C5C8-020B-40D4-824D-9184A2E07ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d356fb974c4fbc72534c9a6c58a36cdda3c85a97","datavalue":{"value":"Logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$863FDF1C-7C1B-4BA7-8D32-AA0D6C66114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$6409F1A2-847D-44DC-9A84-B42D6E42FD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06f766812253159da44139d49d8ffbd50c9d96ae","datavalue":{"value":"Conjunctive \\(\\nu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$1F21111D-2760-4975-ABE4-B7EA0E21329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19f3397d69c04697bf18fe66f441208634a5d1de","datavalue":{"value":"Modal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$FEA71FBF-D00F-4962-A15A-BB614AA3A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ac4d82f749cd459685f818ac0cab9b9a8aaf9c","datavalue":{"value":"Maximally permissive solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q884763$78C31C5B-2B95-415D-AF84-D6E43D254DC9","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":"Q884763$00348C07-BE2E-4076-9E17-163CFF6C3702","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":"Q884763$B640B33B-97DC-4D5A-9B74-AC457A5F0319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f768757f7d5b5e13eb69a1492d76b534809c627e","datavalue":{"value":"https://doi.org/10.1007/s10626-006-0008-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q884763$3D2BAFBF-AF40-4597-ADFD-7FF33984A9F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5549e9d5eee10f7fa6f9327633c58727b06828b","datavalue":{"value":"W1974141623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$31E32218-4568-454E-ACA8-899FF2DFAB70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$B44FE372-1673-453C-91BE-E355E5E8D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$CBDA9550-6B2E-4841-A053-11852E9A1C36","rank":"normal"},{"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":"Q884763$20F0BD98-1155-4813-84F6-F4A857AF8559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$A58C2C41-66CD-446B-BCFE-F802C0163045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$DF926C86-EF83-47B6-BE9C-68243DE1933A","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":"Q884763$85587ECC-7489-46A7-ABE5-8A0AA113433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0760b2ffa6b0ff9a014636f1718ac6eec5fe64","datavalue":{"value":{"entity-type":"item","numeric-id":1041809,"id":"Q1041809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$6CB17D1A-2661-4513-A8AD-8B4E5138A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43794578a5e5c5f9427afbef7633a2928f53ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":5431352,"id":"Q5431352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$A4A82D4D-7FC2-4510-BD82-69D467DF1A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38685204a6d52ca3bb8e7b5bb3dfdb661bd3656a","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$349CEFDF-DDF4-48FC-8950-A3F6F3A86F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a40e9b7c3554619cfb4f2e808d4307637be78ac","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884763$A556DF69-30EC-4E5C-BA78-749B6C26B4AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fee594cfbfc2b998291c2b393d458d93961d01e","datavalue":{"value":"10.1007/S10626-006-0008-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884763$29FA3F79-7E81-4E0D-823D-CF678298325A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf224537288d8c71b137b5e1b771e1958c8a7fb","datavalue":{"value":{"amount":"+0.8052469491958618","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":"Q884763$06333F08-C140-46BF-94C3-D3CE113F3D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9c2d27cb82dd81a5b1c23e3975587498e7ff25","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f29183f13ef680f20af8ec681eb3cd07777b393","datavalue":{"value":{"amount":"+0.7943562865257263","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":"Q884763$65220245-15B9-46A8-BC6C-9C50AF4429C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942e099bea99b8e42a4886096d8978f51280ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":5897476,"id":"Q5897476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42060c005157a7a875f4a83cc74b39e33776bd0","datavalue":{"value":{"amount":"+0.7913532257080078","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":"Q884763$44A1B452-5D16-4F37-8F7F-9BA114BE7CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5471776cea5061a4a63b45dca28a05028f04e","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30808606c3f642a27bac3b50bb8eddb8f7c563c0","datavalue":{"value":{"amount":"+0.7820914387702942","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":"Q884763$4C610FA3-BDFB-405E-BF80-9298FAED6DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471ec1fafcbf54763250698a044eefa477fad72","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32dbafd42b390f8a3406d87aaa55abfec889363","datavalue":{"value":{"amount":"+0.778486967086792","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":"Q884763$7AFB4195-9BFC-4044-AC5E-5C54E90C6798","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal specifications for the control theory of discrete event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_specifications_for_the_control_theory_of_discrete_event_systems"}}}}}