{"entities":{"Q2431764":{"pageid":2442507,"ns":120,"title":"Item:Q2431764","lastrevid":74107686,"modified":"2026-04-14T18:23:38Z","type":"item","id":"Q2431764","labels":{"en":{"language":"en","value":"A work-efficient distributed algorithm for reachability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066424"}},"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":"Q2431764$BD0EABD9-5E39-4A22-94E2-69E0E13E07A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"255de020e32970a648219115c4ee9bc3382aa73a","datavalue":{"value":{"text":"A work-efficient distributed algorithm for reachability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431764$DB99653B-9C23-45A8-9A15-5A395EC8FAEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31100f1a85bc9eb4e9b2b155b17dbe0989a0b42e","datavalue":{"value":"1110.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$20C54117-AE0A-4F20-A4AB-5F6EF092AA78","rank":"normal"}],"P16":[{"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":"Q2431764$E71ED082-B4A7-47DE-9CFE-BC8D1E17274A","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":"Q2431764$8FF16A77-40B5-4722-8AC7-03EF3336F6DC","rank":"normal"},{"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":"Q2431764$44AFB3D8-316F-41A0-9C8A-F0EB2FD2AFD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$FE9963BD-6CB0-4368-8C44-D8CC43EE3C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431764$8537DD7C-2E1C-49E7-BD2E-4D2189A8FC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$2FD333C2-A737-4D6B-B7E1-98F74BE3E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$195670CF-D787-47B1-9BE6-29954D6725F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$9618C3DD-93D1-4194-B587-6653C18F68AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba87176df720771c10ed918c062bf66483e6b4f","datavalue":{"value":"5066424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$752EA693-7FA0-4363-8D56-AED8886628A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a664928c105506e34f6a274badcdcae1f34799","datavalue":{"value":"Distributed reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431764$E8B6F8A8-6A4C-4538-A595-26E0F2A3BAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae49cf91076c37fa9bdc48f82649df7562deb487","datavalue":{"value":"Symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431764$518C62C1-B224-42DF-AD7C-629F787C4B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f81b9646a58ff1384a13c51c08d08230f888e5","datavalue":{"value":"Distributed BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431764$39867376-29AF-448B-B9D2-68A1EB4BD84B","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":"Q2431764$84631578-3644-4262-9F7F-1702DBB183EA","rank":"normal"},{"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":"Q2431764$7144B95A-81FA-4BE6-A520-4B333C0A3064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$FD5F9829-2BFC-4DE0-8D4D-CC0BB4AAC451","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":"Q2431764$4D6FC51C-C261-4083-A213-C1C3773ECD7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9a7406a4094f48b0e02497fc6f2f638b62a7c58","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0011-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431764$B5F4F108-41A5-49DC-816C-1D26D54E45E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e2c9827e658ae3f4bbb7f4b516bae45f3925b06","datavalue":{"value":"W2078620789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$247DB856-ABB0-49F8-A6D8-EB697485AB26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c081dcd4d9b9474538f88dfe61b4466625d33f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417912,"id":"Q4417912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$914EED23-EF74-4863-A6A3-DD33522BD293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b758040943d5e0d138579ae12293114f0cf85bb","datavalue":{"value":{"entity-type":"item","numeric-id":4551139,"id":"Q4551139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$11F2BCB2-2B66-4D7D-8BBF-DB9C74F6676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$E74D1CA3-6323-40E0-8935-E2078085273B","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":"Q2431764$633A2B5B-762C-4A6B-AE23-676254969DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2be1c750f76e738d6434665bd6eb2a48137af7c","datavalue":{"value":{"entity-type":"item","numeric-id":1871864,"id":"Q1871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431764$F489254D-F3A4-44E0-B829-D88CE0FF328A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e4157d1e08d13d2eea04c005eb3adf440cb94f2","datavalue":{"value":"10.1007/S10703-006-0011-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431764$10D26FB6-7460-4003-8F14-5F96C36CE0A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06c0395de06415ea756d6f99b3b1a2ebd2cd81f","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cc3dd7d84876b5366ac7fd1c78dc899c426725","datavalue":{"value":{"amount":"+0.98579913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$0629B7B8-2E2C-4D69-A6E1-2C5F6807A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4aa0914c671b7240979ebb3a8f077d623b3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4603566,"id":"Q4603566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1d581a533cde163d7c73a77f5e58c9b89738c4","datavalue":{"value":{"amount":"+0.9347512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$CCE6B28B-FD7E-439F-8FE5-D3874227EC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c12a9360debf5552acbfb3b98a869d4b7dbe123","datavalue":{"value":{"entity-type":"item","numeric-id":5044769,"id":"Q5044769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463304973faf87a193db2aa367e1ba5c06fcf421","datavalue":{"value":{"amount":"+0.92717093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$60E8AFAA-DF61-4970-8DBE-8A932E6C406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c808586653c30f4ddcea9fb69202680f55c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3787429,"id":"Q3787429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1b6ae4d3784f7d35d6a9bc54fb7abf369fb0c7","datavalue":{"value":{"amount":"+0.91960275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$5C181225-E26B-42F4-9EF1-506E2CBC6A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4bb06957b79b3d90d78c6c75dabc90365ce6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4608669,"id":"Q4608669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49106e07690b21cc392949d9067057af737b2432","datavalue":{"value":{"amount":"+0.8968336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$5881F0FC-38E5-4B3C-83D6-A0742A4E48EE","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":"5bb54c74853a44fb584ba23b4a90df3efa22904c","datavalue":{"value":{"amount":"+0.89095896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$9462E019-F48C-4592-9EB7-24300FB85E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e75dfba0f7363a0647af605cb1a591deb5fb5ce","datavalue":{"value":{"entity-type":"item","numeric-id":5129233,"id":"Q5129233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b8e443ef61ea45065cb090d37c8e5fbdd35c4c","datavalue":{"value":{"amount":"+0.8908663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2431764$AD7290E9-2679-41C4-8C32-92A524D575B1","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"}}}}}