{"entities":{"Q313326":{"pageid":315093,"ns":120,"title":"Item:Q313326","lastrevid":60869322,"modified":"2026-04-10T19:39:28Z","type":"item","id":"Q313326","labels":{"en":{"language":"en","value":"Finite abstractions with robustness margins for temporal logic-based control synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6625999"}},"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":"Q313326$A211447E-BF6A-451A-9F5A-79932D0E4DEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93a83d041aa36bde2347092034b5bc760291aca0","datavalue":{"value":{"text":"Finite abstractions with robustness margins for temporal logic-based control synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q313326$0589A915-E6DD-4E9C-BDF8-0215C6B3DB23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab383e1ab569f5209d34b31c99adf0a57b7b5933","datavalue":{"value":"1344.93046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$FA1B9BE7-591F-45D3-9AFD-74C16377A713","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$388E506A-3623-42DD-B1AE-EF2323CC5928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf8233021b2c25675741f57523e378ff38c575a","datavalue":{"value":{"entity-type":"item","numeric-id":286068,"id":"Q286068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$E4455A68-458A-4D6E-B312-915C4FB87F26","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":"Q313326$ABA3208C-E45F-4335-9AC1-D45BC8137595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a92f0ef72cfcb252a53db66962ae3118731f7fca","datavalue":{"value":{"time":"+2016-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q313326$A32B9D1E-A556-4C20-8FDB-3DE2745DE970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$3334506B-96AD-4993-BE8A-E75495E618AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$D2F6FCE4-D344-4228-98A5-5195421E0441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18457c8394a4b6201dcccd409d083d717a8c4e70","datavalue":{"value":"93C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$E49FA855-12D0-4C64-A0F3-67D2E4EF0F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c05236ba6c6eb01728e5ef50a3d845c0afa0da1","datavalue":{"value":"93C41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$68875F23-7404-44D2-9A2A-2B1FECC10AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd9a801a526fc4d8fad4b9db030b9cb0c67a3fce","datavalue":{"value":"93C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$0ABEB0F8-27EB-448A-84E8-C0A7B1C1D16A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af38d15cefe4453ea7948df05986ed5acf4d28f5","datavalue":{"value":"6625999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$B86D3970-D105-4EE0-B58E-E6134651CC47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q313326$B4DFEEB8-CB07-4469-A9FB-391D139898F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7980fc6c1e8346b614db31a7b3f14b187fc145c5","datavalue":{"value":"control synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q313326$9799BEB4-8C95-476F-82FF-AFAFE851C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q313326$A9FECD13-9E73-4421-A39E-F48DF772113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q313326$DFEA278B-4F63-4768-94D7-63092523F978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q313326$FCB3F0DC-EE16-43D6-BD6D-EE1CDE743136","rank":"normal"}],"P1463":[{"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":"Q313326$5CC501D9-E793-4907-9E5B-75FFE2B2081E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85b4fffe34942dd1a5f8842e6c1ab1f389eb4f67","datavalue":{"value":{"entity-type":"item","numeric-id":31994,"id":"Q31994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$51CDD5E8-BE5D-446E-8082-B7A1C4385FC3","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":"Q313326$27C482C8-A0DF-49A0-A4FF-DDB5CCF20F14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061072e6cb19d11f122718e857242a45632d0a4c","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2016.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q313326$3E72F41A-A5EA-48E7-9352-C331591DA1A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0d9e9be4bfdd2cd9b245e72d3d0f01bea067975","datavalue":{"value":"W2305588532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$AEAF2E8E-3D9B-4EE6-A1FB-431EFDCBADBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$79F94957-D720-4ED5-B3F7-FCCAF03EB4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$66A996D5-98CF-4F13-99AB-8C308E1C1B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8ad98750fcd08c9a8f3be99c0b013a08ae3ff9","datavalue":{"value":{"entity-type":"item","numeric-id":5353268,"id":"Q5353268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$1D5CEF55-9C22-484C-8DF0-D73682C2302A","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":"Q313326$527F9FF1-D5EB-42A5-8C58-A6B773940992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$D60A95E3-74DC-4915-AD7F-1912FAC697E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72eb20b421df7142cc37019d18bd5010b4a6f7c","datavalue":{"value":{"entity-type":"item","numeric-id":5353005,"id":"Q5353005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$F807636E-A684-4104-8139-595EE0E8D0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2b35642ecbde9043afe635b91dcdce5ffc618d","datavalue":{"value":{"entity-type":"item","numeric-id":5352883,"id":"Q5352883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$3A16AAA7-034D-45E5-8641-885573AEEC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b49aad203437b4ab2f72a4c84f5d15ab65d01a0","datavalue":{"value":{"entity-type":"item","numeric-id":5347889,"id":"Q5347889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$54AE9D10-F33F-4FE6-A280-7624D0554041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c290cae54d1b061ddf88584ff33ed287d2613168","datavalue":{"value":{"entity-type":"item","numeric-id":5352730,"id":"Q5352730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$E461F444-7860-455C-96EA-980C95457D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce7ab7a71cd4deb590628635434656b6d2bd4c2","datavalue":{"value":{"entity-type":"item","numeric-id":2986982,"id":"Q2986982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$F985A2CA-9ACC-4C25-B107-A91F6F24B07E","rank":"normal"},{"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":"Q313326$F2EACF3A-B032-4530-8BF9-A70670E01361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1cf63530088e5c555a290316e3ba74107c9c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5958812,"id":"Q5958812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$0336B8C0-B446-42E2-83F8-555DEAD9214E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$23D845AC-9FB9-4D90-8BDE-959809AE2C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a169a795da781c945c13fee9b634e858df2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3557942,"id":"Q3557942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$E33BEC9B-B148-466D-9628-73305613DB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$06266266-77E2-4A7C-A149-8B34A955C7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$D14373ED-9D5D-4A14-9707-63C046725FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$D47C9C96-9D46-4E3E-A65E-4A38A005E395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$BB6AA67B-86F3-4832-81B4-AEAEF267D163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a797dc4af36f5f5a7da396005c4844eab2ab798","datavalue":{"value":{"entity-type":"item","numeric-id":1310798,"id":"Q1310798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$FA808A23-3B84-4A31-A2C5-EACDD9E46043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ff2e66ddd51d479a6751262ef05fc6844bfb4d","datavalue":{"value":{"entity-type":"item","numeric-id":1959416,"id":"Q1959416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$70021918-CF01-4DBA-9A72-76B8AFFAF0EB","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":"Q313326$7461026B-C2E3-440D-AE66-491496CAC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31db24485a953550755101262c70ff77330a5796","datavalue":{"value":{"entity-type":"item","numeric-id":2986755,"id":"Q2986755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$F5D7EEC8-5385-4ADB-BCE5-E5F064DB3770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58839f0dbebc903671c4bfd5efc41b95800cfe","datavalue":{"value":{"entity-type":"item","numeric-id":2986731,"id":"Q2986731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$1347E876-D696-48B3-A0B9-C27E60A251AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52278755fc4a2be254d0c8b5a5218bafa6edb71","datavalue":{"value":{"entity-type":"item","numeric-id":4974229,"id":"Q4974229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$9EE2D80A-5D62-4C48-8714-727310C78E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a605d407567cee544f8bfa8a604defc09d864964","datavalue":{"value":{"entity-type":"item","numeric-id":5353053,"id":"Q5353053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$41A489BE-1567-4177-A4DF-7C8280CBB16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512e6d169281f8b08fd3c3cfeb99782e63f88b3d","datavalue":{"value":{"entity-type":"item","numeric-id":2986969,"id":"Q2986969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$13563212-B614-41A6-BF1C-3BE0D92617D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b398c1383451f8c81b4dbc9dbc39e43f664dc832","datavalue":{"value":{"entity-type":"item","numeric-id":2986773,"id":"Q2986773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$93BE5386-69EA-406A-8D23-F82D79143D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11680fa0079dd3bbd272f862d168fa38d0df29b7","datavalue":{"value":{"entity-type":"item","numeric-id":2986906,"id":"Q2986906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313326$FA809546-8970-4CF4-A1D3-5BB119512942","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e266374013e318108f51a6b3063b1723632ac904","datavalue":{"value":"10.1016/J.NAHS.2016.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313326$E5FAA9E5-9931-4B0A-8879-D91B489BB25F","rank":"normal"}],"P1643":[{"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":"78ac48d561d25856ebea8bcecd6ed9802c48ff9c","datavalue":{"value":{"amount":"+0.8227196335792542","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":"Q313326$DDD54B3C-8C65-4F0C-BCB9-85EAB5C38A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78a4896916ff608d4f072584a41db00eb35c697","datavalue":{"value":{"entity-type":"item","numeric-id":1737745,"id":"Q1737745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f697ebf9522f8782230cbfa7ff41a800f56645","datavalue":{"value":{"amount":"+0.785137951374054","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":"Q313326$34F0D7B2-565F-4C27-9E09-4B913760A5ED","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":"0efd1b73191d88abd096eef3c9d2bbb9d2a62957","datavalue":{"value":{"amount":"+0.7476353049278259","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":"Q313326$BD4C40AB-7DDA-4E64-B4E3-4DB722BD2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d844f480753d427d41623932af2a2b3d6617aa1","datavalue":{"value":{"entity-type":"item","numeric-id":2986755,"id":"Q2986755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c8aa1ccd0ca188acb810c776c72d18b898a645","datavalue":{"value":{"amount":"+0.7434228658676147","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":"Q313326$60F5CED3-A2CB-4BD6-BC62-D354F692CA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa825c76b95eecaa7b92a45286a26fc90c32dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3612972,"id":"Q3612972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d97ed033a70b484f355f939720177cc8f58080","datavalue":{"value":{"amount":"+0.7176296710968018","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":"Q313326$0F86A904-408B-47D2-8232-26C4A036F379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite abstractions with robustness margins for temporal logic-based control synthesis","badges":[]}}}}}