{"entities":{"Q2848151":{"pageid":2858871,"ns":120,"title":"Item:Q2848151","lastrevid":42265733,"modified":"2025-06-03T21:59:03Z","type":"item","id":"Q2848151","labels":{"en":{"language":"en","value":"\\textsc{Upp}DMC: a distributed model checker for fragments of the \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211541"}},"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":"Q2848151$B561CD82-6D1E-4498-9B9E-4BC80751DC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d08064547123026ff6576b2c36ec9e375494efe1","datavalue":{"value":"1272.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848151$ED43D56D-3CC9-4713-99A8-227158789289","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0826afed21dd4be8a2cab711497703befd79f2c","datavalue":{"value":{"entity-type":"item","numeric-id":2848149,"id":"Q2848149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848151$2F6B1279-B05E-4A8B-AA97-EBDDC2BCDAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848151$2DA0011F-40F8-4B45-9310-931773F2B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2ac2af2e702f15cabb20bb6bbc19a98dd7ca99a","datavalue":{"value":{"entity-type":"item","numeric-id":2848150,"id":"Q2848150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848151$70CBBC0C-A4C2-4141-BA7D-EEE43F321362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848151$98F6E2E8-AF86-4E32-8B3B-3E26E556C667","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"196fd6c375bf06b8a3dab42618e52c6a2cf6603b","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001702","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848151$DD692D5F-6624-4BD6-8A77-7A4156D7E7FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848151$85F1FF93-58BD-44A9-845B-F86354EC272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848151$6E0BE029-A9D3-4C42-A397-1559D75E9A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848151$4196CBEE-DA0F-4181-87D0-581C2DBB691C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b858e9f80e7f34d75e4c5a9eeff6942e8d696be6","datavalue":{"value":"6211541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848151$509EF08F-3B1E-4403-9240-98EBF9E75FEF","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":"Q2848151$9E000FF7-671B-41A2-A0CC-89860B4BE936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dfcbdbeed785e2c343471262358787eff0c174","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fb0e3ecda38c894132676333df12c1ce95bd24","datavalue":{"value":{"amount":"+0.8933055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$6D5680E2-462D-42EA-A8DF-4376A6DDDDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68ceb57f86d95f858aae1b625068f96622e518","datavalue":{"value":{"entity-type":"item","numeric-id":816198,"id":"Q816198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fb0e3ecda38c894132676333df12c1ce95bd24","datavalue":{"value":{"amount":"+0.8933055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$80D376A7-A228-4899-82CD-7944440D8CBA","rank":"normal"},{"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":"b3e96fd3dac8b0af65f83e219d4b5bfcaaf25924","datavalue":{"value":{"amount":"+0.86750424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$9876FE3D-988F-4300-91FA-CF9313B0CD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ff327aeaa544a9d5d08112587fa0629cc34adc","datavalue":{"value":{"amount":"+0.8504127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$78EDABB8-0D7D-4D2F-A9B2-C5ACC3AC0404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a636806e2b85ffe545e69f53a74d3ab65f64fc","datavalue":{"value":{"entity-type":"item","numeric-id":2849862,"id":"Q2849862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c5ec0ca185a1d1cde9e5f834adc43269e841a4","datavalue":{"value":{"amount":"+0.84394133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$E82FC31D-931A-4AAC-8549-E130ABF786A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212659f4cdfd63476bd611d62acdadcc54e7b903","datavalue":{"value":{"entity-type":"item","numeric-id":2845490,"id":"Q2845490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0cecb52984bd2cc54117271e65fcf16f8f622d","datavalue":{"value":{"amount":"+0.8438972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$EA2AD040-B3C1-4E88-A9A8-89337A086FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b13384675f47035104ba9e1a173703746491612","datavalue":{"value":{"amount":"+0.84358805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2848151$5AE345C5-2A68-4C2E-8C71-97D1E20547B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae991495cb7e3705e93806dacc560875dce4a2a","datavalue":{"value":{"text":"\\textsc{Upp}DMC: a distributed model checker for fragments of the \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848151$B2EF6684-050F-488D-BD57-E6AE13FD669E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848151"}}}}}