{"entities":{"Q2866326":{"pageid":2877046,"ns":120,"title":"Item:Q2866326","lastrevid":79682873,"modified":"2026-05-06T14:28:43Z","type":"item","id":"Q2866326","labels":{"en":{"language":"en","value":"Measuring and evaluating parallel state-space exploration algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238186"}},"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":"Q2866326$48FAD8CF-111E-4E60-A2D6-384E937BCB36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ed1d2f9d642981a6023368176bdb051dff05b8","datavalue":{"value":"1277.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$F507AD74-93FF-4B47-8EFF-692096DC096A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"343c84422e432b0d2ea74b33712fe2b3fa96951b","datavalue":{"value":{"entity-type":"item","numeric-id":2866325,"id":"Q2866325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$99ECBCEC-9643-4778-9090-4C13CFC6E5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$E2890AF0-9A39-4B98-BD1A-23106C611F92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$BD64753C-651B-4FE4-A603-9DF663EB8232","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866326$B837F45B-BA3B-4CD3-9B9E-945F9E8C61AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$588B31DE-F330-4AF1-91AD-82376C79E70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$716E4A1C-7355-4563-B824-A3BBFFDC274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$E3230BE9-A041-437E-B216-5987275B1CAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dedbaf731530f0c06d232d128875d4936295a48","datavalue":{"value":"6238186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$C0FBD4B6-581D-4B61-873F-823B58B5F818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866326$5FB8C1EF-3D98-4289-863D-2B580F4A44F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f42191c5a6c9d4ec90d92ccadcd7acb0c5de0068","datavalue":{"value":"parallel state-space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866326$7C324295-D5AF-45ED-A2F5-4CD7B1528A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c00453c6e84a60b3988c55c000f504a260ff68","datavalue":{"value":"parallel overhead","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866326$EF4CA3B9-65E2-4322-BB9B-459BA36367FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa687d0e4839c43a3c0b1f46534bdae83ad7db9","datavalue":{"value":"shared-memory architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866326$5668EF7D-10EC-4856-B7AB-921710B9EA83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7326620be7b9d0e1c20f87774fe6360411fc41c1","datavalue":{"value":{"entity-type":"item","numeric-id":20895,"id":"Q20895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$8CF81FAB-824C-407C-9AFE-759523B870E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e2e5ae41fe3dc1ca4b00073fa7a81c7a9eee4bd","datavalue":{"value":{"entity-type":"item","numeric-id":30261,"id":"Q30261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$97511359-B35A-42C7-9256-D2219254D383","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":"Q2866326$C913AD78-3005-4A0E-9CA6-3DDCBDEB5FA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06f7980938f3722b0c516e310637d0dfbc57be69","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866326$55E9D04A-5A40-4997-92F7-F2A352CB7797","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a1b261e29572c42490cc59d573f60ced09a1860","datavalue":{"value":"W2024971820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$D30A47F1-4C1E-42C9-8027-4FE7EA094689","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d207321f5a8923ffcf4638f1bd25d4d55b8df7c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$E1F7CAD3-76CC-48CC-9A64-FBBB0B4F3D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d904793aa3741aadee45d010385007a6b38b6bd4","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$F58C1083-3BBE-4C67-AD55-28A8B1C7B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15dfa26d018fc38a4a548328074452ae04f29eed","datavalue":{"value":{"entity-type":"item","numeric-id":4474210,"id":"Q4474210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$55A3E8FD-4298-49AE-B597-75CC2F1B36D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ffa9af707a9034e194333cec43fea04e458a9c","datavalue":{"value":{"entity-type":"item","numeric-id":2769596,"id":"Q2769596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$54793A0E-30D6-4D18-9E37-F147AD8CA85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9540c6c28af8a9c548ad06dcaa0234138db6a390","datavalue":{"value":{"entity-type":"item","numeric-id":4530809,"id":"Q4530809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$74A41539-47B0-4E39-903B-C560F6179C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14872bb46604258d207ee0277c897b6e7af8dad","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$FE26F807-C8E8-466A-A7A8-5CA187B515E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59859d4c53469d5b1024ed0df113ecb70b660077","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$5D91EF96-1006-4038-9BB2-0CA88CD3D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa890fea715a471e973f4b4eff0608c972c0511","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$B0BB7AE2-8E86-48EC-A1A3-4E61D54ADEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9231611dd09d9746f72db872f9a697c06fdcf53","datavalue":{"value":{"entity-type":"item","numeric-id":2842857,"id":"Q2842857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$338708C1-BD98-489D-BB98-5BEC2EB2F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678d45384f681bd9f653dcc5d970afaea2ad9d57","datavalue":{"value":{"entity-type":"item","numeric-id":2431771,"id":"Q2431771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$48DB9717-4A1A-4E3F-9956-7D47DFB4309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3e250e6f245d796b346cdec372a7ca532af77","datavalue":{"value":{"entity-type":"item","numeric-id":4779370,"id":"Q4779370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$AE2D7CF4-4ACA-4594-B8A8-B5C60E666A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2643725998647ea0efb48c4d6d5b6e915dfb0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866326$57BC6CD7-5A99-4F07-B19F-A346003C19D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19fdd67e2d33fd804519fad2261422f210d72eb0","datavalue":{"value":"10.1016/J.ENTCS.2007.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866326$5A8D14E8-D452-4E23-AD5F-8E105F6FEB7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df853be76867c94b02a00be81baf613d683a72e","datavalue":{"value":{"text":"Measuring and evaluating parallel state-space exploration algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866326$E518A7DB-C428-485A-9D8D-0E0C781BB578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ea8c1abcdcc16379f5e42cf90307b9e3da207f","datavalue":{"value":{"entity-type":"item","numeric-id":3069999,"id":"Q3069999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdd070020966324481c6757f9397aa541785bf1","datavalue":{"value":{"amount":"+0.8160071969032288","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":"Q2866326$B18427FE-634E-466B-9343-EA42996BB665","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":"7c05a61c0b6edb46e7a50f6ee8a47239ed14e93d","datavalue":{"value":{"amount":"+0.7455583214759827","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":"Q2866326$5818AEC1-E88D-4121-9AFF-040222E1094B","rank":"normal"},{"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":"d579ac540344fdd5e1c8c7bcb53f728fcd442192","datavalue":{"value":{"amount":"+0.7427033185958862","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":"Q2866326$CBC8AF1C-EFAD-4105-A960-F72C838851E6","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":"50e87d7413fc01939935e45ada82c83d11058284","datavalue":{"value":{"amount":"+0.7348901033401489","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":"Q2866326$D66D85A2-FAD6-4857-A3EF-13068D886513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d8708d55358f1a79ea48153e1da8b9a71b6146","datavalue":{"value":{"entity-type":"item","numeric-id":4779370,"id":"Q4779370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea982187d38ea79955035cd2aa9b19a89896f18","datavalue":{"value":{"amount":"+0.7153192162513733","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":"Q2866326$CD7BF921-B7D3-4A81-B9C1-A315D2D5C4D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Measuring and evaluating parallel state-space exploration algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Measuring_and_evaluating_parallel_state-space_exploration_algorithms"}}}}}