{"entities":{"Q5875664":{"pageid":7905215,"ns":120,"title":"Item:Q5875664","lastrevid":39654247,"modified":"2024-12-30T16:42:50Z","type":"item","id":"Q5875664","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650327"}},"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":"Q5875664$AAF77D04-4B68-427A-8AE5-13B99498DA75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875664$1DF5330F-5F81-48FD-999E-EFEDA2828082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b10c3120618aec7f6b5b36026458ab869340e5","datavalue":{"value":{"entity-type":"item","numeric-id":1854308,"id":"Q1854308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875664$96FB7D26-B0CE-4D97-A87F-7EEA23959967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875664$4C1E85AF-7D41-4BEF-BA68-FD3CF226B30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875664$58244BFB-5F61-430E-BB9B-A1E61BB4CC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875664$C450AC91-4C62-4E8B-8CC5-F74406748EB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a83b7e0c8c214517e28be4b49b2f6c56ea5d3f6a","datavalue":{"value":"7650327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875664$B6694C7A-0443-4D38-BF2C-42695ECD8D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875664$11F37C63-4313-4F76-BBE7-29965563D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae8844fb4afa35253d54126900473b330ca958","datavalue":{"value":"minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875664$51E664B2-7950-42CB-AB6E-620CF41CBFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfab0d0d3ba777bc7b15061e7e75fd00096740d9","datavalue":{"value":"history-preserving bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875664$8163FCD3-45C1-41E6-A21D-133A50542DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e91460cd711eac1a36698bd5332639d6246489","datavalue":{"value":"behaviour-preserving quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875664$44C1F247-59A7-43AB-BE41-1F5D4A0217EF","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":"Q5875664$293C7005-DD27-4472-A72D-358A2FDC0679","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c748cc13f9d9a4ef0b436b19317328307a34954","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875664$82D6F71C-F91A-4F44-8A8B-08BFB0D9CC61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875664","badges":[]}}}}}