{"entities":{"Q5358494":{"pageid":7388068,"ns":120,"title":"Item:Q5358494","lastrevid":92194781,"modified":"2026-06-05T01:06:34Z","type":"item","id":"Q5358494","labels":{"en":{"language":"en","value":"Traffic Network Control From Temporal Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6777790"}},"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":"Q5358494$CF82C90E-4066-4273-839B-CCEBC00AEDC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e38d2ae4558afed18fd9cfa5739ed6283bcb9f","datavalue":{"value":{"text":"Traffic Network Control From Temporal Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5358494$25CD9104-45DE-4749-B7A8-B30A9B6B2CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2891bd68f6447ef9ab67a14933711ec6203ee4db","datavalue":{"value":"1370.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$7F5584CD-6374-430A-ADA4-BDA124B05479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36fcf0002b827d25707c7374410511b81f49eb92","datavalue":{"value":"10.1109/TCNS.2015.2428471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$3B514125-789E-4B10-8C4F-07B1856AA870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46acb9fec80e04f994c4516d13eea5ee4a666b3d","datavalue":{"value":{"entity-type":"item","numeric-id":254597,"id":"Q254597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358494$06899348-B44D-42E6-BCA1-BADBC11586D1","rank":"normal"},{"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":"Q5358494$716D0F18-71CD-4EF2-85A7-B3236E1F37CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804871355f0ded4f0be5a0fad239a4e43a0bad76","datavalue":{"value":{"entity-type":"item","numeric-id":162589,"id":"Q162589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358494$099AA43E-C59A-4793-8B4D-84C9DDE448B3","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":"Q5358494$1FD9F3DC-2CB9-4C35-B231-A4435D3AF7A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4705dd6264c30aaf29520d32ca95220c39a16490","datavalue":{"value":{"entity-type":"item","numeric-id":139604,"id":"Q139604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5358494$4A199C2C-5EAA-41B5-B210-E78247914910","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36926d0e8ecb0aa6e5c43f48d167063fe25ab3e","datavalue":{"value":{"time":"+2017-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5358494$8D434534-8F29-4696-BEC0-725C85251465","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8252399dba654961cd761950a9ad63abea4edf4a","datavalue":{"value":"https://arxiv.org/abs/1408.1437","type":"string"},"datatype":"url"},"type":"statement","id":"Q5358494$DDF944A9-A8AA-4886-87BB-8FAD59422FB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$3215C6E6-4FC8-49D6-9F71-32A7BB9D2462","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8acfd15a7d232fbcf971fa308b0f07efb45b5b26","datavalue":{"value":"6777790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$E2D61280-7AC2-4AEA-B38A-D8CBCEEBD16C","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":"Q5358494$2BD61008-375F-40EC-AE54-1DF2EA6A0BDA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"53823f3ee6485c92cd354249ebcf21ef5940f33e","datavalue":{"value":"Q58233158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$EA2A81BF-C6B6-4CE4-8E55-E67EE478A74D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a77e5f6a0d456d96f7a85c19a3ac92cc3e010238","datavalue":{"value":"W3104654558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5358494$F72F9F08-5BAB-44ED-8D1B-7A0A23171FFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Traffic Network Control From Temporal Logic Specifications","badges":[]}}}}}