{"entities":{"Q2866322":{"pageid":2877042,"ns":120,"title":"Item:Q2866322","lastrevid":79682837,"modified":"2026-05-06T14:28:42Z","type":"item","id":"Q2866322","labels":{"en":{"language":"en","value":"A stack-slicing algorithm for multi-core model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238183"}},"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":"Q2866322$6CAB614B-D6D2-4AAD-AC24-858B2F8F09BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0636c9ee63fab28d58d33864b853a0bbf6be56","datavalue":{"value":"1277.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$A9CC247C-30E6-4F8E-92DC-41F3C6128D6F","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":"Q2866322$AADC8856-D645-4D0D-A550-FAA97E0490AF","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":"Q2866322$D900477D-9870-4D78-88C0-2A810789E55E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$5FEA8A73-E4D1-424A-B1A1-D29047F02071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$3F6FD1B0-577C-4EE8-BE65-E3636982B7A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51f4a68c60a26f5601555e327c653c5a3c4b7dfa","datavalue":{"value":"6238183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$3707FA4B-07C8-4CF7-AB23-735E3DEFFE2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2260a5c679caaa4668ce60e8d294381752a02f9b","datavalue":{"value":"multi-core systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$9C5CC85E-A79C-48F1-B00D-A5039C666960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$E80BFE05-CC29-482F-A657-73C98F011E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c609049dbbeffffa850839ee7c34a8fe95749322","datavalue":{"value":"multi-threaded programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$A799EDC5-9A73-4679-81AC-F13F2E7AA18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$8CD438F4-8DAC-435C-B1FD-F58B791BAE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f71ff3cf56c729d435abb8d73fcf62042609ec86","datavalue":{"value":"logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$2366B775-E3F0-471D-B458-7565F608EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e67cff36e16fbce951b8277c58d396a235e7bc5","datavalue":{"value":"cluster computers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866322$AF5B2443-8849-4B6F-BF01-9141962B58E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$66C701D3-5E33-4B92-B781-10A9FCAA074E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$3788E611-657F-4ABE-AF82-8289CEC01F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$5845F395-2B8C-4BB5-8C89-29C1842E1B2B","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":"Q2866322$0C9E2DDB-1754-45B8-91EE-221E0B70D45E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e2ab628b70365d0b74e9d5dd9ebb7e16f6e49e6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.10.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866322$B38EDDB1-FE51-416A-AD18-3D31ED47AEC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0da17bd9be433b8d8ad64606928617a7848d433f","datavalue":{"value":"W2123835981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$C7284150-53EF-48E2-B765-426F1665B8B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12aaec99abaccd653caf17efb937d950bb7e72d2","datavalue":{"value":{"entity-type":"item","numeric-id":4934626,"id":"Q4934626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$CEF77950-175E-4324-AFDD-C4E474930F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f139c22078d9b18c71a466d2743398466622ef67","datavalue":{"value":{"entity-type":"item","numeric-id":1951607,"id":"Q1951607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$4A4402F6-936E-49E4-BA70-36EF7FFB509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1bacb02abd5108dbe113f7de3114848ecd5372b","datavalue":{"value":{"entity-type":"item","numeric-id":5308364,"id":"Q5308364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$A7D8FC59-6908-4A70-9768-BA2F5F2423AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$05B18AA2-1B77-4F89-8610-199D86825CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90edd91337b9f75f05ada0540fd29f2958b60727","datavalue":{"value":{"entity-type":"item","numeric-id":1062456,"id":"Q1062456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866322$6CBE603B-DB8E-43EB-94BD-E7E5CFBC7F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7e0da4de37141dfd4f2f258fd4e861b8d858c06","datavalue":{"value":"10.1016/J.ENTCS.2007.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866322$BBC10816-77D2-4874-B89A-B7D2E0F17794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a48ef80c2d5184e05ff89efc1cc804c7e0a002a9","datavalue":{"value":{"text":"A stack-slicing algorithm for multi-core model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866322$68C5021F-573F-4793-A30B-028062DF3751","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821cad7f86625e66cba4b336c7949075487db8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3172928,"id":"Q3172928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c977bcbd8634fb995239705ed527e77a13ed9a94","datavalue":{"value":{"amount":"+0.7674734592437744","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":"Q2866322$88769F8F-E101-487B-91C8-03C5DE93A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c86ca2e78cd7acad5e47625e664f6700c9aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":4649304,"id":"Q4649304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c8375f66f564658f0dc9b22568767558e3cb47","datavalue":{"value":{"amount":"+0.7409335970878601","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":"Q2866322$EF5BD5EE-D765-40E7-940B-56BE77F7B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16897a0150a94dd9831aeb2548121e1a4e5378ba","datavalue":{"value":{"entity-type":"item","numeric-id":4649388,"id":"Q4649388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4672aa4016821287c502a5f899910878c90612ac","datavalue":{"value":{"amount":"+0.7374740242958069","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":"Q2866322$023233D4-A6AC-4461-95A1-43C1764F7805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1edf5ea934eb06ac904a108075d4b923bde664c","datavalue":{"value":{"entity-type":"item","numeric-id":4649302,"id":"Q4649302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b9eb9ee65e137ece7d76766f0f65cec429ba4a","datavalue":{"value":{"amount":"+0.7369439005851746","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":"Q2866322$EDEBA4E0-2A30-4F07-9514-AECA623F8D36","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":"bcecd708caf01358e7b0bea4bfd5faed90103b11","datavalue":{"value":{"amount":"+0.7135504484176636","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":"Q2866322$B2B14763-01A1-44DD-B12E-9573C2BFC77B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A stack-slicing algorithm for multi-core model checking","badges":[]}}}}}