{"entities":{"Q4506590":{"pageid":6536183,"ns":120,"title":"Item:Q4506590","lastrevid":47516560,"modified":"2026-01-01T23:11:48Z","type":"item","id":"Q4506590","labels":{"en":{"language":"en","value":"Online supervisor synthesis for partially observed discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1518094"}},"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":"Q4506590$64551E65-5DE2-42A5-B413-52132B3A95A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f59b8dd28dd776d55de28e6da895e39bd2d650b7","datavalue":{"value":{"text":"Online supervisor synthesis for partially observed discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4506590$DA8257CB-A443-4B20-A5A5-49A7BD0D97C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2b0bfeac3f714e6f560c968c925c1a2c4eec2f","datavalue":{"value":"0981.93044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$DB52A670-9604-4A9A-8397-D9F37A077C51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb8c227d1b93103fc626d965740322fbb13b3891","datavalue":{"value":"10.1109/9.728885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$C053CEA5-BD23-494C-8DB1-889D492A80A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cfae84a73ebad878789e7db65a846e37db40b28","datavalue":{"value":{"entity-type":"item","numeric-id":4506589,"id":"Q4506589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506590$0CA7401F-2D0F-44D1-B870-B354A9B7F101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7391d4094d24fab474f46db8994a7afe1bd4c86","datavalue":{"value":{"entity-type":"item","numeric-id":234096,"id":"Q234096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506590$8167CC34-615B-421C-A1E6-A1942AEE16DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6529830ec0095d5299bff17641137f050b6a8572","datavalue":{"value":{"entity-type":"item","numeric-id":289674,"id":"Q289674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4506590$D8A2D5A6-7B8C-4C6E-8DD3-A328BD8733E7","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":"Q4506590$0719BBE0-9D3D-46D9-984F-F6F847017624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cd021da003ce90b694dcd1b369ed11b6f26639","datavalue":{"value":{"time":"+2000-10-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":"Q4506590$85E47C00-7EBE-4A1B-8710-4BD845F77E6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29dbdda62334669442ca0e1b01a47e869ed15a5d","datavalue":{"value":"https://semanticscholar.org/paper/f51687f314dfdbe2bda54351adcab2c2ca3525bb","type":"string"},"datatype":"url"},"type":"statement","id":"Q4506590$6CDA196E-0903-4E35-A855-4CDDB90A6693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$D35A7778-61C9-4BA8-B368-6AFACD0E980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$FD402275-CB4E-4DD5-AD8D-E7C3EE403990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$483D7AFB-47F3-467C-BC98-23849F82501F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e35e088c477d150dacce47e9eaa81d114662ffcf","datavalue":{"value":"1518094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$3969BE08-C5D6-43E7-A299-DB9CD50BF927","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$FD232718-3050-431D-B042-65BD3F2810FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8904837f4775d116853a6d3c1fadf568aee566b0","datavalue":{"value":"supremal closed controllable and normal sublanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$B5AD63E1-3F86-4FB8-8595-7734B5C9673B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83dcfa8fa8277362b14f55404dd4f68c606d2a47","datavalue":{"value":"supervisor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$3DCA3099-8179-41C4-B5F2-B47CFDE2C5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e9c7ec1162b58a2970ad522205e87d26415418","datavalue":{"value":"online","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$9950C47B-5118-4FC8-A2D5-069A5E995BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2940fa25cdbc6085d5be0b461ab184a2b13ebe","datavalue":{"value":"computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$78F87A01-B458-4EE8-BC28-2A0E77234A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1afc6b665fc582c1410aaf64ab54acd46c2ee4","datavalue":{"value":"disabled event set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4506590$5610355B-FE95-4FF0-8E86-0363F0A1D498","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":"Q4506590$6C7ADCA1-C5F7-47DC-993A-80844E53E591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99481add6f2f23764c29a0f6430f7ae8a8b88e9f","datavalue":{"value":"W2164827563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4506590$C6D7BE84-D73C-49F4-B188-439E30234146","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ed94c27c5f227b8be2f082df8212a10a48977e","datavalue":{"value":{"entity-type":"item","numeric-id":1332442,"id":"Q1332442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c18896dbea4194d989acb5dff30a29601a7a3e","datavalue":{"value":{"amount":"+0.9115146398544312","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":"Q4506590$73D7C10C-8187-44EE-808A-23A471E9E649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18393a4826a7c8e40bbd22a209dfa24fa8dc66d2","datavalue":{"value":{"entity-type":"item","numeric-id":2563760,"id":"Q2563760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125549e47de9396bd7aaaa76d4163183b42b41ee","datavalue":{"value":{"amount":"+0.9109416007995604","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":"Q4506590$83C1D294-38AE-4130-B3EF-10F0F8F84C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da670204fb36c519da46561b3db31964efc4485b","datavalue":{"value":{"entity-type":"item","numeric-id":5496922,"id":"Q5496922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25842db74de7352cc7515ccc4810f0eff58d79a3","datavalue":{"value":{"amount":"+0.8532727360725403","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":"Q4506590$B03CD179-8204-49F9-B736-AE61E06CF97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3602cdfcb2c92924d1ccb509554717eb5eca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3566990,"id":"Q3566990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58eae676952dc5d1f4b8c1fd22f285ef181f71d6","datavalue":{"value":{"amount":"+0.8528695106506348","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":"Q4506590$C1A827D3-6703-4535-B379-1D63EF786C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077e49b3e13a8f7bf3733d3d98bee8ef92bcc2de","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d8ad3f6d5b5473a46251cf078191aaba15ca30","datavalue":{"value":{"amount":"+0.84860759973526","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":"Q4506590$53540D09-59B2-4B6B-81BC-B7D413BB9364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4506590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4506590"}}}}}