{"entities":{"Q4897712":{"pageid":6927291,"ns":120,"title":"Item:Q4897712","lastrevid":58356018,"modified":"2026-04-04T20:58:17Z","type":"item","id":"Q4897712","labels":{"en":{"language":"en","value":"An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6118282"}},"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":"Q4897712$1A02DD9E-80A2-4555-92F1-C8A6069A7FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"855c63c908659ab8cf19c1db7ca705550abc1b75","datavalue":{"value":{"text":"An input\u2013output simulation approach to controlling multi-affine systems for linear temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4897712$1B9CF5AD-F3C8-453C-A9A4-EF0E8AE34096","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b2d7985c243b07e0a2d5f84e34de1210c24b46b","datavalue":{"value":"1253.93027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$573CD93E-3F08-42A7-82A4-8D6C774B739C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f858c1738a576f6d36f6a1f8e3e8221a5f4bbae","datavalue":{"value":"10.1080/00207179.2012.689862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$C734B285-7356-4351-8CB1-DE1FF79F068C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0f7ffa047b4f1f2b05e6aa590c94b7bcbd97ff5","datavalue":{"value":{"entity-type":"item","numeric-id":360668,"id":"Q360668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$0DDECFA6-462F-4304-9FFC-AEB77357E51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9297a790143ec068c11a69935342038bc22606a0","datavalue":{"value":{"entity-type":"item","numeric-id":161934,"id":"Q161934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$CEA841B0-32CB-45D0-82CD-1AC1B1B6778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f04ca6f30388a438881098e4a0f481a17b8fdf","datavalue":{"value":{"entity-type":"item","numeric-id":501135,"id":"Q501135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$553AFD3C-21D2-4752-8042-72B4152A8245","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$BAB47463-93EC-484D-943A-B00188B2ADEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e10e56b479cd0143c2e5e1719021cea9810d469c","datavalue":{"value":{"time":"+2012-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4897712$F6EC8E01-8BE2-4C7B-853C-346F62EA8B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"991d856f451bc61b686f589a8e49f0c0afb1ba12","datavalue":{"value":"https://arxiv.org/abs/1203.1740","type":"string"},"datatype":"url"},"type":"statement","id":"Q4897712$0FC4F455-391A-4BD5-8DA8-464626143777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f1fdbd37ea55781316a099df1ac6c996bd515a2","datavalue":{"value":"93B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$ABC1A00E-088C-4EFA-A450-C4C44A5D1C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$52B9AE83-5704-4C42-9AF0-3C56F898BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$1886D7F3-5A07-4E24-8196-658144087041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef1dcc0b33599e1092b462fd190cf5343d5086bc","datavalue":{"value":"93C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$B9FF568A-FEAA-44CC-B9C8-08CB9A3B8D72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f81764d442e548585f584865b5d44300989c8f4","datavalue":{"value":"6118282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$6911C012-75C3-4F5B-B05A-31B062EEF936","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca4469b1e8eb31d8872e397756ed813b5fbee70","datavalue":{"value":"automatic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897712$9E0B32B6-28C5-4C62-9669-4AC7221F4112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897712$47E4F292-6C58-4F6F-AE52-FF0526BE8227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"779eab1fce14849c3494ee4e9650a01a65fc468d","datavalue":{"value":"multi-affine functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897712$F755EF02-CABB-4435-A9EA-173FE0AC180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897712$87F0E8D7-B878-4A80-A1C0-516B8B2E7EB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e979e2def7bf6c6c84a35127c1a1ec94fc6ad80","datavalue":{"value":{"entity-type":"item","numeric-id":22910,"id":"Q22910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$1E9963B2-A70F-4B68-A45F-E4DEF52E8EB3","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":"Q4897712$B6DFE3DC-C524-4B67-A753-E564D4B6EB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2c24a5a864e16c15bbe9be07d90fa06175b22f4","datavalue":{"value":"W2084959126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897712$320B1853-7345-4951-88D5-81480943A3BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$DEBD8F94-A693-45F5-842D-9FC9E9F67DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4661771061909181da94f86043e41aa78c109db","datavalue":{"value":{"entity-type":"item","numeric-id":1851426,"id":"Q1851426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$8837CCEB-1C90-44D9-8556-97509E7ECFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcde8b90db5b438298e791f585fbae1991b4106","datavalue":{"value":{"entity-type":"item","numeric-id":3612960,"id":"Q3612960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$BC39FDCD-6939-42BC-981E-594A330510EC","rank":"normal"},{"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":"Q4897712$C66E09DF-6955-4D05-8586-A726A29102D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee094b0e8fdbf27b469a3527ae88af9c3268fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1426256,"id":"Q1426256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$CBDB60E3-BC96-44CA-BFDB-1F64E2DAB665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7841b689a9f014c530f6e8f8c65241f1b1dcc2b","datavalue":{"value":{"entity-type":"item","numeric-id":5898989,"id":"Q5898989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$C5AC49B7-8363-4AFF-ACB9-2A219627DBAD","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":"Q4897712$6938CCD8-DCE5-46A9-8EAE-85A3FFE83D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0b3e51f59cac834584b9459d6e6b1f70798887","datavalue":{"value":{"entity-type":"item","numeric-id":5752401,"id":"Q5752401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$F8AD366F-97D1-42E1-8D34-37E7112C269B","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":"Q4897712$8523D762-2A6A-4D17-AC20-AD1E708A347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54094cff1080fe555cb648f965d875615302a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897712$6AE14AF0-A32C-4043-95C8-36C822D09122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66d1720d475dde031e95e925994e54d2d6f11c","datavalue":{"value":{"entity-type":"item","numeric-id":2252961,"id":"Q2252961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb6765c17861c043fece48a685222f05c70dad6","datavalue":{"value":{"amount":"+0.8140971660614014","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":"Q4897712$860FD7B2-CC1A-44A9-9D4A-E3C2BB2EE7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b6d959646e5c4d68cef9894078c63771ee5a8e","datavalue":{"value":{"amount":"+0.8104836940765381","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":"Q4897712$D61C6F8C-2C00-41CA-8D23-545866C08D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f754f3330ba03c8f731b8d73c1ec0e4e816233c","datavalue":{"value":{"entity-type":"item","numeric-id":5898988,"id":"Q5898988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fe692577872ae9e872434e88fcc14754ddb41e","datavalue":{"value":{"amount":"+0.765306293964386","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":"Q4897712$774609CD-9663-42B4-B149-132F53AB3AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e6c14312e120afd21142a531f1ed099d49ac10","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85334d4559d1507282bc2fe52309b3b82818f662","datavalue":{"value":{"amount":"+0.7623469233512878","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":"Q4897712$4CEA7474-BBE4-4402-813E-D4A10268E880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c699f5f365c4bba4660d283d52770b9b9e088e","datavalue":{"value":{"entity-type":"item","numeric-id":2665348,"id":"Q2665348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3a83522044f43fa0eded513f5f7af504c270b0","datavalue":{"value":{"amount":"+0.7545109987258911","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":"Q4897712$DB14FCC9-1A8B-4BB0-B6F5-1B443384D6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4897712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4897712"}}}}}