{"entities":{"Q3523118":{"pageid":5553022,"ns":120,"title":"Item:Q3523118","lastrevid":80636213,"modified":"2026-05-06T16:39:21Z","type":"item","id":"Q3523118","labels":{"en":{"language":"en","value":"LTLC: Linear Temporal Logic for Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318890"}},"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":"Q3523118$551DD569-BB92-47EF-92D7-277970F8EE68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64315ad42a2a54ae3d4b458b71625dd9071c64ff","datavalue":{"value":{"text":"LTLC: Linear Temporal Logic for Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523118$51B03423-C4F4-4CC4-9B95-48F383DD0412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdcd0559c0d41f5c746516b03a33edfa40eb6376","datavalue":{"value":"1143.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$2FA5597C-5146-4931-9716-4CD160515D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"603837fab3d74f061690807f9958daac8786ee63","datavalue":{"value":"10.1007/978-3-540-78929-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$DB74DB73-D2F9-44DD-8B8E-750E423A0FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57507c35f4ca94183703ddae4f33cafd6b23935","datavalue":{"value":{"entity-type":"item","numeric-id":2234090,"id":"Q2234090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523118$0293C935-FCE7-44F4-A4E7-B7F24D8EA886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523118$5F309967-876B-4515-8B33-EBF17348A95C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b27f91d5f92a7b342f46c3feaedd58c7e5b09ac","datavalue":{"value":{"entity-type":"item","numeric-id":3523094,"id":"Q3523094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523118$1CB91AB1-428D-4179-BCCE-7471423F666B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523118$0014145E-D05C-4B25-ABBD-E5329E8027A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$CDD46763-77EA-4B96-87A8-3AB7B3AEB9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$9ACD7498-DECB-4CAB-8E11-6F95B4ACE425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbba85562facd3e546df50a87515dddbb3dae27e","datavalue":{"value":"93C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$BF5EDA29-6097-4D84-90D0-1F3E13325E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$60802E41-1F7B-4C79-85B3-C074A6B0EF8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91d5fb2892531079cf7e09143727a1ef34039f95","datavalue":{"value":"5318890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$DA9B6C07-0387-4451-B11F-CD50A287F667","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":"Q3523118$91E4FD33-DA40-4533-8F08-BCA7D29502B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"270fffd458a6b06345040233c786d97a42634886","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78929-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523118$D73AF840-4EB8-4A03-B30C-A80D358D56DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2ee0af9e1cdb4ad67050cafc86bcc7878b0c0fe","datavalue":{"value":"W1527587747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523118$5B92089C-A848-4CEC-9D71-B16F72D9BA7B","rank":"normal"}],"P1643":[{"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":"fcd03c939b054d253fcab7b3d5463204cb8bca83","datavalue":{"value":{"amount":"+0.8137181401252747","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":"Q3523118$6878EAA5-68E1-44DB-9150-34F2CBA6BAA0","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":"37fc42652b090eaf111298399305344499169579","datavalue":{"value":{"amount":"+0.8088695406913757","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":"Q3523118$BE4091CE-97E8-4C35-8E1D-CAAA42C9C4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11bd1fcb85f60cb9a48898f6ca76162412a40ab","datavalue":{"value":{"entity-type":"item","numeric-id":4418864,"id":"Q4418864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b576eda15f6be253e2e5c9e9449bdc186981788f","datavalue":{"value":{"amount":"+0.8063913583755493","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":"Q3523118$20B97C1E-7761-4BD5-8A58-8E1605E58F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f754f3330ba03c8f731b8d73c1ec0e4e816233c","datavalue":{"value":{"entity-type":"item","numeric-id":5898988,"id":"Q5898988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41368a39666b08d7d8024cd450e7757ec9dd6eb4","datavalue":{"value":{"amount":"+0.8040154576301575","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":"Q3523118$304FF44C-4CC1-47AD-9A5E-F8881CF93E1D","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":"c1e10264bd1f9f5ab03f624207d3f0c713da63d3","datavalue":{"value":{"amount":"+0.7812082171440125","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":"Q3523118$46CC0402-B631-4BCA-84C7-526BB7056F67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTLC: Linear Temporal Logic for Control","badges":[]}}}}}