{"entities":{"Q6487466":{"pageid":14066235,"ns":120,"title":"Item:Q6487466","lastrevid":99703253,"modified":"2026-06-05T20:32:02Z","type":"item","id":"Q6487466","labels":{"en":{"language":"en","value":"The fully hybrid \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650002"}},"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":"Q6487466$1C68288B-BC51-432C-98A0-CE3C357EB02F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"884614e81ecbab97c08558742418aff49b76b3f5","datavalue":{"value":{"text":"The fully hybrid \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487466$F02A1220-E853-4E2B-8B0D-93086DBD13B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b961458d76cdeeb1b97fec5d73707ff44d5faa","datavalue":{"value":"1515.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$A4293771-FD32-407B-B174-987FD5DAAF51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c0b098b588951511a5f59e9dc293ef8c2b98d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1989341,"id":"Q1989341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487466$234AB17B-7644-455A-8CF4-B4965AF09658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487466$66DA0001-37EA-4E82-9194-8ABDE8A5D495","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":"Q6487466$EF62DEE5-8465-4027-9D69-831C3CAD8455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$2C4BE3A7-21B4-4DDD-BDC2-D6A494E2C435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$B9206F98-25D0-40B5-B5CF-E62469AFAA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$F31AEB27-8605-46C0-AA37-B0A247DADAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$76EC4F50-ABE5-443D-AA05-141C5E7D2607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f924c28cf7a2733babc9d0e9c6411aec025449","datavalue":{"value":"7650002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$1E9722F9-3CB5-40B4-95A5-983FAE689703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487466$0432EE5E-E106-4B6E-A154-4EF8D061F06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487466$B370636D-B155-4921-A8CC-9905C5D5A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487466$3A660D7C-BA26-4EB5-8505-6AA8084D5372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf200f42ee767590ef5a5488fe98149520d41f1","datavalue":{"value":"bisimulation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487466$D2F24826-1576-48E7-94B7-A00AE83AC34E","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":"Q6487466$F4825E4C-0C5F-497C-86F8-9A232A69FB35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34dd8f62c0db56eec4ce6d6e5a3bd830bdeb61fb","datavalue":{"value":"10.4230/LIPICS.TIME.2017.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487466$160721D5-FF84-4029-98D7-FA31C8FAADDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50d5aaf4676997503bb3b703e78ba39d2df4e17","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e42c1d3350b6c791e5220b13bee6edff159ce1a","datavalue":{"value":{"amount":"+0.8571071028709412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487466$32DA2528-5AE7-40BE-885E-26E346F92FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba19121b8694d90a7f1b829bfd333ad0d7b7ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2291813,"id":"Q2291813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fba773c515393496dcbd9ce790694ccad1edc4","datavalue":{"value":{"amount":"+0.8309985399246216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487466$51F5ADE6-5AE2-4AB9-A907-4EB2AF417E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da7cd8378ffd2d629d6a28f0e67f0cf1c5dc057","datavalue":{"value":{"entity-type":"item","numeric-id":3195619,"id":"Q3195619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b463166caff09b64cfaefa3725761c6f38941ae","datavalue":{"value":{"amount":"+0.8033422827720642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487466$4738371D-025C-48CD-85DD-2D7433F44CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5faa39e0172eec0207285ef6d54cc711be7d090","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c6c31bd219350381e0f0dc3fe037e2d47f6e65","datavalue":{"value":{"amount":"+0.7889708280563354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487466$F357B51C-BBF6-4A03-A1CF-FF819B78352A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364fbfc73f50bd7375c18acc0aa97d35831cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76270e96ad0dcc43a42008397d38a8d602fcdd2","datavalue":{"value":{"amount":"+0.7841570377349854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6487466$8052FC88-9446-4137-BF41-D8AD9A969D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The fully hybrid \\(\\mu\\)-calculus","badges":[]}}}}}