{"entities":{"Q5854737":{"pageid":7884288,"ns":120,"title":"Item:Q5854737","lastrevid":58615179,"modified":"2026-04-06T00:39:21Z","type":"item","id":"Q5854737","labels":{"en":{"language":"en","value":"Model-checking the higher-dimensional modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7324389"}},"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":"Q5854737$ECF528EA-1E55-4424-9840-6EEE84F810A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d83dce074aa6c27dc5c1712b960fe42a633e1f3d","datavalue":{"value":"1457.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854737$6C4FCA83-61DB-46E6-8963-27B9DC13094E","rank":"normal"}],"P16":[{"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":"Q5854737$4B27323B-93F3-4D6C-96AE-0E279DDCA842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854737$EB8C1337-5814-4F49-AD95-9CBD442EA420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854737$0EB804CD-EB87-42FB-928A-140E11DCDA77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19864aad36d9496c25af6d626e6133fe62bc153e","datavalue":{"value":"https://arxiv.org/abs/1202.3500","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854737$95FB7CAB-EAE4-4A3D-8932-C255074BE398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b1edf829b8a2f02526d90d5257395129b9e7e52","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2012.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854737$C176F1B4-EF4F-4FAB-9D57-374D5E7DA032","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854737$B63AD3F2-06C8-44FD-85AA-2570751066B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854737$121CF99B-AFF9-45CE-A6AD-67E8A9C22811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2384137b0cb42065100606f89539a5951a3eb74d","datavalue":{"value":"7324389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854737$B929AD45-98F9-4F22-BEDE-3EFF3F08B9DF","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":"Q5854737$789EE4C9-7B31-4299-81D3-84019F184233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d72c4c40efafaed9407efae5604a1c9a4452d88","datavalue":{"value":{"amount":"+0.8162562251091003","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":"Q5854737$73A593FB-872E-4D67-BADD-905CB2CE485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26e61648bd6ee4649acba668ea69ff74133911","datavalue":{"value":{"entity-type":"item","numeric-id":1960425,"id":"Q1960425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ee9e3cba2127737c996e4d72f96e800b34de9c","datavalue":{"value":{"amount":"+0.7949364185333252","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":"Q5854737$2E52A736-35EE-4D37-A45B-19C78C14F888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ee9e3cba2127737c996e4d72f96e800b34de9c","datavalue":{"value":{"amount":"+0.7949364185333252","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":"Q5854737$7DEDC2F1-9DB5-4717-AA17-E85EF534D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f27ef787fa91b00b5802d39e2d9044ba98198","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587ac392b9e3f3235110a25cbe767798321f10fa","datavalue":{"value":{"amount":"+0.7918518781661987","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":"Q5854737$8BC09C5E-D7E2-44F5-8DBC-0194CF787E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e0fa948fbea4a7194203f8a523604ae27ab54e","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd890b476fd8bbea83bb1c6d1169e92efc8c714e","datavalue":{"value":{"amount":"+0.7867396473884583","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":"Q5854737$7A1C5CF8-6294-48C3-B58D-326A3BA45B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5854737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5854737"}}}}}