{"entities":{"Q4609778":{"pageid":6639361,"ns":120,"title":"Item:Q4609778","lastrevid":53048879,"modified":"2026-01-24T03:08:04Z","type":"item","id":"Q4609778","labels":{"en":{"language":"en","value":"Verification of correctness of parallel algorithms in practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852731"}},"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":"Q4609778$FF41A092-120B-4B92-A328-5EB9B0631D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da57d83fa164aab11541332bdddf35640c111221","datavalue":{"value":{"text":"Verification of Correctness of Parallel Algorithms in Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4609778$AE31D900-0E1F-4866-ABEB-DEB8B2582F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adab5c8c77e2ef59fd3c22cedd453ebcbd039f77","datavalue":{"value":"1382.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609778$4F90BD2F-CB0B-43A0-BBF0-73DE65E65EB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4a33abe4f15f2af5741b87b51207517560c561e","datavalue":{"value":"10.1007/978-3-319-59861-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609778$5E2A7BC0-F7BB-42D5-9A8E-B860E274045C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91bb01048a240f6a92b1b770eec33059905cdcb","datavalue":{"value":{"entity-type":"item","numeric-id":4609776,"id":"Q4609776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$C98D9E7C-1A21-41D8-A580-73E76E3A7133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b683a34f0bdebbf2acceefa6dfe0f9cc1e7715b4","datavalue":{"value":{"entity-type":"item","numeric-id":4609777,"id":"Q4609777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$A070B665-0823-44F5-93F9-D5C3629E77C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9d4723899c65318bd319016ce8afba675aaecf7","datavalue":{"value":{"entity-type":"item","numeric-id":4609763,"id":"Q4609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$C306E62F-0250-4930-87A6-FF639DBB8879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4609778$92BB2C58-DEA3-44A5-A2EF-867FBB691826","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609778$AF01FF1C-2DAE-463F-94AE-836680F069DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df852627c252076520103b5b85129d2bd5d97d67","datavalue":{"value":"6852731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609778$48CC6A6B-3616-4D6B-ABDD-92DCC81BDF6B","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":"Q4609778$2EA49BCA-3352-40F5-A5E4-F9865B95883F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25051df133fef0af95008100707cf95bc6659667","datavalue":{"value":"https://doi.org/10.1007/978-3-319-59861-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4609778$E12368B9-877E-456D-A90C-4DD7CCB41566","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3049b7a31e79a8be96fa92513b910552dfa1a762","datavalue":{"value":"W2703924393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4609778$6C065C77-BE9B-4C5F-ACE8-84ECB6D554C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e486d26f3e160e77906b87b2015ad327807c95f","datavalue":{"value":{"entity-type":"item","numeric-id":3098764,"id":"Q3098764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$4DA032F9-6CE7-4F38-B16A-C83347669ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac8adf70558d1c560a1e707b524d36904f5b6ee","datavalue":{"value":{"entity-type":"item","numeric-id":439444,"id":"Q439444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$71ECD41E-F5FE-49A8-A78D-D0A060AA7979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08676fe189a6e7b637952384dfe76858717d9723","datavalue":{"value":{"entity-type":"item","numeric-id":892384,"id":"Q892384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$3DA33BD3-0470-4CE9-B146-73D6C66FCE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ec4d1a7e6cf24d192f5e2a7b2a97d8e0267590","datavalue":{"value":{"entity-type":"item","numeric-id":337617,"id":"Q337617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$5A5F4F16-B760-4F17-BE77-B63EF7AD370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c063cb0a1a4290ee57ae0f52d8b9b38eff782133","datavalue":{"value":{"entity-type":"item","numeric-id":3392004,"id":"Q3392004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$41AA1D7E-958A-48CF-B5C0-F08224B896C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2a1fe29fbff4d3b6f36bd126cfa32db3359078","datavalue":{"value":{"entity-type":"item","numeric-id":3564363,"id":"Q3564363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$BCBBA008-B1DE-4A5E-885C-C1E944BF6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d860bca80b43fc2540590ef0d574b08552bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3424843,"id":"Q3424843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$818C6B19-DA8F-42A3-93E0-635B57234137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa6339670ebd1e36fcb5576aa2fc8b781536c63","datavalue":{"value":{"entity-type":"item","numeric-id":4452906,"id":"Q4452906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$C9EC6355-BC9E-450D-A55F-9091CFF62218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d0a510c144c4c504178aa1b93eb5037b1dd17d","datavalue":{"value":{"entity-type":"item","numeric-id":2835536,"id":"Q2835536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$50C8A555-4084-4AC5-9B25-5078A34AEF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824d07a670b9675214ffb5ef609b90ddc05a4f62","datavalue":{"value":{"entity-type":"item","numeric-id":2433432,"id":"Q2433432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$39C91A98-6F58-4509-99FF-38CBB91B802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9466291634e83e12236234b9e2fd487969707b6","datavalue":{"value":{"entity-type":"item","numeric-id":2545842,"id":"Q2545842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$A0986A39-8464-46ED-971A-EF1CA40C1A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$9C8F8AFC-6C8F-4CCF-9BF6-B8BD81C39671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f070551081a3300f53dc8542b8f09af4ce5d3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1764201,"id":"Q1764201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$52B2B6ED-06C9-4F92-B868-7C9E87646082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca701d83b3ae640f83a633f28e1b7f04a6b9ef52","datavalue":{"value":{"entity-type":"item","numeric-id":301906,"id":"Q301906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4609778$02BAAD7E-7E77-4BBE-B13B-EBD754972D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218d194edf17b5f341b08645a92ce117e45529c7","datavalue":{"value":{"entity-type":"item","numeric-id":1276521,"id":"Q1276521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde20671756537c2b27e6fcf695c3e872b1a1af6","datavalue":{"value":{"amount":"+0.7147197127342224","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":"Q4609778$A6232F37-0A64-48EE-A9A3-7E2F408B0F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b38f533a8e2c62dd6c6523b8d3936f0dc7ad73","datavalue":{"value":{"entity-type":"item","numeric-id":3034805,"id":"Q3034805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ff88186842200ceaef345bb2b6183ccf64d091","datavalue":{"value":{"amount":"+0.7035878896713257","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":"Q4609778$3E0E08D4-ABE5-45DD-A405-8B1ECE598A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbf9fc162181108a90206f7af1207d1ed9c9af0","datavalue":{"value":{"entity-type":"item","numeric-id":1111014,"id":"Q1111014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3595f6539870aac5c30cf2c7cd1caec0e20ae6d","datavalue":{"value":{"amount":"+0.686425507068634","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":"Q4609778$43C31024-453D-49C9-BA3A-C03F70187FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671dbf31887e080caf5a49267c894bff7d3abd4d","datavalue":{"value":{"entity-type":"item","numeric-id":2145339,"id":"Q2145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219c05e8914bfe1c8e0845532f14d816b18ce143","datavalue":{"value":{"amount":"+0.6859590411186218","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":"Q4609778$9C3873F3-5652-4BF7-8A8B-1E6AACE45B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2057e5a384dd5f80f198a9820ffb53ed3ca7535","datavalue":{"value":{"entity-type":"item","numeric-id":2234067,"id":"Q2234067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ec521d771fabe62b752dffb726e533b6efa679","datavalue":{"value":{"amount":"+0.6824327707290649","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":"Q4609778$A5F04DC3-BC0B-4986-A597-2ACEC28F6CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4609778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4609778"}}}}}