{"entities":{"Q2848144":{"pageid":2858864,"ns":120,"title":"Item:Q2848144","lastrevid":42265725,"modified":"2025-06-03T21:58:54Z","type":"item","id":"Q2848144","labels":{"en":{"language":"en","value":"On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211535"}},"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":"Q2848144$434B3928-B13C-4783-B636-F9313881C412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b7a85f3ae5ad6f57b17a7cf0061c4eee37af681","datavalue":{"value":"1272.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848144$D38D795A-4B48-4D43-8FBC-12C3FD90B464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a83716d21734740c6776e0a75345f022d3d27415","datavalue":{"value":{"entity-type":"item","numeric-id":2103711,"id":"Q2103711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848144$5B5F4D08-0F53-48CD-BC0B-CA364FD37C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59abe5351e67bf7dcb0dc1ea707537a2ac34745","datavalue":{"value":{"entity-type":"item","numeric-id":2431765,"id":"Q2431765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848144$4898D063-7218-4785-B014-B6FDCD3A8955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395540467e97c6dc3353c3e6d0d7043e449a81f7","datavalue":{"value":{"entity-type":"item","numeric-id":2431766,"id":"Q2431766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848144$EEA2F1AE-AD31-457E-8973-64AD7D420883","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":"Q2848144$743C624F-48F0-4C3B-86C0-A0C2F82F59A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c18eba3f664eab19f505b434630c6a08a4cce3c2","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001647","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848144$6797FF13-5837-48CC-9C6D-4F94A4B2CDC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848144$139B4B75-30CB-4ADE-8E49-86CA6C3DB2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848144$84D4952F-81CB-4285-96EB-7BE74A9B70EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848144$015AE31C-93D6-433D-BDEB-A753922B2FD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44900a6e8a8df951fdfb80b0105e9300329f5dec","datavalue":{"value":"6211535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848144$427BE07C-0DB8-43A9-9883-851C35FD0D72","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":"Q2848144$FA45CADC-3622-49E9-8F69-6E8A344B4065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b4c47a9ab287c57e344c02ef1d5466cf961dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2842852,"id":"Q2842852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb950c5292207b2dca068f1d53185f7f3e42fbb","datavalue":{"value":{"amount":"+0.8992396","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":"Q2848144$595C9442-38EC-4972-BED7-15A62F1F9E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9172173f7658801414ffcbdb80a6df30c0b6f7","datavalue":{"value":{"entity-type":"item","numeric-id":6108439,"id":"Q6108439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f09392fdcdfd056e56efb4197d7c507a067585","datavalue":{"value":{"amount":"+0.85683924","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":"Q2848144$9D4F0063-0FEF-4E13-8955-B6FC01E400AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49562ef11a0db1241e19327ec70ac6b42fb460e7","datavalue":{"value":{"entity-type":"item","numeric-id":2431767,"id":"Q2431767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1e824f9cf16fc6f92841cb92878127efbe2332","datavalue":{"value":{"amount":"+0.85092485","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":"Q2848144$3FBAAD35-5B8F-41D1-BB80-572F67337EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1cd823440cec620bf4913b47996e46f622bad5","datavalue":{"value":{"amount":"+0.8454786","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":"Q2848144$6223C3A7-94EE-401F-8A9B-88DBBE2E52FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecd95075dd528dd1baa7240b4d53bc759d9e302","datavalue":{"value":{"entity-type":"item","numeric-id":3075493,"id":"Q3075493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af0698b393fa6337e70b1f6294f7b6cc341abe1","datavalue":{"value":{"amount":"+0.8376293","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":"Q2848144$10448F3B-90D0-4F91-A966-8944605296BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9c4d0210e2157e6adf9054b24a9bbc061cc4b47","datavalue":{"value":{"text":"On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848144$A20298D4-DC8E-4A44-B3B4-0B9141DEDAEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848144"}}}}}