{"entities":{"Q2880586":{"pageid":2891306,"ns":120,"title":"Item:Q2880586","lastrevid":42433945,"modified":"2025-06-27T15:09:05Z","type":"item","id":"Q2880586","labels":{"en":{"language":"en","value":"Open maps and barbed bisimulation for timed transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6024049"}},"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":"Q2880586$3AB22140-73ED-449F-B337-193A9A072FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3873584a63dbb1d104fa76454ab93b3b709ced5","datavalue":{"value":"1249.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880586$AE1A0048-5388-4291-A5D4-D10320DD7708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2880586$6D789381-75E1-4A0F-90AB-1A052B8EB2FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880586$B11AC7A1-C9E7-4D91-AC48-5E06D54CD9F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ea223bdfa28f1a42ee98affc81ddce650cdc5a7","datavalue":{"value":"6024049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880586$CB98D35C-92F2-4E6E-BE98-218D67B5843A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880586$F70ED0E5-9904-4090-B46B-D4C61A63FAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e7fbb61e29520fc37fedeb57008aa383c15edea","datavalue":{"value":"timed barbed bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880586$80A294AA-892D-4F3B-B0B5-FB5A32189A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c1980a78f35fda123e65879d76aa809158bdc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2280182,"id":"Q2280182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880586$5D9D482B-37F2-4264-885D-C8301DF5A018","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":"Q2880586$F2455E13-C172-408D-AD38-D3D874F263B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eedd9bc51c380694561e256dc5fdfa4be820657","datavalue":{"value":{"text":"Open maps and barbed bisimulation for timed transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2880586$8C529600-8B19-48BF-9192-BC940749380C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880586$578CA7E3-8174-415E-8C37-CBE5C473C616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2880586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2880586"}}}}}