{"entities":{"Q6314711":{"pageid":13450573,"ns":120,"title":"Item:Q6314711","lastrevid":56062369,"modified":"2026-03-04T09:27:21Z","type":"item","id":"Q6314711","labels":{"en":{"language":"en","value":"Algebraic Invariants for Linear Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6314711$60C27DAC-0D9E-4E53-9EB3-D8B715379C20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e1316ad3e14a37cf818fe80f7ab46e87b6da001","datavalue":{"value":{"time":"+2019-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6314711$81BFEDB5-F794-437E-9971-D2DB51CFF7CB","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"646401085a5ad94e746859212922a6829855c3f5","datavalue":{"value":"1902.10452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314711$73E2B91C-9C16-4393-BEBA-729282129328","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6314711$C8F043A3-6DD9-4D0C-9F77-24F360875F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"c7a9e8c4dd233111fe36f7292ca610b7f293efd3","datavalue":{"value":"math.AG","type":"string"},"datatype":"string"},"type":"statement","id":"Q6314711$A65E4338-6D8A-4038-9D98-4C6BF385F806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314711$0A236181-25C1-4DED-83D2-BEAD3A463BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314711$0FBBB48B-A00E-4123-B518-367D4713255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a391655797fb80a8e19ac091f518a0e89e1110a","datavalue":{"value":{"entity-type":"item","numeric-id":264570,"id":"Q264570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314711$F87EEC0B-FEBF-4151-94F8-1899513F486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314711$B6DF31F6-AAFA-472B-A195-1B4FC91BBFB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314711$8A08FFC3-EE8F-40B0-9952-1A055A8106BB","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":"Q6314711$493EC191-F573-4BCA-8E55-84A3AA7BE435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d495c4566c008ed4d19309df673c0f69fac2d332","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6314711$55047704-D0F0-4A1A-9895-1977534FD626","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"b28beed8cf8f41e0877608d58a26c91ada8e4de3","datavalue":{"value":{"entity-type":"item","numeric-id":5089299,"id":"Q5089299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6314711$E108F22D-BB7C-42FE-872C-F5C98A0BFCEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6314711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6314711"}}}}}