{"entities":{"Q5019360":{"pageid":7048937,"ns":120,"title":"Item:Q5019360","lastrevid":37289573,"modified":"2024-07-30T09:29:50Z","type":"item","id":"Q5019360","labels":{"en":{"language":"en","value":"Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7454055"}},"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":"Q5019360$BA1B6042-F1A7-4367-8A07-1D992B9D1D52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b29d410bc177dab0abe1f3dd33b1c2e895c1c11","datavalue":{"value":{"text":"Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5019360$8066A155-E87B-4931-BCB1-D485D786371A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85c401f6c9f3868e942ece065e3ea3ef8b238643","datavalue":{"value":"1477.93149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$291FFBE4-85EE-4546-81F8-3173305763B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efdb7bfd36584ebb5657a66d0500b9fa51d017a3","datavalue":{"value":"10.1109/MCS.2016.2643259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$FE544127-8BAA-45B3-B826-55A7F56754BC","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":"Q5019360$2F88D696-85C7-4AED-9043-E1273FF98A7D","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":"Q5019360$048654B2-7BCF-46F2-9B81-B6B767D4E4E9","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":"Q5019360$C39E86CE-2878-4EC4-85A8-8E9DF0D8C011","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c9f927904d34551d4b529085153eab06c38a157","datavalue":{"value":{"entity-type":"item","numeric-id":3384293,"id":"Q3384293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5019360$AD870557-C3A1-4ABB-97AD-D84E6CAAEE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff63f60b6d44658f55871ef5632b30ddbe917cdb","datavalue":{"value":{"time":"+2022-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5019360$6FDF0538-2A08-4E74-8496-815491B6877B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$144A47C7-3B3A-492B-8072-87227AE10D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$6B16132E-559C-4688-88E2-C650CEF8BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$5115C472-62BC-415C-9EBF-A4C77B836B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$A005AA71-F08F-4DF9-A517-B3FA6ECF7B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a9f1bb671d54079fc73259b227c7003c99d1571","datavalue":{"value":"7454055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$E41FAA92-B92A-4C6A-8956-6C1FC05B63D7","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":"Q5019360$C0F81351-11F7-4D7E-B8BA-3A568A3A3233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64a1fa18d181f42ec5bbbdd062af4c8d62869e51","datavalue":{"value":"https://doi.org/10.1109/mcs.2016.2643259","type":"string"},"datatype":"url"},"type":"statement","id":"Q5019360$C7FCF165-331B-4590-8BD5-12536B9A9F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29bfa2a9a45807eb8414241c096d814e0954d377","datavalue":{"value":"W2595217965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5019360$1912D2D6-D57E-49E3-AA4E-09241C5055B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5019360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5019360"}}}}}