{"entities":{"Q2988985":{"pageid":2999709,"ns":120,"title":"Item:Q2988985","lastrevid":45213538,"modified":"2025-12-02T18:08:02Z","type":"item","id":"Q2988985","labels":{"en":{"language":"en","value":"Control Synthesis for Large Collections of Systems with Mode-Counting Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721669"}},"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":"Q2988985$2CDCCA72-9288-441D-987B-6F34907EFD6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c679a963c16b303a09f01e357932ceb8b647443b","datavalue":{"value":{"text":"Control Synthesis for Large Collections of Systems with Mode-Counting Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988985$705E7C1E-1B23-428A-9EE6-6076D71AF5E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7df5966e51196b6015977b49b91260f798c161df","datavalue":{"value":"1364.93265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$49A99CD0-304F-459D-9618-6C4A94013CD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7952caade40d320c56fe71cb4cc5af56caa6a9c6","datavalue":{"value":"10.1145/2883817.2883831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$5F038B58-9568-4CEC-8173-25C7030068F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c7f023abf8ecf722b4a46b8dcc404bab8142e9","datavalue":{"value":{"entity-type":"item","numeric-id":1693822,"id":"Q1693822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988985$6080D49D-E242-431A-BB69-A2F4CD3B485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988985$AE86CABE-8D86-48DE-9E8F-46BAA8C8C891","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988985$5E086600-F36A-4B12-BDD5-550B707085E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988985$639723CB-5F6F-4F3E-9D71-0BF05AD57637","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$6AFFAFE6-DC00-418C-9281-3A411757C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$D4A454AC-D09E-48E4-82B7-FC832A284F9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3731433f3f548ee7cbc1ccbe4d80390f372f38fb","datavalue":{"value":"6721669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$0B000603-453B-4F74-83C9-3F210D88D745","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988985$0C8A481D-95EB-4D57-A440-A02905B2BDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15d6af4d4ccbc27f143bccc6dfabeb66c5a6e529","datavalue":{"value":"control of switched systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988985$0572AD38-7480-4E86-800F-A48E25CEB881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988985$30D5D2A6-353E-4CF4-BF6E-2ED881008F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17dd3e50e92f005f44728273add2083ed0beb58","datavalue":{"value":"energy applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988985$F84948E9-8E11-4205-80C8-351488770CBD","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":"Q2988985$2B252C66-893F-4E33-8EE5-A7576FEF6481","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61734b36bf1a609d9405dd5be6541d2e3040ef8d","datavalue":{"value":"https://doi.org/10.1145/2883817.2883831","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988985$91534063-B42A-4BA1-825A-5DE900D8627F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dca03f1f39b0591b4a8eb04c24de969e7ce99901","datavalue":{"value":"W2339353925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988985$85259E27-F6C7-41B9-AC0A-9D6272E39668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aef07a525f6932811ed65aabf4a16872e831f80","datavalue":{"value":{"entity-type":"item","numeric-id":5125453,"id":"Q5125453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd7c96fb14022abf0497200b5deb56dbf981156","datavalue":{"value":{"amount":"+0.8842947","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":"Q2988985$74CFC49B-2231-43A2-A800-2FBDB71090F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b565bd4bee961cec561151fcfea38bf26b048","datavalue":{"value":{"entity-type":"item","numeric-id":733564,"id":"Q733564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9109cb2c609e24858a3631aea49de0d2812178","datavalue":{"value":{"amount":"+0.8751576","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":"Q2988985$DA2123AF-B0CE-4988-BC92-4DC3CAC67CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755db2e7b8629bfae22cd6f92d4578a1f23bd03d","datavalue":{"value":{"entity-type":"item","numeric-id":3067950,"id":"Q3067950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e221168a1a9fd84cca41e6457229fd2091e37f","datavalue":{"value":{"amount":"+0.8727954","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":"Q2988985$46041B48-58FE-4924-8D2C-EFE17AED11B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf6ce33f7f7180c7274d4fdd19b8aaabe423274","datavalue":{"value":{"entity-type":"item","numeric-id":1904805,"id":"Q1904805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac5d8ef378e39ad9127ff001a496d5c5b542249","datavalue":{"value":{"amount":"+0.87012506","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":"Q2988985$ECF0A694-4F6A-430C-88E8-CAA58F6129CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d76391fe08db5a6329fc01e42d0983014c6d63","datavalue":{"value":{"entity-type":"item","numeric-id":1314210,"id":"Q1314210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ef00c021e01f81873ae91fd88aa1feb2f950dc","datavalue":{"value":{"amount":"+0.8698933","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":"Q2988985$BDF74B6E-52E4-4F37-9D83-2F21AF49365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937d91617ee6fe9bab49bb8155c39ad7eac72788","datavalue":{"value":{"entity-type":"item","numeric-id":4945441,"id":"Q4945441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a25d1982f5530002c59711c9aeff2df6732e30","datavalue":{"value":{"amount":"+0.869893","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":"Q2988985$EB20CC36-B594-4B9F-BCC9-3C73F038DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ff6cd0677ed397e2ac239c49dd1c1a52cdcac6","datavalue":{"value":{"entity-type":"item","numeric-id":326264,"id":"Q326264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee61b74655edc505847260c22e89173e77cc6be5","datavalue":{"value":{"amount":"+0.8695696","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":"Q2988985$26BD07F8-F4FE-4DD0-AA7D-579859D25DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c81975c98b9d71072827a165be793493f98618","datavalue":{"value":{"entity-type":"item","numeric-id":1901545,"id":"Q1901545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c07b4fca295de5f298e2d416b173e97eda151ef","datavalue":{"value":{"amount":"+0.8678397","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":"Q2988985$ECFF0B6B-D96E-4BF7-977A-0E06F2B3522C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44984946bd8f821ef03b021531730f96af46644d","datavalue":{"value":{"entity-type":"item","numeric-id":1333728,"id":"Q1333728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4663bcd618f42b68aa98e7c2b74c1dbba1e8eba2","datavalue":{"value":{"amount":"+0.86735404","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":"Q2988985$F699E48B-779B-4128-BC4C-2E2B22BEC296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5170ce4d6363fb11c683cef67e830d5b22785ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4736597,"id":"Q4736597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8184f3aeb781704e24eae9b9305ebe9bee198a2","datavalue":{"value":{"amount":"+0.8662915","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":"Q2988985$7C18DDC3-38D6-4182-8C07-3046B1F8817F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988985"}}}}}