{"entities":{"Q2988967":{"pageid":2999691,"ns":120,"title":"Item:Q2988967","lastrevid":52812131,"modified":"2026-01-23T13:38:00Z","type":"item","id":"Q2988967","labels":{"en":{"language":"en","value":"SCOTS: a tool for the synthesis of symbolic controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721658"}},"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":"Q2988967$65B1A1C5-8EA5-4CEE-94B9-1254023E8860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d132223eab71d61e9c8c3976f2e1c7752ec3f21c","datavalue":{"value":{"text":"SCOTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988967$D6F41F10-08F7-414C-AD84-F760AFAE329A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"359dad93d96d0768ca030e0ac775413db135d905","datavalue":{"value":"1364.93267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$3845A839-5295-4015-A992-7981C2B092C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"481289507b55e15cbe621a250f8a4bbdafd19069","datavalue":{"value":"10.1145/2883817.2883834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$51252C10-9076-4D19-A847-58261D2D1A3F","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":"Q2988967$5A27BACF-5CE4-4A5E-9684-BF252F6ECDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$F19AEE4A-B805-488C-819C-C67D3BF81A8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$EBCF3B60-46E4-40CB-B328-8170BC5F9941","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988967$AB056178-F809-4BAF-80F6-6C25B912B7E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$6A5BEFAE-875C-4B89-A547-794967B4A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$41CD1D9A-1407-4645-BDE9-F877A7A45840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$523885D7-FC23-4786-9EEC-83DF3C4FB2C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"783defcaf0f82399d082fa5567daabe9f7425660","datavalue":{"value":"6721658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$0D63F810-92BB-4A1C-BBE2-213116391591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0072a9b51a986499027ee795c6d2ca8ccea6c317","datavalue":{"value":"C++/Matlab toolbox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988967$BC29FAAA-CB7C-407B-946A-1CD4DAF05A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7d033e382642bb077c960b259618a403b1edf31","datavalue":{"value":"discrete abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988967$70959CB2-92E6-4B03-96B8-0DE67523B1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b807e86f222e934d11cb2b216f1ea0f1372f7418","datavalue":{"value":"feedback refinement relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988967$5F23DCC8-5DAC-4428-A725-8E651C178E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988967$2842897C-5192-4951-8DC4-CEF9EEACD431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebb87041bb97935c4224bc3e86e11462a8eea46","datavalue":{"value":{"entity-type":"item","numeric-id":31993,"id":"Q31993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$6DD501C0-9567-41D6-A560-4FCDD9E1B4F3","rank":"normal"}],"P1463":[{"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":"Q2988967$3B8259D4-EAE1-40E3-BB33-4B6FB1C10A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ced5290e939e518945c5828dfe4924f3a5668d0","datavalue":{"value":{"entity-type":"item","numeric-id":31945,"id":"Q31945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$2250C0F1-3A23-4982-9444-3164BA85ED76","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":"Q2988967$12DD68DA-F856-4F8C-BEB0-B2565E000044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$99D8B9B9-4950-4A29-BA16-2B0C2B640EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988967$B9298523-260C-407D-A881-73200282D34F","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":"Q2988967$2241397B-1F68-4F53-BD39-FB07D523BD15","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":"Q2988967$824B1BFD-7A00-4760-A863-B5C4396B0549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33654bc51188cbb4472dcd62141f8bd88f92442d","datavalue":{"value":"https://doi.org/10.1145/2883817.2883834","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988967$0479158F-9FF4-4461-BC25-94B8707C4475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1a7584ae117b3a0eb41290902161f68c8f73365","datavalue":{"value":"W2337661843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$4F5E0A88-C833-47D1-A4BB-2F1F18A391C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a87a0941f3e54fd5c7092fab96a3205109e43d3","datavalue":{"value":"Q131122400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988967$3DA3A046-A7FC-4F03-B68F-AE702B48B9D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da40b12d24363a4aba0ce4a331b228ade6bc75a","datavalue":{"value":{"entity-type":"item","numeric-id":4561444,"id":"Q4561444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aee2a18d0ba4f5863846c7807d1f63a0f56f64a","datavalue":{"value":{"amount":"+0.7531982660293579","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":"Q2988967$781BB5F6-A7B4-47AF-A7F2-1366D1367C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407a371c660de79fac203fe7a19d17758818a5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3297583,"id":"Q3297583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8d475ebbd6d04ee53686c0477bfd2a746ed39c","datavalue":{"value":{"amount":"+0.7418229579925537","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":"Q2988967$E6C44519-9BF1-4696-BF05-033F3352CDB3","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":"173f1a0eb4c688ce01e7de01080ef6726a18440c","datavalue":{"value":{"amount":"+0.7242626547813416","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":"Q2988967$FDF8CE4B-1533-48BC-9B52-66E5AEB7089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91afdef5f86e28345974e672e2dec8bebda1f3c","datavalue":{"value":{"entity-type":"item","numeric-id":2986938,"id":"Q2986938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceb0179b31fe17b709e2feb72fc5ea168d8901c","datavalue":{"value":{"amount":"+0.7240785360336304","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":"Q2988967$7952A500-5A3C-4AC2-855D-22C2C1638E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bedf0aad670a305bc314a4e6b22b2fd5cce4b0e","datavalue":{"value":{"entity-type":"item","numeric-id":533800,"id":"Q533800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ace5f32c3562d6b1ee24c596716f41e63fdf840","datavalue":{"value":{"amount":"+0.7229223847389221","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":"Q2988967$E5DEAFEB-B420-47CA-8527-82B398E15561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988967"}}}}}