{"entities":{"Q4733422":{"pageid":6762999,"ns":120,"title":"Item:Q4733422","lastrevid":49318858,"modified":"2026-01-06T23:10:05Z","type":"item","id":"Q4733422","labels":{"en":{"language":"en","value":"Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119648"}},"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":"Q4733422$91429F88-0DC6-4E1C-B71A-D0B6A728BBA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f73e5a165ef3403a8e71f476c39fb4587d516d4a","datavalue":{"value":{"text":"Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4733422$4461B2A7-1EB0-4C6C-97D7-9C807AA44BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb81f2a9cc62a3c0a465f15f9e318f4d6b717b7f","datavalue":{"value":"0683.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$1F219D02-CCE6-4A71-925F-7D64A3FE67A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dab2d17cbebad291a5a25831987bc2ef9340cc7","datavalue":{"value":"10.1007/BF02088297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$10F3F3CB-B29A-4DE1-8749-91A659BAADF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f454bc232a56aa9a0fb4d1c268c7e7d27f0e92","datavalue":{"value":{"entity-type":"item","numeric-id":1108987,"id":"Q1108987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$F8891879-404B-438A-BC13-254D0514F891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aea9e72fca281113bd461c67e0f2e8956cd73fe","datavalue":{"value":{"entity-type":"item","numeric-id":300755,"id":"Q300755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$08AA1746-75AE-4BDC-9F4D-28BB793CD353","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$9C04F1C8-0C11-45C6-8FBD-1C3176606854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4733422$7A707461-0B4C-4B88-AE6A-86BCEC9F9C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$4A7FA53E-D83E-4895-9309-5A679B216B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$77EF3581-2FDC-4FB0-A147-1544B1129354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$31488D35-3306-43AB-B2FD-58388E021482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c4ef4703d6c78a6a49bf070d52033e046f1f65","datavalue":{"value":"4119648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733422$88379B98-2DA4-47D7-BC02-23A38216C1A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5686942514ff6ba84353f8d4a2fc17199687949a","datavalue":{"value":"controllable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733422$1F72C1B9-ED7D-4087-A04B-1BD9DB5C15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733422$5BF10040-4EF9-4763-BB40-15D346887DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe679446c5613a4d072d522544da2d386983ed17","datavalue":{"value":"discrete event dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733422$13CE3A3A-6A5C-4BD2-BBE3-57918EA73AD1","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":"Q4733422$77DE924D-4082-49E7-A53B-64EB969AC8FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$E6BE9E5D-250D-46EE-BA2C-2BB988A08876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$7A209C83-145C-491E-AE33-14959BF3E14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$172DE28E-98C9-4543-85AD-CA2870E39636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302cee69ff16e8fc86589e63697fd38f6997bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$D5C91A71-33C8-4067-9528-C5D023F447A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$51E6F4E2-ED24-4F13-867A-FDD123590D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$CF8BF0B0-0FFF-4AEF-92CD-4303E684D6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dbd22969ccd576c52eace0c35df89efd526398","datavalue":{"value":{"entity-type":"item","numeric-id":3818944,"id":"Q3818944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$16607609-FE3A-4F71-B3A0-2E60EE45A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746d8a15ac1a10f5710f9e32e40d07818591516","datavalue":{"value":{"entity-type":"item","numeric-id":3744185,"id":"Q3744185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$7DFCF538-C5D5-48E6-BD66-01595332B036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$B6A279B0-B7FF-479F-AFF2-07BBAEB85E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4f57bf57f268aff41bdd3d57c166073b9b4c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899777,"id":"Q5899777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$B1BE86BE-76B8-4FA7-BA73-94CB4C52BBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733422$5BB3E9D5-B391-46EF-8A63-25003D403BDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a32b0157eeab19b7ecdcd2f484b3d8947828af","datavalue":{"value":{"entity-type":"item","numeric-id":1108988,"id":"Q1108988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362624dc40bb2d6d6a87f5adcd07906a3c63c86c","datavalue":{"value":{"amount":"+0.9274032711982728","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":"Q4733422$68A288F5-CDA9-4883-8511-315400AE5FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21fb2d2c1a515873184ff25c0cffd65133589552","datavalue":{"value":{"entity-type":"item","numeric-id":2503503,"id":"Q2503503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c4a4cbef3201a81f7a297225fd668fe78963b0","datavalue":{"value":{"amount":"+0.8605392575263977","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":"Q4733422$D263D2BC-F1AB-4FD0-A669-E995EFC949C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4857455f913514e95a21aafb4665bfd232473543","datavalue":{"value":{"entity-type":"item","numeric-id":1788694,"id":"Q1788694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a71fcb1cb621ecb03375f858146f0b36a12ac82","datavalue":{"value":{"amount":"+0.8512458801269531","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":"Q4733422$84B58858-6973-4B5F-BF79-0A2006BADF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3f12e67369316ec71258ea9f482c2bb58f08fa","datavalue":{"value":{"entity-type":"item","numeric-id":4506590,"id":"Q4506590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b42b24f2c91801130ab040b5ad024efd6af524e","datavalue":{"value":{"amount":"+0.8451017737388611","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":"Q4733422$6881958A-A815-4DB1-A73B-AB296831037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56df7a7eae3a61a8707ba8966dfd408fcb0b7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4763558,"id":"Q4763558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c0ce3a3ea9e2d948779388169e87dcf81093d9","datavalue":{"value":{"amount":"+0.8370220065116882","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":"Q4733422$ECE918D8-8893-4296-8A2A-608BB32F16D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733422"}}}}}