{"entities":{"Q4978908":{"pageid":7008486,"ns":120,"title":"Item:Q4978908","lastrevid":98243996,"modified":"2026-06-05T17:01:50Z","type":"item","id":"Q4978908","labels":{"en":{"language":"en","value":"Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6764989"}},"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":"Q4978908$1DAB4AEB-CEDD-4B03-B14F-DDE94763CB01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13ad922f92a5a38d36e636542f24a2862e298816","datavalue":{"value":{"text":"Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4978908$B3758239-94FF-4FB8-BD13-0C59EB021E3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b43e49d0f53e8918f323f2d1d2f80fc343309e64","datavalue":{"value":"1368.93389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$E62F306D-D705-45FE-80D2-2CE3CFFC8BD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a00579c85dd6ba77d0c498baa91035062c7c004","datavalue":{"value":"10.1109/TAC.2010.2048634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$3773B653-8A6A-4934-B160-52B86F914D97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48b627e529758f1d91e87f9dfa561d88d2d06bc8","datavalue":{"value":{"entity-type":"item","numeric-id":225308,"id":"Q225308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978908$043B7157-FB1B-4675-80F7-A4DEA6638330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc86ddb24621ffe390dca2a4daa7ffc245ec9c4","datavalue":{"value":{"entity-type":"item","numeric-id":434479,"id":"Q434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978908$35A7E18D-C994-4254-8730-6B1099502F48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978908$C270FC39-3718-47E7-A465-FA5F0C797BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41e05a1824dbd0ec168313322c6c977f7eecc0cc","datavalue":{"value":{"time":"+2017-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4978908$667A1281-898B-4737-946A-96C52B380C65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$E5A5884B-D353-4439-977B-CB59671F79DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$844670D2-90F7-493A-B3D7-5E8E3554A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$4448B616-EF34-446A-8F22-4AE66C083E11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"890fbf87ed8f32c0bb6f1028690de0a353ee9031","datavalue":{"value":"6764989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$5E478711-ABC3-4074-8808-8AF6A54ACBC3","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":"Q4978908$0C51D554-2EBC-4B1C-BECD-9E9761AC5D22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"403b79765091a7aa80638262c46b9c1d6ff59528","datavalue":{"value":"https://doi.org/10.1109/tac.2010.2048634","type":"string"},"datatype":"url"},"type":"statement","id":"Q4978908$3E5731C4-6994-4D93-967D-6652D7A54076","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f111803bbd70e31e5de404338cc898fe0dff31df","datavalue":{"value":"W2111919211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978908$67762E93-30BE-4E95-BF80-F55D8FD3980D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1acc6a2e7cdac31d0123394da5ed1d60739fefa2","datavalue":{"value":{"entity-type":"item","numeric-id":4974151,"id":"Q4974151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a4f0e508979ae42b1f621c0c034c6b4c9df8dd","datavalue":{"value":{"amount":"+0.9188449","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":"Q4978908$A562A17E-7F75-407A-B584-22F4A411DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b1d7df3234ea3d2c2a70f560679bce99feca4a","datavalue":{"value":{"entity-type":"item","numeric-id":4782032,"id":"Q4782032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417593bf634bfe7a183d8b8c60fbbb37c1846bb8","datavalue":{"value":{"amount":"+0.90979534","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":"Q4978908$C2811CF4-435C-4B9D-8416-8387C0290360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07192a2a48c5a189997ebdd9404fe9a4606fdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4824528,"id":"Q4824528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91e9d39d595257faff665d14463e182b0f22a41","datavalue":{"value":{"amount":"+0.9090382","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":"Q4978908$C40DC71F-3CC1-4170-8E16-ABF46DAF3299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd555041dd58bba5f67acede86f15e3b502cfb62","datavalue":{"value":{"entity-type":"item","numeric-id":5410841,"id":"Q5410841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ab6a80e698b797879ad731a984996b6ceb927b","datavalue":{"value":{"amount":"+0.8944716","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":"Q4978908$DBB78BF0-D801-44A5-AA0C-9BEBF3349E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6ab77dbe06f1b93670d9969dc7f4b5f77eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb5c2ab19bb1597bc9e5d8e8d4a656b3dbed567","datavalue":{"value":{"amount":"+0.8936712","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":"Q4978908$49E2C6ED-E476-4603-B4A9-3E94C447EBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38cbe5387ffc3b5f5985a2adcee70667283b2660","datavalue":{"value":{"entity-type":"item","numeric-id":4562806,"id":"Q4562806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758191c7c7e59bad0dbbee86a903b137d1d9cd59","datavalue":{"value":{"amount":"+0.8904129","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":"Q4978908$2317EC2D-A414-4669-86D2-1B17B9FBE0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf902d07715ef3053a4e92a24ab0334b9d49d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2943676776d1202b3b735576bfda04e52a8ac605","datavalue":{"value":{"amount":"+0.88181275","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":"Q4978908$DC2676DC-8080-457C-86D4-68440A0BE289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e51a0e5e444703544e77bfd7611d8f9914951d","datavalue":{"value":{"entity-type":"item","numeric-id":5287802,"id":"Q5287802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7562343dcde64afbeef3e11df90d518d902ced0","datavalue":{"value":{"amount":"+0.8789557","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":"Q4978908$41A8E2AD-7478-4614-BDBB-A4439F405792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697e892f54bc216dcf34db65056291a91c3528b5","datavalue":{"value":{"entity-type":"item","numeric-id":5885180,"id":"Q5885180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed1f7903194782e436a756fd640be632b1118ee","datavalue":{"value":{"amount":"+0.87609196","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":"Q4978908$5473F319-DF37-4824-9AA0-4A62D5421DDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_Over-Approximating_Inference-Based_Decentralized_Supervisors_for_Discrete_Event_Systems"}}}}}