{"entities":{"Q5900670":{"pageid":8006772,"ns":120,"title":"Item:Q5900670","lastrevid":93572279,"modified":"2026-06-05T04:37:47Z","type":"item","id":"Q5900670","labels":{"en":{"language":"en","value":"A work-efficient distributed algorithm for reachability analysis."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695349"}},"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":"Q5900670$4D7C078B-8E36-4721-A466-C8B6DCB7F629","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900670$31D92378-A638-40B8-9CF8-850AA26452EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cc1fba6ccd4e816faab02d25702311d4110e3a0","datavalue":{"value":"1278.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$7415E808-A2CA-494C-9D7D-35A4B231AD9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900670$87E73CE9-5E51-4730-BD42-7F37FB2190DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e7cea0bf119ec4d04b6ee0ebb9596c4918092e","datavalue":{"value":{"entity-type":"item","numeric-id":209465,"id":"Q209465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900670$F01EC7A8-9AF4-4F10-AE3C-611125F7F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900670$6614CDFE-07E0-47CD-83D8-E1EE36C6772C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900670$F2849EE0-4BF5-40F0-867F-C29FE5876140","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900670$870A4BB6-04B5-4A97-8107-D82585719FBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$6564F64F-EA85-4823-8CE0-9A79A51B8356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$629AB589-DC7B-4197-8DD4-78E7C48D11B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16042f8db1ff13abd4d72f1bf1137a0c2eaa791e","datavalue":{"value":"5695349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$D803F113-C806-4F2B-B7F3-84178E33491A","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":"Q5900670$28A7B9D8-33C1-43D4-A495-6DEDC6417873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900670$C4E1DAAC-83B5-470E-924F-289C0A83EAE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$E2A6A19B-92C5-409C-A455-CE8DA3CE0EEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900670$D101D3C8-EB61-4972-9779-96B7CEE5290E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e927c6c7cb10fcbc1bf985acef4dd7ca8895af34","datavalue":{"value":{"entity-type":"item","numeric-id":2431764,"id":"Q2431764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be75ba1767c0be2f043d6da4cc2ce5719d71a35","datavalue":{"value":{"amount":"+0.9815622568130492","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":"Q5900670$BB90A8BF-DACD-47CF-BFFE-CC3B94484DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04cc65366d3308583c5903bc800bd3bbf5af1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2754071,"id":"Q2754071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22315a277bc4298c01c84a271375489e27a64035","datavalue":{"value":{"amount":"+0.8400630950927734","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":"Q5900670$D419C7A6-E45F-4533-A925-CB641C448B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9afd68d27c4fcd0280085ed871d9d34bdf6d0dc6","datavalue":{"value":{"entity-type":"item","numeric-id":5929020,"id":"Q5929020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc335b63313efc881960e643b5d664024adb7b45","datavalue":{"value":{"amount":"+0.8375957012176514","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":"Q5900670$319ABB4B-CA02-413F-A9E4-048EEEF192EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72b69ee2110bb65e2d1433935d62ee1b4d358a7","datavalue":{"value":{"entity-type":"item","numeric-id":5493223,"id":"Q5493223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b3f80812e9d6217341ee7e11f7b6522d4182c1","datavalue":{"value":{"amount":"+0.8336244821548462","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":"Q5900670$5292F8B7-745D-4A38-AABE-961967777822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f6d1731a1d1100e6355e99dec208724353732c","datavalue":{"value":{"entity-type":"item","numeric-id":1871864,"id":"Q1871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be266979b1158f72465c8c8ec8698509722708b3","datavalue":{"value":{"amount":"+0.8296406865119934","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":"Q5900670$ADF36216-36EC-4350-825B-D1CD3B506B0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A work-efficient distributed algorithm for reachability analysis.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_work-efficient_distributed_algorithm_for_reachability_analysis."}}}}}