{"entities":{"Q4974124":{"pageid":7003703,"ns":120,"title":"Item:Q4974124","lastrevid":37318890,"modified":"2024-07-30T09:39:10Z","type":"item","id":"Q4974124","labels":{"en":{"language":"en","value":"A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6757679"}},"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":"Q4974124$B1705B4F-D15A-4EF5-B7ED-2A842A367B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aeffedcae84efc2b38537fdb9bee62bb14a0e3cc","datavalue":{"value":{"text":"A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4974124$9A385709-153C-4A74-91EE-F88E17EEF49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb759bd28b76a75747d70121ab17682001d40e23","datavalue":{"value":"1367.93202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$FA96CB26-B7F3-4B0D-A5C8-268A7EFC664D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3744f7b5c7bbc7f61bdd37925260ebbc16980ce","datavalue":{"value":"10.1109/TAC.2007.914952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$D8EB2DF2-F824-43C6-AD4C-7C717EF1F57B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0120b363d55b63cd06ff8c380502753cd58340e","datavalue":{"value":{"entity-type":"item","numeric-id":481350,"id":"Q481350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4974124$B9822500-FC2A-4899-B5EE-EDEAD3D68630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4974124$3F8BE1C1-B705-458A-B4AB-D0B187D28C61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4974124$6D7CC9B0-6F63-49B0-93F5-F5FFDF147F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"103a35658eea03bd788b34f359587c9a72983f21","datavalue":{"value":{"time":"+2017-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4974124$F7C54A09-1C31-4AB2-8B76-ACA543C5E170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$910EF55C-A89B-454E-B096-E37F4C537C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$686C1437-970C-4854-8259-4FEA5CA41109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$518CADA3-9779-4F86-A03F-246CF31092B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$9ABE8273-DA5E-479F-923E-45454B2BA5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f2f02b3a8d4a64d8eb1afcb2d2c5f8385248a40","datavalue":{"value":"6757679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$53C58CF3-33AA-47E9-8C1D-2DBA7B5A4873","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":"Q4974124$0D232ADF-14DC-4B67-A613-C4D0AD20C830","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7bf6dfa374a92978315e3244f6b93734d7d4c9","datavalue":{"value":"https://doi.org/10.1109/tac.2007.914952","type":"string"},"datatype":"url"},"type":"statement","id":"Q4974124$C796FD9C-DFD9-4854-97CC-94E0DADCA49F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e137982ed7077e15c66aad4e94d7b2c9d796944b","datavalue":{"value":"W2150335178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4974124$0EEAC20B-4621-4EB3-8E2A-1C14A9D322FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4974124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4974124"}}}}}