{"entities":{"Q2986938":{"pageid":2997662,"ns":120,"title":"Item:Q2986938","lastrevid":85742546,"modified":"2026-06-03T11:20:51Z","type":"item","id":"Q2986938","labels":{"en":{"language":"en","value":"Specification-guided controller synthesis for linear systems and safe linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718257"}},"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":"Q2986938$3E29BB74-52B7-4B27-9638-9CFD96148D85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"727158fb1d0eb2434e50206f41e72129cfd58735","datavalue":{"value":{"text":"Specification-guided controller synthesis for linear systems and safe linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986938$6BD5D97D-7706-4297-ADA3-79E734450184","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a725d7472120a7af2374bcc3e7cb3d249c0ba99f","datavalue":{"value":"1362.93059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$586DFCAB-908F-443F-A75C-3C87FA347032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"525fbd14723fc8b98120843aa99a749fb7923c90","datavalue":{"value":"10.1145/2461328.2461378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$7160FE32-F5D0-4BBE-B29A-30847CA0D30B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e020e9683272d21472ae41c16f136d3ec8918f6","datavalue":{"value":{"entity-type":"item","numeric-id":547905,"id":"Q547905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$7F8D5EFA-3894-40A2-B300-EBAE5F8FC2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbde22f209a451ce7b2a032d6fcff9e6eefbc6b","datavalue":{"value":{"entity-type":"item","numeric-id":533798,"id":"Q533798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$C7D6A1AF-C088-4238-B323-BD4826BC4519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7832d0cb9d9908d99b0246c9f9004fd2c464f2e","datavalue":{"value":{"entity-type":"item","numeric-id":533799,"id":"Q533799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$D2773BC2-DFBB-4EA1-9924-76A6380291FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6451d3247f0abc57e95c36b772cbc5d6298df016","datavalue":{"value":{"entity-type":"item","numeric-id":2986904,"id":"Q2986904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$99538F91-17A8-41FA-B618-72D1CEE1C58E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986938$49743793-D99C-45A8-8575-BE0EAFA5E4E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$24361BD7-1564-4DD8-80EB-AE3B25BB99D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$4E8B9058-2D12-4B37-AC45-5D4A07A9C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$ABCFBE98-7504-496B-8748-83C188D6F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$A3E6FB38-F6E9-48C8-B95B-1783819F2B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57bffa64c865ad5e98e7eec16468c2035007e65","datavalue":{"value":"6718257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$E4AD07E5-D4EF-4D1B-A11E-8EEDBE50FB7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986938$3BC900A0-AD2A-4002-BE2C-3F8360DE948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986938$A6EFBEB5-01F2-4D0A-A0BD-7BF939BED3F9","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":"Q2986938$CED351DE-7B8E-4293-A5D3-D4284D6F79CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fb7df48c369dccdf4fe01452c0b0be0c565295e","datavalue":{"value":"https://doi.org/10.1145/2461328.2461378","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986938$614D687C-A481-4421-ABD4-99C9C86423D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d1c8692af472e08c993d3c373dcdb0a43dd4efd","datavalue":{"value":"W2026290247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986938$6346DE0B-4C78-4468-8581-8E4ABDA66BAC","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":"Q2986938$4D105BA3-ECE7-469C-9674-000EB69A715C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$F4425CF8-E947-46E8-A1C2-2F1F61150623","rank":"normal"},{"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":"Q2986938$0144EDA9-8E00-48E0-80EC-F1C45C643BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$3F51E61C-8051-41F6-815E-BD1D596212B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$FC8BC0B4-A0C8-4921-A198-1A2E6B4E1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94babe1e0ab5a5866969f10cff2ac8dc5e87e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4506554,"id":"Q4506554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$19DABD7F-1E19-49F7-84CC-71D290210939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$EB4E94CC-1580-4BE2-8C02-55E3A82F9C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfadda0faa512cfc7404e1701fcf546dc198dfb","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$EA252342-4F6C-45E4-9E3E-6212ADDB42A7","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":"Q2986938$294ED067-3F08-4300-9869-066852AFB7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$B6C18D8B-03B6-4E22-868A-7C4996DD216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986938$5768532C-D04A-4FD5-856C-78635DC4D173","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49ca578dfccb4c08dd3820577fa1a5cd2342ed75","datavalue":{"value":{"entity-type":"item","numeric-id":6053240,"id":"Q6053240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877e2cd41822f63610cfe03640bc395f63208351","datavalue":{"value":{"amount":"+0.9164515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$D0F9A327-969A-4AB5-A08D-C8E1433DC078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d212c10d6a2b19c79cbf21e223eaab3ef891718","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c2afaa3b5f81c6c9ab43a25858e44b5c9aefd9","datavalue":{"value":{"amount":"+0.90081584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$9819482D-F82D-495A-9181-2029F8986AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c83fb51ef3a62e1206598fc755e67b91ec318bd","datavalue":{"value":{"entity-type":"item","numeric-id":4506591,"id":"Q4506591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e653fa83648a4334da06656f3933b21ad9c6c1","datavalue":{"value":{"amount":"+0.88021123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$1D05356A-1483-467B-9F56-11584CB03B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5843e37c6d918d4414416f1d88ae24cc534c82","datavalue":{"value":{"entity-type":"item","numeric-id":313326,"id":"Q313326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356531debff40f463465b0f2d05b505dbc53dcda","datavalue":{"value":{"amount":"+0.8798843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$F193CC95-C405-4C67-9DF4-BFE4AFFF9A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565b4d61df38ea13d0ae48532e9fc1fd0578905a","datavalue":{"value":{"entity-type":"item","numeric-id":3151617,"id":"Q3151617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1810d92cc2d9823fd9143bc97d63286317d5144","datavalue":{"value":{"amount":"+0.8780362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$B8BDDC30-0170-4317-A379-6CAE1FE00787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3675d9152aa189c15df37a67170960f08fb4661","datavalue":{"value":{"entity-type":"item","numeric-id":5092060,"id":"Q5092060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6052617efc9446f56424f5d67c6e3ca2f365be","datavalue":{"value":{"amount":"+0.8777881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$BF33FF64-4AC0-426E-B3A8-CD5D5DE9E633","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":"23ec512cff561ed078b293d93abdd7370c95f2a2","datavalue":{"value":{"amount":"+0.87759167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$481166B5-7C60-4157-A312-5BEE7A41A6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e7027575ae43c043d49e680a62f3da9fcb7cab","datavalue":{"value":{"amount":"+0.8773112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$1A0524B7-A767-4923-97A9-4AB8A61B738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01193889ba0a5e781ce90c3840751e9af4b0822f","datavalue":{"value":{"amount":"+0.8770242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$951F933E-B6AC-45AD-80C4-ADDD090CDE8E","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":"ec532ce2733781fd5e9b4d5989e5ccefd7d2ccb4","datavalue":{"value":{"amount":"+0.87427527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986938$3B1D94E9-C3CE-4D8A-AEF0-A97A429CC02D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification-guided controller synthesis for linear systems and safe linear-time temporal logic","badges":[]}}}}}