{"entities":{"Q3297583":{"pageid":3308291,"ns":120,"title":"Item:Q3297583","lastrevid":80753771,"modified":"2026-05-06T16:55:24Z","type":"item","id":"Q3297583","labels":{"en":{"language":"en","value":"Lazy abstraction-based controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222913"}},"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":"Q3297583$A0BA2B7C-0395-4C93-B68B-8EE9D34D38A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f4a362a26e2031a47f3639ac4f2b53a0d2aa77","datavalue":{"value":{"text":"Lazy Abstraction-Based Controller Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297583$804790F7-8C5B-4991-A0EA-D45C103825AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035c235eba1d49ff4798b743ab01e2718575b06a","datavalue":{"value":"1447.93060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$CAE48CEF-2935-4930-81B9-BF0548C2DED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92fb35dd30b559e366dfecad88ea55a83fff0469","datavalue":{"value":"10.1007/978-3-030-31784-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$DB026A56-3B9E-49AF-933F-32AF591300FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f03aa9dea7a30c5f3f499dff93beda3e57949cc","datavalue":{"value":{"entity-type":"item","numeric-id":3297581,"id":"Q3297581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$3586AD65-4FAD-46EF-916F-0C5A2569B330","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":"Q3297583$BF5F4086-9515-4719-B3FE-325C8931BF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700c27e1aef9c2b7cb0106c2c4c93dc9c7393211","datavalue":{"value":{"entity-type":"item","numeric-id":3297582,"id":"Q3297582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$B537DC28-CDBE-4F2F-BA43-24C1FF2244A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$32127F7A-19F2-451F-A9C8-6CC5809BA164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$BAF6C387-41B7-48C4-974C-9818B82ADF74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297583$20853FCF-D4C6-459F-B3FC-A4C855F9767B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"371ec35c2dc5c85013af4f9c6f3fcfc675dab5ef","datavalue":{"value":"https://arxiv.org/abs/1804.02722","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297583$D26F7B4D-C471-499A-B30B-48EAC1DDC44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$DE9E284A-92A0-4E03-8451-BDF79984B3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$613D56B3-FFE3-4069-B3D9-054AB21106B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44c3dab7f90155e4daa00b091e5cb690e576197","datavalue":{"value":"7222913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$C839FD56-C821-4B78-BFF5-6BD5B88837C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab81c5f7d6b421a8f373c75fa5f13ffddbd7266e","datavalue":{"value":"abstraction-based controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297583$A01CBFC8-8A81-4B65-A3D6-3CB60728E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2b1f948a55cae52a1f17897115d74e6eb904c1","datavalue":{"value":"nonlinear dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297583$725B9D63-2A34-4596-87B8-76FD86927E95","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$74A0A0C2-2A04-4110-8C2D-F46B9F194D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30087239a05706387be1715ab110528f81114a74","datavalue":{"value":{"entity-type":"item","numeric-id":31946,"id":"Q31946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$F09D1D51-1D9C-431A-844D-2359AF6A7BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e78bf80f5904ed9478080bcb0306912eceb7343","datavalue":{"value":{"entity-type":"item","numeric-id":39828,"id":"Q39828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$9DD1707F-C189-4A99-81B2-0739192644FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$7647BBBD-425C-4FAF-884C-83A2C505DE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1c691fae64baf81d14e45b8a7e4d6a630c6b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":31993,"id":"Q31993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$AA23F4F4-52E9-493A-A389-3781A4C97A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1efb4c0609c1583f89f3d6f6b5cdb9276c9b42d8","datavalue":{"value":{"entity-type":"item","numeric-id":42344,"id":"Q42344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$36F9F599-EB90-424A-B7AB-40F215752EFE","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":"Q3297583$6BBD9CE5-9641-4562-B87B-2C9949BA7E1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92e115b49d383df9b5b2591719ede57ad4c6a20e","datavalue":{"value":"W2981482524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297583$1709C681-F091-4286-BC3B-9ADC529CB6C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"173fe04f555a3afe550cd17a08fdb8a1f18002e3","datavalue":{"value":{"entity-type":"item","numeric-id":2988940,"id":"Q2988940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$87218587-198A-47F3-8653-A74617F20DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a647c62cf48289f8a40a0c7cdd162c9806e377","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$9FD7C4EC-F09D-42EA-9096-319F84D7B23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19491efc092c3a21139c415469e2e4da4818ab68","datavalue":{"value":{"entity-type":"item","numeric-id":2986729,"id":"Q2986729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$92C4FBDC-A45C-4A1D-8FA4-C418761F9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0615d20ebb95355ede59a07c3d505eea42a82a","datavalue":{"value":{"entity-type":"item","numeric-id":3510829,"id":"Q3510829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$B639824C-956A-4076-B354-EC19968D2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$95B6E1AF-E905-4BC6-94FF-B70A63D0472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a741b6b6f8df8b34b6e7574abd731899fb8bea","datavalue":{"value":{"entity-type":"item","numeric-id":2988916,"id":"Q2988916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$2223258D-8F17-451A-B9C2-68837C0EBACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38be05e84e56dc19a7b56191a6d43859c948e05","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$5ECDD8BC-D434-4EC0-8735-FACE0440DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edea82dddba8c5fb4831b791de4b58e5b30eec87","datavalue":{"value":{"entity-type":"item","numeric-id":487251,"id":"Q487251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$84ED1903-9F18-4EDD-96DB-C421AB77F66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a83e6c0de61ab757d55dff5b5bf38e7bd51572e","datavalue":{"value":{"entity-type":"item","numeric-id":5281899,"id":"Q5281899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$6707FC71-891A-4BFB-81B4-3E042161BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f159bd2b3335d98e62f4d8b5fe74b798610468f7","datavalue":{"value":{"entity-type":"item","numeric-id":2980524,"id":"Q2980524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$2F65D388-9ADB-45B3-A506-7F2F0FB11729","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":"Q3297583$7FE7A769-F8B9-430A-942F-6EC21DA56F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fb74666d2682cab0446584f82382af2d803075","datavalue":{"value":{"entity-type":"item","numeric-id":1358131,"id":"Q1358131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$95616610-D539-465F-B24E-56A2669F3E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e76c825528d989c9f71bd0494194b239f5e7ad","datavalue":{"value":{"entity-type":"item","numeric-id":4449227,"id":"Q4449227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$6D180465-3E16-409C-833E-AE8BCB2E94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$8FF0D677-D5F5-4746-90C8-B36EE464555E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$91143700-4235-45BD-907F-4EA7D8B9808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a81a1d2408ce815f78f2bd75fc84837029256a","datavalue":{"value":{"entity-type":"item","numeric-id":4561443,"id":"Q4561443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$38ED8E67-0064-4E3C-A029-FE7AF6EABE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ccf97bd57c2344cd593957bba94f00a1a3f4da","datavalue":{"value":{"entity-type":"item","numeric-id":5239246,"id":"Q5239246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$F02ED210-7B35-4B79-8802-645EA7E6F615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec7326be01fc38a5c2d72945d4a4dee67184dff","datavalue":{"value":{"entity-type":"item","numeric-id":4561444,"id":"Q4561444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$B31703F6-FC71-42FD-90E9-C647B2A85B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$C7FDCCEF-631D-485B-83F8-30D89E1EA5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515890ca165cc8640106ea5636e2eceb7ca41b9","datavalue":{"value":{"entity-type":"item","numeric-id":5223778,"id":"Q5223778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$235AA8E9-BC0D-4D13-BC9E-98D2043A4A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b13fd4ab335af35b77d54a2c0c36e15378d28","datavalue":{"value":{"entity-type":"item","numeric-id":3612992,"id":"Q3612992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$1B14C5CE-C77A-4650-82A5-1297395FA4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b4b0c4db610b76a647815a7e39d338386e98fb","datavalue":{"value":{"entity-type":"item","numeric-id":1693823,"id":"Q1693823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$C025340A-A563-435C-A2D1-32F0B4477682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2cb793e40f4cc9ecc89222c5f708059b8316a6","datavalue":{"value":{"entity-type":"item","numeric-id":5352729,"id":"Q5352729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297583$3A996307-1C4B-4A02-A1C2-F5C18A56E4CD","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":"Q3297583$A5472E4C-D52D-4C5D-A4D1-8C1CA1558F57","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":"Q3297583$ECDA3414-FA4F-4584-99B8-2BF8F8E404DF","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":"Q3297583$F86AE0E2-BDF4-4204-A873-2E8091939A46","rank":"normal"}],"P1643":[{"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":"d93cbe53dd5330836a6c6fcb480a02565a054185","datavalue":{"value":{"amount":"+0.8261451721191406","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":"Q3297583$E8DC5E17-F11A-46F2-911E-52A2E2CAAD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cac43530e2c56839ece944cd778d9db28782f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5275323,"id":"Q5275323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57633d7b26ee705e12fe58391f595fef69e46696","datavalue":{"value":{"amount":"+0.792757511138916","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":"Q3297583$CD5A309E-3278-4CB7-9AF9-09F388CBAE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b79d9c8853273636280488e81751eaa91a7106f","datavalue":{"value":{"entity-type":"item","numeric-id":1690521,"id":"Q1690521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6212ec2a19d104cf0be44c2ed3511def626dd0ba","datavalue":{"value":{"amount":"+0.7818452715873718","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":"Q3297583$B193279F-436E-4274-977B-F940F23544F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80fddc06f171b010e05253495bdfd9140d398424","datavalue":{"value":{"entity-type":"item","numeric-id":4782022,"id":"Q4782022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e690b6eb380f958c33a2034effa5bda38b428304","datavalue":{"value":{"amount":"+0.7799665331840515","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":"Q3297583$DDD46550-B0A7-463D-B45E-6E72484789B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657a498c6f5c9d6daef09c188e6ffc893097b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33254df88e14da5c9550e22bd63af0923a5510fe","datavalue":{"value":{"amount":"+0.771789014339447","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":"Q3297583$73222367-489B-4248-BDD9-B9A80C8B2C70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lazy abstraction-based controller synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lazy_abstraction-based_controller_synthesis"}}}}}