{"entities":{"Q2848145":{"pageid":2858865,"ns":120,"title":"Item:Q2848145","lastrevid":51833006,"modified":"2026-01-20T06:38:46Z","type":"item","id":"Q2848145","labels":{"en":{"language":"en","value":"Load balancing parallel explicit state model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211536"}},"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":"Q2848145$4850EF0E-AC29-4E8A-BFA5-C3CB626E0D72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e2a40728f993d9c21ed5595538350b8504b1658","datavalue":{"value":"1272.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848145$B3333476-B77D-4DAF-BD96-5BE024F1EB91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af5eaa9233ec862ca530af5f120a8b4615165e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1645125,"id":"Q1645125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848145$318C2672-9AC2-4504-8608-B3BAB9692136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdee428d2eb82cff221d059f8b87cc92758b7194","datavalue":{"value":{"entity-type":"item","numeric-id":2796049,"id":"Q2796049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848145$B4B74B41-47D1-496F-9445-80791EFDF51A","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":"Q2848145$885C1FDD-4E3C-4D76-95A2-80449E8CCBA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65bee9f84a81fdc436bc011d376015591d51dfee","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105001659","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848145$04DB485A-7788-4B51-B9E7-5C8BA6A102CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848145$41E8E71D-DC43-48B3-97D4-CB2F5C4F8BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848145$D87F5A1E-723B-4AC0-91A3-75B34517CBDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a820871fa1b51a172e2bf420c5a8f98fc51ddf","datavalue":{"value":"6211536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848145$EBDB8655-C2A1-46E8-8ACE-0757E07F36DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848145$8B3AAE89-E0C4-4D38-BD05-0EC315F51956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848145$81A0D91B-350B-4C36-9695-1085FF6B2CFE","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":"Q2848145$B6C22DF4-87BD-4800-A384-0B3625CA4EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4ee814bd0e8b4a060f201c1c6c8cde68901efa","datavalue":{"value":{"text":"Load balancing parallel explicit state model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848145$947B181D-711A-46A4-9827-F370F1EBD856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4747186235e8f35e983d382f5a63d93dd28bde","datavalue":{"value":{"entity-type":"item","numeric-id":5699478,"id":"Q5699478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acabca2c56998cee94077f6115f904ef4c35781","datavalue":{"value":{"amount":"+0.8836413025856018","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":"Q2848145$DB37AAC9-CAD0-4F53-81BB-954DD0F0833D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ff332ca4e4ad7ec376f063f96d1787eecaca8","datavalue":{"value":{"entity-type":"item","numeric-id":2842857,"id":"Q2842857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6591c18aed51965c606bac6f24bbe4125044e56","datavalue":{"value":{"amount":"+0.8055856227874756","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":"Q2848145$E6121885-4724-4608-A28B-FD1E09462E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14055d1a82266cb52c9edd43935f919873942b17","datavalue":{"value":{"entity-type":"item","numeric-id":2431771,"id":"Q2431771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f948f0db2b9285e0ed151df4be94f341e6fd040","datavalue":{"value":{"amount":"+0.7914570569992065","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":"Q2848145$69657BEF-0C30-4AF3-A7CC-D53D40B28414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301abbbb3376e660e5af194409f38df0d5a0301","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93027c4f8a46963a03cdcfd32249a06beeb217e2","datavalue":{"value":{"amount":"+0.7610910534858704","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":"Q2848145$30969655-1FAA-46D6-9F66-5FF6EAD2016C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca522f2f833db3826493b39383074bf163777bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2848152,"id":"Q2848152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822144e24f901b483708ff8d87f0653aa3b5330b","datavalue":{"value":{"amount":"+0.7424359917640686","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":"Q2848145$76FC46C4-A84C-4D22-AC2E-FFF68E58E145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848145"}}}}}