{"entities":{"Q1996010":{"pageid":2006752,"ns":120,"title":"Item:Q1996010","lastrevid":43469417,"modified":"2025-07-28T09:35:36Z","type":"item","id":"Q1996010","labels":{"en":{"language":"en","value":"Backward symbolic optimal reachability in weighted timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317089"}},"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":"Q1996010$6B69794A-22A5-45A1-A653-9D81AF21EB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9373e6d879b591ea3e718e2e8c2f13ce3b4f0733","datavalue":{"value":{"text":"Backward symbolic optimal reachability in weighted timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996010$B83BCEFC-CEC7-4222-8BB7-860AC24ECCDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e31dc90aba923e30174846babb7d864e60ca34fe","datavalue":{"value":"10.1007/978-3-030-57628-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996010$436B2756-F9D0-4427-A264-F23A4AB6B5ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9140331c2ec3ece29b19b73c83f133f0eacecb7","datavalue":{"value":{"entity-type":"item","numeric-id":1996009,"id":"Q1996009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$8409195B-DF6F-45D2-8273-901151A3185D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$676502A4-2056-4EC2-8F34-7A9F74DD2C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da52b2635d2cd12aed90d9fb08209aaf7209a581","datavalue":{"value":{"time":"+2021-03-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":"Q1996010$B11F2CD3-451C-415C-BF3D-9FFD388FB4EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996010$7757625B-DB49-4820-8105-31C2F51B86B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0bdd899d999e3a7e8aa2c6d2d0143c5aee61bc5","datavalue":{"value":"7317089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996010$B877227A-9F02-475E-AC2A-514D4536C6AB","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":"Q1996010$8262CF6C-9A4B-4D13-BF2C-8E56D7FFDEA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbaca6aa6f8b460004b4499227c3a20a7d9deec1","datavalue":{"value":"https://doi.org/10.1007/978-3-030-57628-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996010$FA444C68-201F-4592-8072-401726076A03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b74c6f0416b4a884a39f1c06db1045d42b5a658c","datavalue":{"value":"W3080407957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996010$2A3DF751-B584-4497-BD03-D2CB6E90ACA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$D9A22A5B-B124-4DC8-85B2-38CABC006C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$CC990806-238E-4FAC-AD07-D7CC5FF1CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$1692EE10-A35F-4981-A645-1990AF28CA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8527c19d4b87441a19881bb3b6563c8608f1f387","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$5A7FEBCC-0F5A-4A8B-9251-3D28E2AED7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f0d6ada37797a5d6ddf742df5b9197955aa08c","datavalue":{"value":{"entity-type":"item","numeric-id":1683438,"id":"Q1683438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$033A40D9-A58D-4408-B29F-0671D1596C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$5523FFF9-EB1F-4C4B-83DE-FDCB00FEEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391c43f46aca23c169f26439c4a79ec43333e81d","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$2B448E6D-9E19-4253-A3F9-6BF974F95501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8481ab9e0e91b3afb04a32356b810f59e0965e55","datavalue":{"value":{"entity-type":"item","numeric-id":4633550,"id":"Q4633550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$F410DF6D-E64E-41EA-B763-65FD85259156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104c858b096e3970a05febe3d3b6e8ed49332047","datavalue":{"value":{"entity-type":"item","numeric-id":5897475,"id":"Q5897475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$431EB7D8-4731-4D88-807F-672D5DECF2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9349a1ef27f454fe5540395360b15c46e1405e","datavalue":{"value":{"entity-type":"item","numeric-id":6091335,"id":"Q6091335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$B5954DA0-B8F2-4EF7-86B6-E34F54927DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2651b38c430bf315a03a74ba0b66cf4d7861db6","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$D33A2736-49A3-4BC9-931E-F6E3B9ED26FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea67b034c9d80ead8fad28f48b3dbaa7da33e9e0","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$BD19ED18-FF2D-4553-A7C2-6415BDE6A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4da92a75efcb85bf86c44f36118f31be9dabdb","datavalue":{"value":{"entity-type":"item","numeric-id":4551180,"id":"Q4551180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$985091A4-6B6F-4907-98AA-8297D5FDEDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$F302AA0A-66F4-4BFB-8CB0-DCEE84652F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$DAE0013B-C775-4C69-AB65-D9013C82E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$CA11D80E-2059-478A-9F55-BC937184003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2e9e00ed215b4c00ce416793c753a5efc25dfe","datavalue":{"value":{"entity-type":"item","numeric-id":5308409,"id":"Q5308409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$0AF1DAD5-E505-404B-AED8-E80523A27FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de4a23534869189d54bdaf292b6c4a462414313","datavalue":{"value":{"entity-type":"item","numeric-id":853729,"id":"Q853729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996010$BB43BD35-231F-40E9-BDD5-9475E053884A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996010"}}}}}