{"entities":{"Q2985871":{"pageid":2996596,"ns":120,"title":"Item:Q2985871","lastrevid":45201493,"modified":"2025-12-02T13:39:32Z","type":"item","id":"Q2985871","labels":{"en":{"language":"en","value":"Receding horizon control for temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713993"}},"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":"Q2985871$12636E15-8E5F-4AB4-A7EE-68BA57BCD59F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7f278772a7dc114ef5adeaef06cacad0dc1df5c","datavalue":{"value":{"text":"Receding horizon control for temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985871$D081C599-F4E7-42B0-9700-15951B49FEC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3bb0522f2eb8ffb29ede5bc1528681c236556df","datavalue":{"value":"1360.68605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$27DC30F7-8145-4A33-AAFE-F858893BE4F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"465b4880ebcc316a1e11ed68f0b3f964737deebd","datavalue":{"value":"10.1145/1755952.1755968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$DD0D2919-E9DD-475D-82F2-2EF043F3A490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb2076b56679f789ba79fd72ed6af7720faad874","datavalue":{"value":{"entity-type":"item","numeric-id":2979389,"id":"Q2979389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985871$4B6E3BDC-DB34-461E-8E48-C0566A2DDAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985871$934E8615-E1C8-45BF-8D24-675E3D52A50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fcb8f66ff658a4df0218645c977cbe1d9d0eff","datavalue":{"value":{"entity-type":"item","numeric-id":490563,"id":"Q490563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985871$DDA98672-3F78-4FC3-B229-F10EA1DBED36","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":"Q2985871$8046BF17-B6E0-4F79-88CA-C8F75E03730A","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":"Q2985871$F7357181-E0C3-4A3E-955A-D39280EF4DFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$E96AD5DB-2054-4EC2-9F07-778B91415DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$428A4041-5441-4021-8A3B-59C852D0A36A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2c61a4b75e0c44c8b693683d4d8f3c1018994f1","datavalue":{"value":"6713993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$0697762F-2658-41A1-AD9D-07CE9FBEBD77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e583f1c441e88dfd22ad6236c28d7546a9a31802","datavalue":{"value":"embedded control software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985871$0394BAAF-C58E-4A4B-B019-C606DEB0FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985871$97FBE666-ADCC-4193-BF1A-C3BCA72644FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40056628edefbabfa1180805b6113caa224a4a91","datavalue":{"value":"receding horizon control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985871$B655F0AE-B39B-4F4F-9F0B-39FDE7109EAE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7233975d69f06c19aa6e3a492f71d761e6c22caf","datavalue":{"value":"Q59814009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$B15308BF-4E89-433D-8299-70F41C94F6D3","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":"Q2985871$EB09655B-7544-484A-8D9A-7046859629BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44c016fd77b2b7fe06d8403f6a2d271878206d34","datavalue":{"value":"https://doi.org/10.1145/1755952.1755968","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985871$825109CE-4A6C-4B23-85A2-61970B801873","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"789fe8229c8fac361b0afb774d52a10f28c0a599","datavalue":{"value":"W2148446974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985871$8CA6D195-AC92-4676-A1DE-E0DA4F020B90","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":"Q2985871$47089785-C5E6-4C73-9C2B-DEA3E39AA6ED","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":"Q2985871$47BA2E37-249B-42B2-A321-E841EC16FD22","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":"Q2985871$DBA43AE7-9EDB-4688-BBBD-9EB05E9E6034","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":"Q2985871$1B1A075A-78DA-4184-B1FE-AF46914D7CA7","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":"Q2985871$D1F8053A-9782-4263-B311-80FC953893D6","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":"Q2985871$5AACC910-3C1A-4294-8A49-F1E78F287379","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":"Q2985871$45EB1EBA-0BB6-4C39-8C3C-56CE7840D9B0","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":"Q2985871$2A5C806B-4C35-4210-85E2-7255AC6EDDAF","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":"Q2985871$D2A798C8-F862-4ED1-A0D4-51110277B9D2","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":"Q2985871$9907DED3-4D37-483A-B2CB-87AA3856C635","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":"Q2985871$BE904162-2E4D-4D83-B56E-78DFFA325A13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04b08a8d2033d3656e940cf7149a63599a3389e","datavalue":{"value":{"entity-type":"item","numeric-id":5353005,"id":"Q5353005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64da8f8306441f16f3236aa1404160e926e04b3","datavalue":{"value":{"amount":"+0.9180134","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":"Q2985871$E51094C8-FEE1-4DAF-8B26-C5D8679C29BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cd7b725f10eea2157eeddb7a7f47da3826b66f","datavalue":{"value":{"entity-type":"item","numeric-id":3745691,"id":"Q3745691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada5840b01c508916135a1dc05bdc12bfdf397e9","datavalue":{"value":{"amount":"+0.9074388","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":"Q2985871$E5700C4A-509D-40D6-831C-D83B2AE581DC","rank":"normal"},{"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":"846f6dca55fcbce2e3c0beddb124e07265896064","datavalue":{"value":{"amount":"+0.8924078","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":"Q2985871$77A4C555-BF12-45B4-A8E6-6169B08B3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1a3b68c64f311f342e227e55da97bedb98999f","datavalue":{"value":{"entity-type":"item","numeric-id":2628417,"id":"Q2628417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45477a4a618abdeed28dff12379e4d27a06397cc","datavalue":{"value":{"amount":"+0.88384444","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":"Q2985871$32387D3B-8CCC-4FBD-85B5-5B0F78D94479","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":"ab9f11f1ef2f2d8f99c6f2d5e5cdf8da2aeb2b4a","datavalue":{"value":{"amount":"+0.88356876","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":"Q2985871$E7FF2F98-58FC-466B-8A38-6A5321F74CB3","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":"d1f90b24c2490e34283b5053ce7b1880b7f976ea","datavalue":{"value":{"amount":"+0.8834566","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":"Q2985871$A1636B9E-A720-42C4-BCFE-D9C924FED30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1c81809ee9cfccafc4a087d552d45e1db5412","datavalue":{"value":{"entity-type":"item","numeric-id":889006,"id":"Q889006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a2f10ef8d63ffa81add818c3c338ff82298025","datavalue":{"value":{"amount":"+0.88286555","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":"Q2985871$FA8156C4-B01A-4123-AC0A-9B67ED2C0FB6","rank":"normal"},{"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":"63e1f1db362bce47460b23ab6cb1c17c9c201d6b","datavalue":{"value":{"amount":"+0.8734438","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":"Q2985871$923D90CA-CD38-4FE5-AA6E-972A544ECAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86b125854e41a90a1723241003a3f90f1730ce4","datavalue":{"value":{"entity-type":"item","numeric-id":4733389,"id":"Q4733389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91577f4757d0ce4e5cd3b26fc707ae46d71018f2","datavalue":{"value":{"amount":"+0.87228775","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":"Q2985871$723A7E79-8CC0-4DD0-9D95-A57CC3747443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7b42f234ace4802c087493324117f08d4be32f","datavalue":{"value":{"entity-type":"item","numeric-id":5282112,"id":"Q5282112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fda7a9f8bd45ff79365881f425afca8fbb9d66b","datavalue":{"value":{"amount":"+0.87168574","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":"Q2985871$EE5051A8-1D19-4C5A-A5DF-DE48D0807D77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985871"}}}}}