{"entities":{"Q6168430":{"pageid":13303315,"ns":120,"title":"Item:Q6168430","lastrevid":58736220,"modified":"2026-04-06T12:58:41Z","type":"item","id":"Q6168430","labels":{"en":{"language":"en","value":"\u03c9-Forest Algebras and Temporal Logics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724192"}},"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":"Q6168430$2C3CE96C-58C3-482D-A4EA-0B56C3FFBD87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168430$611A791B-0959-4CB5-BD1A-E111F0A6555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b285622d62b2566a9eb519b5fde49556c0ceca28","datavalue":{"value":{"entity-type":"item","numeric-id":6168429,"id":"Q6168429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168430$69FB19AD-3CFA-49A1-A4D5-F41BCDB5AF13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168430$962065BE-8E1A-4F83-9573-28AFC032C3B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48a1d1150c7ee247705fde710cd068d41bb478ef","datavalue":{"value":"https://arxiv.org/abs/2203.13858","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168430$7B77F9E6-D92D-4FEF-BCB6-3E820B34B8DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168430$3FDEE8D2-F3B2-4C26-A8BB-0446DA221FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e67ace238186a5e7084e3618f85f51e79dc9346","datavalue":{"value":"7724192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168430$590E0C88-2F33-48E5-864C-D937E489EA76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e984a6d729769be499b4bcb78b37a3d04f9a6ccf","datavalue":{"value":"forest algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168430$B42A63B0-B39C-481F-A788-31A50FF20327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168430$B0EFAE6D-3417-4EBD-A43B-B14C5715121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168430$C8387D14-65DE-4209-97C2-E6DD16C8587F","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":"Q6168430$79C1A31A-8AC4-49B4-BED6-57804EAE053C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"845f8aa97ed6ab3128c277d6d04b186aaa2caa63","datavalue":{"value":"W3195086974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168430$F117FFCD-D44A-4976-8B18-ABE28C268A1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa56259ac543e1ca42d0044c463359d5f9601721","datavalue":{"value":{"text":"\u03c9-Forest Algebras and Temporal Logics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168430$50448F96-DFC2-46FF-87B9-F106DCF0F177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88df34b1f2a2aeaeacaddc68392979207742699d","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168430$9F124C34-4B8D-451E-92F2-9E1337593486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168430"}}}}}