{"entities":{"Q6551651":{"pageid":14162806,"ns":120,"title":"Item:Q6551651","lastrevid":55679839,"modified":"2026-02-17T20:54:40Z","type":"item","id":"Q6551651","labels":{"en":{"language":"en","value":"Data-driven abstraction-based control synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861366"}},"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":"Q6551651$2EA525DE-BF29-4594-AA42-CD68802F89DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3550863205f503fa20179d7fbcbe197b1a609d","datavalue":{"value":{"text":"Data-driven abstraction-based control synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6551651$BF32BBC2-8A36-4304-BD22-945241E3AD85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd2691a1d96e4cea5294211c46b6b2aabd2aa86a","datavalue":{"value":"1541.93106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551651$D24014C7-2518-4637-A163-399BEBB893D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3caa793830c6042e8ebdae2ee89297267eea6ee9","datavalue":{"value":{"entity-type":"item","numeric-id":6487918,"id":"Q6487918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$07B27523-AE39-45DB-874F-FEA29FC380A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$6F7B1797-2A76-4D3E-8997-A126E324B381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd3144aeea7790b90478d0826fe820e65f922c3","datavalue":{"value":{"entity-type":"item","numeric-id":6104819,"id":"Q6104819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$B08FA85B-0E68-480B-808D-E3329D91351C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$9CA59E3C-58F0-43FE-9953-D8FD85CCE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a865e3596d3e4933ef2bb9169082cc2394a73b40","datavalue":{"value":{"entity-type":"item","numeric-id":6551650,"id":"Q6551650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$0956274A-EB28-41FA-9760-6741FC444C6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$E03C5E6D-080B-438A-92CF-589CC6833AD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ebbfebbde9e44ce8411984988976e62e4323a","datavalue":{"value":{"time":"+2024-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6551651$59475EAB-1147-4CAF-9DD2-CFF27AD65DA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551651$A8C2586B-1905-4A06-8741-94C50A2007D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551651$62A99CE6-E103-416D-B3EC-4D69916310F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4d29d02455edb7c870b9f4912f6c957efcf86ea","datavalue":{"value":"7861366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551651$B318BE1B-A715-4010-B9F3-0E9FC279C984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f21404a0b0f488a01961ad673ca99a2c07bc5b","datavalue":{"value":"abstraction-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551651$6AB8B7AD-BA3C-4C95-AA6E-BA8899506B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89197c398ec5b552cb331dfd701cccd8706d69e9","datavalue":{"value":"data-driven synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551651$9B5B61A6-987E-44B3-A0EA-16DF141C2CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc0921e528eb6e18c84e9b7097d68186cd07147","datavalue":{"value":"formal controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551651$2CBC4667-6680-441E-AAD9-FC8F8E4AADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"069723b5518c531a3e45ceb3a7ca0ae760d0fab9","datavalue":{"value":"sample complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551651$34616C91-E756-46CF-B0B4-ECD0AEC20807","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":"Q6551651$C3284876-C5A4-4917-9F1C-884AB512FBFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$549AD36A-9838-413D-A052-2CD8C2EDB597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$993067F4-C1D9-48F0-B7D4-78A8C035D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$EA2A7B9F-25BD-4581-838C-A6A738F992B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$DB94F66C-BDE2-4FCD-B5B9-840B92FD842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$1052CAF3-58D0-4AFB-AF9B-C2701A7500C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff2da48a13edae7e6796addf5a57db0c2671159","datavalue":{"value":{"entity-type":"item","numeric-id":1923791,"id":"Q1923791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$ED819BE4-CEC6-4D31-BAB7-80700F704E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$9ECB699C-8EE3-48DD-8196-5733AA2689C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294378f0868aba0cffde495618b69e78f27ffc2e","datavalue":{"value":{"entity-type":"item","numeric-id":2097770,"id":"Q2097770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$7D149E4D-963E-4D75-A6BB-9ED8132B3B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deaa9f7cc163d01368af5cdad8868e811294d93c","datavalue":{"value":{"entity-type":"item","numeric-id":4561447,"id":"Q4561447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$F4ABFF70-B2E1-47A9-A10E-8A0456670BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b0ade43b9b7715d821cff09bf6b6e8b71f6f5cb","datavalue":{"value":{"entity-type":"item","numeric-id":6201592,"id":"Q6201592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$FE0B9983-E7A1-4159-9373-99584D59E175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783311e1a51f1584d001f5293611ae73715bdb54","datavalue":{"value":{"entity-type":"item","numeric-id":2151266,"id":"Q2151266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$D9623738-37C5-4548-AF40-80F6191A0015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e9326e43b7ba2026f7259be5a62ff31f311229","datavalue":{"value":{"entity-type":"item","numeric-id":2677109,"id":"Q2677109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$0E207490-34C2-47E6-B007-8D39E8563DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b694369b3a9903ff2f3f6b1bd4716d1347be56aa","datavalue":{"value":{"entity-type":"item","numeric-id":2116657,"id":"Q2116657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$8D16D5AF-6725-45D6-88DB-876C8DC5EBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bc92b4034fd5fc2421e68d283ef1ab4230a71f","datavalue":{"value":{"entity-type":"item","numeric-id":6537278,"id":"Q6537278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$86B13CDF-E85A-40BA-AFF6-898F1D128058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a110f645dc01cb1cc377d191f385d2c1b9814220","datavalue":{"value":{"entity-type":"item","numeric-id":5881801,"id":"Q5881801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$0AC87C3B-E860-4CE5-97B0-E703A70A455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b942bcca6edab4843c04890cf4f72593d6e8187c","datavalue":{"value":{"entity-type":"item","numeric-id":4862786,"id":"Q4862786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$73295D65-21BC-4839-94E9-32B380D42609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141be1dd60a7b267cda7b2ece12ebd4cfcd500a5","datavalue":{"value":{"entity-type":"item","numeric-id":5122335,"id":"Q5122335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$82541FF9-1C69-4D5B-A89F-A28537A503BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39d74afe4c0bc6628836a8785eaf8ed8a2b44f1","datavalue":{"value":{"entity-type":"item","numeric-id":5281828,"id":"Q5281828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$043A1AE5-FEFC-441C-99E9-F818A4D5EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a28e73015a55a151cf347cd4807c3088cc3931","datavalue":{"value":{"entity-type":"item","numeric-id":2982877,"id":"Q2982877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$F5589111-A58B-4227-8F21-8223B1278CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b17440c3a5fcd63c00e2237db83c791bc44633","datavalue":{"value":{"entity-type":"item","numeric-id":2988967,"id":"Q2988967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$B3592F67-A714-4239-AF34-C6926BB73AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$59491191-A5F9-467E-B4EC-F338775B422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6bbb1f145eacb45e0ed6d756c2c541b1430890","datavalue":{"value":{"entity-type":"item","numeric-id":5798377,"id":"Q5798377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$78DA07FB-4D4B-494D-9CE2-4F96BF7E6886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551651$E343F855-D804-41D6-A26C-0CB60399D82D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"498a1b7ae8cc92e2017eaa43f7397a3e39ecb4ed","datavalue":{"value":"10.1016/J.NAHS.2024.101467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551651$9A305EFB-FA80-4F22-833A-C5D4D0171032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce6ee3fdae4900c85a0fceddf93c92607b5a4df","datavalue":{"value":{"entity-type":"item","numeric-id":4561447,"id":"Q4561447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beaa43a93533483a13f74fd153858e8a3ee79483","datavalue":{"value":{"amount":"+0.8177161812782288","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":"Q6551651$38E125DE-955B-468A-9195-E750CEFF9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0cf49c4b96dd905323d6a59c7cd7d95bc25f54","datavalue":{"value":{"entity-type":"item","numeric-id":2665709,"id":"Q2665709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba7b26be431bae65562967fa43995af22a0128f","datavalue":{"value":{"amount":"+0.7934236526489258","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":"Q6551651$795A0FD5-2DD1-43A2-A9C2-733FFB7E8300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407a371c660de79fac203fe7a19d17758818a5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3297583,"id":"Q3297583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9cf041a8745dd9201423689605aa1a07c38cfcf","datavalue":{"value":{"amount":"+0.7705973386764526","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":"Q6551651$AB0A5D34-0231-4C7C-AEF7-19E45ED658CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e928dacf1aefd82b3094ca50b761deca296d4251","datavalue":{"value":{"entity-type":"item","numeric-id":6194595,"id":"Q6194595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3490205c06929ff103d72f8e5905f822de7a585e","datavalue":{"value":{"amount":"+0.7606016993522644","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":"Q6551651$60BD138B-48D7-4A27-BEDC-AFD0325647C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571d4f345b2ca2b15641f16e77c34b55656efc84","datavalue":{"value":{"entity-type":"item","numeric-id":4561443,"id":"Q4561443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a8317b81a863fc3adad5732c18da66199e6719","datavalue":{"value":{"amount":"+0.7599866986274719","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":"Q6551651$8613BA81-AE91-463C-A0F1-FE9A60C72CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6551651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6551651"}}}}}