{"entities":{"Q2986939":{"pageid":2997663,"ns":120,"title":"Item:Q2986939","lastrevid":52804970,"modified":"2026-01-23T13:19:50Z","type":"item","id":"Q2986939","labels":{"en":{"language":"en","value":"Temporal logic model predictive control for discrete-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718258"}},"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":"Q2986939$46B9D2F2-0602-4B0E-8B9A-F9DA67ABB87A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5140871b8053170485a6ef4dc103ac29c283e64","datavalue":{"value":{"text":"Temporal logic model predictive control for discrete-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986939$23A23BB6-27C8-4540-930E-9AAFF4F5028D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b9763c681d99b64c7843f1d7806af9ead92dd94","datavalue":{"value":"1362.93092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$64739374-4720-4337-A1C1-4F6F53662DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14fd65a669a9fc90cd31d7e2a4e87975f4646c3","datavalue":{"value":"10.1145/2461328.2461379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$06DDC801-C8C4-4E99-A26F-343107568BB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"931831a3ed1a298c970ccdda8fbf5e7cb412d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":889005,"id":"Q889005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986939$BE039D5E-73CE-4678-8285-30452B78BED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6730c6653375d94ba45e7f8017d6c9bb5315cae5","datavalue":{"value":{"entity-type":"item","numeric-id":361054,"id":"Q361054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986939$8586A9C7-B800-4BEB-A33F-614A6766AC8C","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":"Q2986939$14E351AB-7D4B-43C5-8B48-DF6D36B30F7D","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":"Q2986939$DCA4CD57-E048-44AC-B370-2E9622163CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$E37369E3-5212-4AA7-956C-BFAE10D866EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$08C5808B-4822-4135-8E2B-927DA876DD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$9C53EAAC-530B-46FC-BFBF-E7027FE58E4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a94e56ee6ca27dce6a7fb5cbcc917e78d45516b","datavalue":{"value":"6718258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$FFA908AC-3BF8-41C7-917D-44E8F05E8900","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb98b1b0d1260ad3bb232576900e6e1506531b4","datavalue":{"value":"formal synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986939$B6346E0D-D694-4ACA-8BDC-FA1AB9FE3FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986939$D5AEAAFB-E564-4733-B545-B51B31D4F11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a676eed2045b791f06a3babf3451a28a80e8b312","datavalue":{"value":"model predictive control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986939$9742FFB1-E3C2-4B05-AFAC-C59033CC9D92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"677a40868e0e77ab94527f8caaffb811b134cb7d","datavalue":{"value":"Q58233212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$18008482-E3C8-4689-A7DE-798738457BDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986939$254F1553-DA41-49D5-A48A-44BB554F4ED8","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":"Q2986939$A4BCF7AA-163B-4D1F-8602-08DF0537A94A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7a541881cc4b5f99d8d7439a1a512bc0dbd21d4","datavalue":{"value":"https://doi.org/10.1145/2461328.2461379","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986939$851D86CE-9F82-4681-BAB6-7F3814FEA488","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58c38911d262dedb0fd2bb6a3f43a2e60aa781ed","datavalue":{"value":"W2151896566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$2B21E9EE-516A-4FE6-8323-B2C74C6361CE","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":"Q2986939$931A8BE3-4B0D-4F01-AA79-B4B6D20B6F67","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":"Q2986939$EB34D83F-628D-490D-AD80-05EF367F6DA2","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":"Q2986939$44C26831-4878-4C60-906A-4A8DEE139AF4","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":"Q2986939$C3876AF4-D076-419B-84CF-3E2E36A73423","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":"Q2986939$8B6A6602-DAFC-4F67-9E44-93DDB2C8763B","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":"Q2986939$D05330D8-0CF1-4AA3-85DC-3C5CE89AD7F5","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":"Q2986939$EBB52E9D-0D65-40F3-8DAF-3EFFB44A70A3","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":"Q2986939$5278F30C-21B4-4EE1-AAF7-195522939906","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":"Q2986939$423D9A14-F325-4A8A-B8CE-2626A8E25E30","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":"Q2986939$26AEC405-034D-4C05-BE64-CA5CAA7FD4FB","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":"Q2986939$0944741D-59FB-46D8-9FB1-E6A9D6CB4ED8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3e2a73c95d0ea5566e2cad58ddaea4ff4c901a91","datavalue":{"value":"conf/hybrid/GolL13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986939$BFD3801D-BB96-4E0D-8796-73A2D67CF487","rank":"normal"}],"P1643":[{"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":"a5cff0d2eee352f033c4a24e4ce18cd55b897b3e","datavalue":{"value":{"amount":"+0.9845125079154968","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":"Q2986939$65D3704E-52C0-4A8A-9987-2B6E43C752CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78a4896916ff608d4f072584a41db00eb35c697","datavalue":{"value":{"entity-type":"item","numeric-id":1737745,"id":"Q1737745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1a5bfe347b48575ab13a83928ba452b4ce7b92","datavalue":{"value":{"amount":"+0.8306822180747986","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":"Q2986939$1E67FB72-9765-404F-83F8-164E6D62A0D1","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":"4d916c0a55f29aeefc785fa302965503e44ae724","datavalue":{"value":{"amount":"+0.8068217635154724","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":"Q2986939$6231B8C6-B3AC-47F5-81B5-C75B4FC10380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064afa6e4fe8408cae29d167e8e5319a37b047f7","datavalue":{"value":{"entity-type":"item","numeric-id":5275336,"id":"Q5275336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea3a5f0776ada4f9ae62669486a23bab86456ec","datavalue":{"value":{"amount":"+0.7997075319290161","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":"Q2986939$2E7D467B-8C60-450E-A6F8-3B956C67ACAC","rank":"normal"},{"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":"75a09c1cdfffc1ee95bc7c173f4a5821c91b5a89","datavalue":{"value":{"amount":"+0.7884085774421692","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":"Q2986939$846BEFE0-6E11-4A18-AAAD-6B41AC109152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986939"}}}}}