{"entities":{"Q3179300":{"pageid":3190008,"ns":120,"title":"Item:Q3179300","lastrevid":86608268,"modified":"2026-06-04T02:49:10Z","type":"item","id":"Q3179300","labels":{"en":{"language":"en","value":"Verifying concurrent graph algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667499"}},"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":"Q3179300$EBE1926B-E686-487E-98EA-9F95F46CE95C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"230c2fa81bedec88079f8931477d0cea8de7f567","datavalue":{"value":{"text":"Verifying Concurrent Graph Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179300$F5AD505C-148D-4266-A943-C268CB224BA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4af60e93c747d021e820f41595013c89debf7fe2","datavalue":{"value":"1483.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$D78905A2-A936-4AE3-A22F-D8B8F2823E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbefb739b617b86c127aee7b6a2a2e2adbc57d9e","datavalue":{"value":"10.1007/978-3-319-47958-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$527ADA12-8008-45EB-BBC3-2A119EE06894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5226bed02ea0c79d811817e8f95d4157388a70","datavalue":{"value":{"entity-type":"item","numeric-id":283753,"id":"Q283753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$A9CDC8F3-E0CA-4BC6-99C9-8C867068152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$BD2F82B5-C677-4788-811E-07CADE5E0F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f67e4f16065570fc730f998e4456a221f6f339","datavalue":{"value":{"entity-type":"item","numeric-id":992516,"id":"Q992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$FDC116D8-51EC-44B0-9824-665D96C7BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$AD67976E-2010-4164-953E-C641E73ED5B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$9B15BF28-8F91-48EE-A463-204E67F27E5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179300$A606F8ED-6E9B-4D3F-894C-CB4BF3D607C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"427067abcbf64f524368c4effd7437b81ca63b81","datavalue":{"value":"http://hdl.handle.net/10044/1/67346","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179300$12E7B0F2-201D-4D3A-9BD7-160CE74F4D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$DAAB894F-510A-4F23-96F4-2B00CB4D36F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$14249041-8978-402C-8B4A-9F6B3FB6733E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$B9E9D8A8-56E0-441D-8E50-0134553E35A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$AC524391-AEDA-4455-98D5-48C9854F3226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e776cb21406c82900de567458c391fff83b7fae9","datavalue":{"value":"6667499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$46BBD1D1-0DB9-440A-B8EC-25D7C0A7F65C","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":"Q3179300$2465BDC0-EEE6-4CD5-9FEC-F6D9DC8EBFAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1215cf57d3e79f2956cf5001da4382ae123fb141","datavalue":{"value":"W2528607668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179300$2EBD9449-AD01-444D-88DF-71BB9516BD76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafc05edf5c32c816a5ee48939a3f1bdfaac25fa","datavalue":{"value":{"entity-type":"item","numeric-id":4117366,"id":"Q4117366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$DC1E7F13-8EA0-4C45-9513-97DF878D1555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$9D268425-CA7A-45E6-9980-C7E6E2674097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$78242BC0-7E36-4B99-93E7-57CEB6E697F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a4c571abde364490f8a25bf7bf648673904a30","datavalue":{"value":{"entity-type":"item","numeric-id":4864234,"id":"Q4864234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$96F46EA8-1367-4002-92B7-EE2661ED61DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60119e77f6da2a86f03461c766d90e354c3a8111","datavalue":{"value":{"entity-type":"item","numeric-id":2931837,"id":"Q2931837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$1C5C48E3-5837-4F12-85C7-DC0BA566CBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$7F22654C-3AD6-4338-BE31-5C87F024CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdfcaf3fe67c1d041e0b803c6f8587810ff2ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3179300,"id":"Q3179300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$684E7956-7E79-4F16-B87B-A615F18DA0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f5a22d9f04e362b8ec930a158e9412e528ccf3","datavalue":{"value":{"entity-type":"item","numeric-id":2802462,"id":"Q2802462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$6F72E41C-AC0E-470A-8F59-1C77AB557B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$37537D3E-2D62-4F19-8C60-6485315232A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179300$32FBEB2B-5FE6-4F76-A7E7-DD3E00450B16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39542ec6c733d1d5173c29b1faf2f819970a79de","datavalue":{"value":{"entity-type":"item","numeric-id":2802462,"id":"Q2802462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a370cf824323b158b6ad62924bf2b47e3bb1a20f","datavalue":{"value":{"amount":"+0.7690567970275879","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":"Q3179300$D95B9F19-58A0-483B-8071-E3A4501BDC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ae71798f06770fd797139fd022961339a64d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2988651,"id":"Q2988651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f3e66c79e199b33c7d99457e3b5fa5dc53e960","datavalue":{"value":{"amount":"+0.73960942029953","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":"Q3179300$DD0B9770-62BA-45C0-BEB9-3E24E745CD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17da4fd9b156b8f61c5972d9cddfd16b4fc213c","datavalue":{"value":{"entity-type":"item","numeric-id":2845500,"id":"Q2845500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ae4d68e32f8b398ae5aa00d4e9190abee806db","datavalue":{"value":{"amount":"+0.7328583598136902","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":"Q3179300$A8F95BEA-E6D6-4670-9943-3EF36D3B2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6164f88065b5a08a964a93a48aaeca48b6fd3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b154ca95e0813a7c548ffcddcf3f6814fb294a5","datavalue":{"value":{"amount":"+0.7320051193237305","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":"Q3179300$6FF4E8F7-7123-4AB7-9EB7-B0B38B5CDFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d4089fcfe10ef585d32e315eb9b207a47b49b6","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a559fe60e8653af511521b26b48ae1e6047acf","datavalue":{"value":{"amount":"+0.7301706671714783","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":"Q3179300$D5A942C2-474F-4BEC-A308-69C5B48579D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying concurrent graph algorithms","badges":[]}}}}}