{"entities":{"Q5854761":{"pageid":7884312,"ns":120,"title":"Item:Q5854761","lastrevid":101812781,"modified":"2026-06-06T02:54:52Z","type":"item","id":"Q5854761","labels":{"en":{"language":"en","value":"Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7320203"}},"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":"Q5854761$62818D41-DE39-4B3A-B866-7B52E1964426","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78ceb83cb4c18c1af92cd8dd5f2c046140f5614e","datavalue":{"value":{"text":"Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5854761$451A6769-97F1-44BF-A4D3-D0B8EA76B149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13a2737715a9303eefdc0420ecb87cd0f3e53b4e","datavalue":{"value":"10.1109/TAC.2020.2984724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854761$C11EC17C-2940-4DA9-BE6C-CF633C2A1E60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b6c80c60aef5a06f9819c3eac023b7dc57c1fee","datavalue":{"value":{"entity-type":"item","numeric-id":510146,"id":"Q510146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854761$75FA5C83-4A27-4818-B63B-2FD671C30B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854761$BDE96918-F51D-4E99-A6DE-CE2D53AD6286","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":"Q5854761$7C8E6D60-C679-49FD-87C6-05716B1F0903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f59565c5fce317316159d63a6a6c80aee757796f","datavalue":{"value":{"time":"+2021-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854761$F3AF8417-05C1-4A63-93B2-C0221EBBA8B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"528fa724ecc0ccd1a106412ca0823b81316615a0","datavalue":{"value":"https://arxiv.org/abs/2011.07149","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854761$D0204E23-024D-4996-A3DA-1F1428097D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854761$53528EE2-5257-4A51-B159-2184244F6735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96b2a08a1c94f8d7b1e971758596e1f84b8fa274","datavalue":{"value":"7320203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854761$85A30398-3E95-4B5D-BFE8-28527F99AAE4","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":"Q5854761$A7AFABB4-FEDF-4F3E-8C42-0692E1F9E996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems","badges":[]}}}}}