{"entities":{"Q2263188":{"pageid":2273931,"ns":120,"title":"Item:Q2263188","lastrevid":43781112,"modified":"2025-11-14T00:52:08Z","type":"item","id":"Q2263188","labels":{"en":{"language":"en","value":"Design of reactive algorithms by solving equations over automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416291"}},"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":"Q2263188$02A8DD4F-922B-4C15-94FE-102A96A28F5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d8244cb9c74448122149581b4a162e58dda5c5","datavalue":{"value":{"text":"Design of reactive algorithms by solving equations over automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263188$5BD82D20-4777-4EA2-B596-1A80EB28530C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e8bfc9adda563a9430b5113599e4cd8fc3fd70d","datavalue":{"value":"1307.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$EFDAC85B-F9FB-46FA-8440-2CFC763DFC43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$5AB3CDEE-8B4D-493F-B162-717EDD365B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263188$3A5D0F1E-19C8-4312-90D1-38627DCCA7EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$4C2C0B77-97AE-41A8-A1BC-5DFFB7EEA081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$04298308-41CD-4320-938A-082E3B0131BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b83fc7c113e096c2dfa96a1eb90bd7406fa141","datavalue":{"value":"6416291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$4D52BE87-7F4B-4D0A-A10C-7B214D42393B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$60AD109D-EC32-494A-B58F-940FC157CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be427e5b84bb59d024da3f4345a3065e35a2106","datavalue":{"value":"specification in language L","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$2E7A5747-87D4-4AFF-97CA-4EEC6FA08BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b23fa40789a388a116c9c5e077a97a0a942118f","datavalue":{"value":"\\(\\Sigma\\)-FSM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$C2F3B402-05AB-4426-9ED9-DD8F57E810CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6aa16aee76f858cfc695c68d8365b2f97a76dd","datavalue":{"value":"synchronous composition of \\(\\Sigma\\)-FSMs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$E0856E5B-DE49-467D-96CE-9B4FD8104218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1dd1d351a111216c9be94a00a4ec308922c9859","datavalue":{"value":"inequality over \\(\\Sigma\\)-FSMs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$AA8AB12D-CCFA-4201-944A-D995F539B270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be1140338abfa526ad3da76ebcf20cc48c61d24","datavalue":{"value":"maximal solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263188$2052C17A-042E-4B13-9213-9F29BD97734E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$53E5B815-2131-415F-BF42-C9D290F00BF5","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":"Q2263188$7DFD6319-1B2D-4B34-93F9-EFB62CC43C69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c991d7250eba055d43bef9e683e990fdf1d0d267","datavalue":{"value":"https://doi.org/10.1007/s10559-012-9427-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2263188$D8DDB6B2-6F0B-4EA3-BC75-5D141C1021DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7a51677356fc30ce9eba80a1a97b2091539579c","datavalue":{"value":"W2046836211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$CEF63B6D-4B22-4ECC-8E5F-30495B525EE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdb7e88d4cb56dbe386cc7e0ba97cc60cb8630c","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$D5BE2143-2492-49C8-BCC0-C507984EAAF1","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":"Q2263188$D6E77C37-D96F-4B64-88B5-378AA37F890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698c9f18b029abab76114b4fbf0c96a432692eba","datavalue":{"value":{"entity-type":"item","numeric-id":941189,"id":"Q941189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$5B3AF955-F796-4C2C-A57A-66EC8FD53333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10b5a80169168a18fd251bf1eb4b8f64335e55e","datavalue":{"value":{"entity-type":"item","numeric-id":5942109,"id":"Q5942109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$6DA81F78-FF82-4A44-9919-2BCC84671EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3e875e3ba038b614b938597c7f8aa588deb2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1816030,"id":"Q1816030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263188$96DD30DE-4386-4E68-A2B9-A87B2ED010F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35e8d983af8b410c7169851d236c44e51bc184b2","datavalue":{"value":"10.1007/S10559-012-9427-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263188$8108AB2B-6DB5-475E-858E-D5AF4A9581F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b580c0e3e33201a7c09c4abcbeffd2208682ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5147341,"id":"Q5147341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c18888c61c1206581fb659dfa52b90cb0f37af7","datavalue":{"value":{"amount":"+0.8883964","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":"Q2263188$043088D8-98DF-4511-9BCC-7516F3DB1968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30d3b820dbcd673d057516c152118b0ae0398ee","datavalue":{"value":{"entity-type":"item","numeric-id":4433972,"id":"Q4433972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e059e83c42de103d248342284d770441b227fa","datavalue":{"value":{"amount":"+0.86288875","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":"Q2263188$CD155C7E-35DA-4949-B41D-F7164C7CF4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d098159c142109e84d5ec409c6b33be493ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1575270,"id":"Q1575270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fad756a69ccef9b94d031ec3ed3b962e8d83720","datavalue":{"value":{"amount":"+0.85593987","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":"Q2263188$60E992FA-8AB5-45DF-9017-B9E31D4F8006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7018addda90d3f4acc477e1a70e0fd914e37759","datavalue":{"value":{"entity-type":"item","numeric-id":716325,"id":"Q716325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c2de2ae1bd5ffa75cb644b6731ed32c0408039","datavalue":{"value":{"amount":"+0.85491544","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":"Q2263188$CEAB4054-A030-43FB-B1E4-67BB816E839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69eb9b518e1a28d9ed0ac9a3b700fe7bb1b2f1f3","datavalue":{"value":{"amount":"+0.84827936","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":"Q2263188$DB08A452-CB60-45C9-AE41-77FBC1C87D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47aff1b0e07858b6e715d4dfcdbc27d5542d6e2a","datavalue":{"value":{"entity-type":"item","numeric-id":418799,"id":"Q418799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4cbf52a5696e55e033da47428004059d170b11a","datavalue":{"value":{"amount":"+0.8370961","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":"Q2263188$29FAA338-FB46-441D-BBD2-A5F7B88322A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2902e0c3793a43aad5991bd675040ac9e476e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1983008,"id":"Q1983008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f76ffb3ec573382fd7706c49bea1fc4f5c15d8","datavalue":{"value":{"amount":"+0.8342985","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":"Q2263188$D9D1A52E-ED40-4FDC-AC2B-EF871B3A489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c064f5104d7f2b867288e49e48b75494b733614c","datavalue":{"value":{"entity-type":"item","numeric-id":2736352,"id":"Q2736352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610dbfc0abb0edbf8a2e2154830a09d460697467","datavalue":{"value":{"amount":"+0.82920116","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":"Q2263188$BC658EF3-990F-4D14-A15E-07E5A4E53279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cebf7728cdb1f68669485db83ff8f8a51d092aab","datavalue":{"value":{"entity-type":"item","numeric-id":465979,"id":"Q465979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47ffd037523f5912d62cc65dc31af00279619b8","datavalue":{"value":{"amount":"+0.8289138","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":"Q2263188$695496D2-5674-47B6-9BF0-FB2EE7132AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e633904d6a8f194203aca48894416eb807201ef","datavalue":{"value":{"entity-type":"item","numeric-id":3564943,"id":"Q3564943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11e9d1010ac8658177ee0c5156a18febca3cb86","datavalue":{"value":{"amount":"+0.82765347","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":"Q2263188$3EB545FB-8461-49AC-8091-64C09CE3488E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2263188","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2263188"}}}}}