{"entities":{"Q6584067":{"pageid":14195223,"ns":120,"title":"Item:Q6584067","lastrevid":42363351,"modified":"2025-06-13T01:59:27Z","type":"item","id":"Q6584067","labels":{"en":{"language":"en","value":"Countdown \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893102"}},"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":"Q6584067$3478C288-8F40-40D3-A4C7-98CCFC84ED3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e587a0417c40e6833537e48fbacefca8ecb64f2d","datavalue":{"value":{"text":"Countdown \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584067$CF1D4433-EF13-43DE-BB56-DC9A6C06F450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98b3acdbac779586a740f4831a92ee0fa2597326","datavalue":{"value":{"entity-type":"item","numeric-id":5104716,"id":"Q5104716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584067$60D4D07A-1E1A-48AA-8E61-2C3F956E31BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584067$822B1ECD-70DC-4B9F-8FB3-620F034F5D0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b289cc5d2b085b187346f3152c3a69a70d0e3be","datavalue":{"value":{"time":"+2024-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584067$88932224-47BC-4184-B542-2AE23918E94E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584067$5636C7A6-BD3F-4CBD-976C-38737781DFFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0457d93dc69f66a43770f00ed6cd54c0b15afd9","datavalue":{"value":"7893102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584067$023EF62B-2B2E-4BED-84DB-9C831942E012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17414e0af38bbd8e32f58c9f1ee2cd7094033683","datavalue":{"value":"countdown \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584067$215AF59F-1298-4BFA-BB5F-5E2EF4CE2D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584067$F916E298-2EAF-46F5-AB92-F706EC4362FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584067$291E12EE-B642-4B5D-A490-D0C914616EB5","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":"Q6584067$D0CA4AF5-35F7-4B8D-AF9E-00364DE520BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddda0617871d457a56b01cec3374ee60d23a2f67","datavalue":{"value":"10.4230/LIPICS.MFCS.2022.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584067$FF62BF58-E2FB-4A14-A67D-5570BB7F2B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584067"}}}}}