{"entities":{"Q2985872":{"pageid":2996597,"ns":120,"title":"Item:Q2985872","lastrevid":85302005,"modified":"2026-06-03T06:48:33Z","type":"item","id":"Q2985872","labels":{"en":{"language":"en","value":"Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713994"}},"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":"Q2985872$9E626351-1A81-4D1A-93CA-628B762963F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af4e95225e1a9390df8d20f20d296791ae28cc06","datavalue":{"value":{"text":"Synthesis using approximately bisimilar abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985872$BC9CECCB-CC98-4BFD-8CD3-AB976EEB254B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73d5c295255fd0f62e68f5c8215cd9c69885690","datavalue":{"value":"1361.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$526911E1-CC20-406A-8E80-DC796C6E46A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"735e63f64c4cf43740bb8ef506f3174ae06b755a","datavalue":{"value":"10.1145/1755952.1755969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$DCF8768C-3FA0-456A-8E0A-062162E7E244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$6ED28B21-D243-4EEA-82DF-33F8A8567B73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0830b461b2628d60d78b1ee4b6f9ab7534bcf7ef","datavalue":{"value":{"entity-type":"item","numeric-id":2985856,"id":"Q2985856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$DC3B2CAE-A3CE-4B87-B405-A073FBE3683E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985872$D95E25BF-56F8-40C3-A1A6-A4CCCB7C0024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$64FCAA43-4FB3-4EE2-8DA6-6A8ECD5BF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$D464C0B8-396E-4BC8-A5AD-7E9117A3A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$62F41E28-0093-43EC-9936-95F67AC527E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c8091841c100b04b7d470480a8b688527c74e7","datavalue":{"value":"6713994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$9933A22C-C49E-4911-B5B8-3FFAB772880B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$F68AFF6A-7379-4DE3-B1C2-5382E6DC47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2080f9471c539ae7bc58b4d8c09422581c9e0f89","datavalue":{"value":"approximate bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$9C297343-F03C-49CA-A110-0B2908AC76AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$08D2F25F-CAD0-4D67-B769-43E83EB81CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$C5511FA3-8971-4A2C-944F-7ADD99464B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f08d94ed7e2bdcd855f06f6d17a3525ec4cec0","datavalue":{"value":"switched systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$66A6B754-EDF9-4A84-9D6E-53986A664048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985872$31C18A40-3C40-49CF-997E-D7BC4FF4CCAE","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":"Q2985872$615AEA06-4CDA-45B5-B9AA-159065C53006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f048758004f2213117082f09a5531f29111f0a28","datavalue":{"value":"https://doi.org/10.1145/1755952.1755969","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985872$1DB7E8D8-F1F1-4304-99FB-98D5BE5C0D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acac4a94c09cb4d4636c0ea0fc5f6cfca36c3604","datavalue":{"value":"W2122311520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985872$EDC76298-E05C-457F-A877-456EF12A814E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"287044077b582e9a462122d8a37c632519d945ea","datavalue":{"value":{"entity-type":"item","numeric-id":5307451,"id":"Q5307451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$BDAE9493-028E-45DC-B6BE-EC1FF4BA342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93fc1426a3a32f66268bd57c530edc65aec126a","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$4FA529AA-8B25-4284-BF2F-AFDA70D83351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$40D98E8A-0716-4074-89E5-562965993A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$18BB3011-F351-42F5-B8B4-878FAE1A4536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a376a655e2451a7e6e0d1c6f7ac4717841b2bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":3624569,"id":"Q3624569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$C8165D77-2EE3-4040-8ABA-12187992ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$6DAA6DBF-4527-4940-B4C4-10927A72CED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$0D023F4A-D0A3-41AF-8B3E-7A03B875D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$71CC8B35-4AD8-4C18-BE11-C62788FE9699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f8c18f194bf33652be2dc20af60bb528fda07","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$B4113B4D-2117-44D8-8159-36E08D017D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$F7AD17CA-B7FD-4C62-B3CD-6823703AE1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6484148434bb6bf09207722b95c9d690bb339110","datavalue":{"value":{"entity-type":"item","numeric-id":5273868,"id":"Q5273868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985872$E86FAC0B-7BD3-49EF-931A-0D82081658E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4222f340d9ab0950e22927969aad3962217718","datavalue":{"value":{"entity-type":"item","numeric-id":445917,"id":"Q445917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9990b7c1fb4b2fb64838553952cb8c952ff168","datavalue":{"value":{"amount":"+0.913400650024414","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":"Q2985872$B77183D3-1B0F-42B2-A561-C2BA2F86A721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc73181ee3a15eb5d8fbb4297119778131525cce","datavalue":{"value":{"entity-type":"item","numeric-id":3612974,"id":"Q3612974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0d1f04e89a02d3f7d1df65a418eb1ea35fca9f","datavalue":{"value":{"amount":"+0.7767507433891296","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":"Q2985872$A3479731-2A10-46DF-BA80-2FC225F43DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fa155302e53e6845b95706c8dc9f39628f3be6","datavalue":{"value":{"entity-type":"item","numeric-id":2303884,"id":"Q2303884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb38dc168b9a647f76bc07943673d2d74b66722","datavalue":{"value":{"amount":"+0.7701455950737","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":"Q2985872$A31CF212-C360-430D-96DD-125ADAF8E38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8299439049d317ae8d3bfa8fe72ffb9a20bdcd9","datavalue":{"value":{"entity-type":"item","numeric-id":2986729,"id":"Q2986729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cb1375b34bf990ca7268c271bb9bff4e628ec7","datavalue":{"value":{"amount":"+0.7666535973548889","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":"Q2985872$4FC14A1B-AF0D-4999-ABA8-07F31483F0F5","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":"4697189668e3ee60f009e42ae80fd933f53ff866","datavalue":{"value":{"amount":"+0.7635408043861389","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":"Q2985872$A1E1876F-6EB2-4D13-88FB-F28E3A141673","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications","badges":[]}}}}}