{"entities":{"Q2851314":{"pageid":2862034,"ns":120,"title":"Item:Q2851314","lastrevid":42270184,"modified":"2025-06-04T00:16:52Z","type":"item","id":"Q2851314","labels":{"en":{"language":"en","value":"Weighted timed automata: model-checking and games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214746"}},"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":"Q2851314$F9DC8197-9103-4521-846A-376D7D191732","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ec31328b03d34540593128588f2514812e684e5","datavalue":{"value":"1273.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851314$EEBB5B5D-1D7D-4F57-9714-029AD3D26615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851314$B2C7C78E-C6C9-4ADD-AF6B-86DB5F69D263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b924bdcab1a805ec7a84a6d050c0c2e1a9ae3ca5","datavalue":{"value":{"time":"+2013-10-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":"Q2851314$DB8C27B9-9D5D-4D80-9080-659D900679E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3471cec82cdf092dcf1503afd0d3e7f5c6022eba","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106001563","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851314$97C9B901-ADF6-4D12-86E4-FD7E932E40FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851314$33D76E9A-B18A-4981-932E-90A24AF6FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851314$0E3598FE-6BF3-4D49-85B3-8B98C09D3B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851314$C9BAB609-6710-4E50-A704-50F70A04A37B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57bba13776b1cdc662b92cb32db8c8e09d394007","datavalue":{"value":"6214746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851314$6676BBDA-1417-4035-AF64-544B9B6F665A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851314$DF72BA7A-0A5A-4665-8D61-19ACB28D25D2","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":"Q2851314$95A4BB9A-0544-4692-B438-11F40E1D22B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"071a79d48e2af64552b8cb89c4d96e4eab1c5ddc","datavalue":{"value":{"text":"Weighted timed automata: model-checking and games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851314$4F5C0417-BDB7-48B6-A719-C72228EC2F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851314"}}}}}