{"entities":{"Q2145339":{"pageid":2156082,"ns":120,"title":"Item:Q2145339","lastrevid":54343013,"modified":"2026-01-26T16:23:43Z","type":"item","id":"Q2145339","labels":{"en":{"language":"en","value":"Automated verification of the parallel Bellman-Ford algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543922"}},"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":"Q2145339$05B966B4-4A81-4557-8557-CF7AA56040FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b0dee6a6e9b0a5fe13e488031eb1441b8cd065","datavalue":{"value":{"text":"Automated verification of the parallel Bellman-Ford algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145339$622DF301-4295-4E86-8F0F-5C30C3FF38E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d0ef13f71917a85be834064ed3581f54e96dd8c","datavalue":{"value":"1497.68396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$FAA5319D-942B-4ED1-978C-A6021E75ED35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"987b92ce549b86ae4916060e00a19e589caf35fc","datavalue":{"value":"10.1007/978-3-030-88806-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$DCCE850E-2552-4C6A-9215-3CD0E2B1F077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75fb5243196322cb363d0d50557908676ddcffb6","datavalue":{"value":{"entity-type":"item","numeric-id":1698755,"id":"Q1698755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$192CA805-54E8-4404-89BE-A79FBE5D7E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4631d4f248b70730a26a0db898eeb9b1fd0ffa","datavalue":{"value":{"entity-type":"item","numeric-id":784155,"id":"Q784155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$DF4EE53E-CDD8-4E7D-93CF-E986BCAAAFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$4B474F34-E83C-416D-A05A-CE6D7B8D50F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145339$694626F6-B20A-4DF7-974E-56BA2A811D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$D9FEFFCE-5307-4C09-AED2-1F31C3088F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$4C7D97AE-D1C7-4663-BF88-881C9F555CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$A511C48C-6FDF-48DC-87CA-505A2E7B81B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433f6973e88849e3581924941fa4e231b9ff0a0b","datavalue":{"value":"7543922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$E9B2817F-C783-4000-96D5-F401B0888ACF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$90A13922-0F9B-4B73-84AE-1DF56190FEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$9238A94B-178A-4546-8647-F23981AA1255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$E81234BE-002D-491F-99C6-0119C16B51E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3863d245f5b039d264fcf14c1e4e377215cfd7b","datavalue":{"value":"GPU","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$CC63122B-18E8-4E27-843B-118BB2F40ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a82cbff8ec5de07813c1d0f5b86008e1475fd5","datavalue":{"value":"Bellman-Ford","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$D48E7BE8-F0ED-4896-BF81-7DF9571721A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc9283eec564759c117cc6888635408907541c0","datavalue":{"value":"case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145339$47D44A37-5591-42C4-83B1-2265463F4D96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$FAACBB6C-EC47-447D-B702-E98B554E5C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa3e15f325ed150088c4e410d88474936a717bb7","datavalue":{"value":{"entity-type":"item","numeric-id":23205,"id":"Q23205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$7CC3CF2F-5A31-41F8-AB12-B1C0B2C7B92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$468E0F55-2609-4F65-819A-DEF868104AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a59271a8bed1df67d598bc4e3c02b6a8d2791a08","datavalue":{"value":{"entity-type":"item","numeric-id":38538,"id":"Q38538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$29B39BB3-E87D-4316-91ED-09F4E405D054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$AC10673F-0A54-4803-88FC-6828B009FBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d8f10a93b523882fb84087e4f3ec3a91618d463","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$35B6E606-2904-4F27-B4E4-E9C28C3CB761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$8F5B16B4-EDAF-46B4-9801-03824C39EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$278759AA-FE26-43FE-ACC6-3A1655523FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$BABADEEE-27E4-4059-B316-757594418E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3a054baa4efca75beada6ac9f2f664c52ac32a0","datavalue":{"value":{"entity-type":"item","numeric-id":15791,"id":"Q15791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$E0C6D5EC-FA5C-4BB1-A7D9-B0C5FADBFE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$A9F66838-C275-4104-A201-EC8114A80CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$51E3C327-FFE3-43AA-AA82-599A09638F14","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":"Q2145339$8B1FA3D7-8D74-41F5-A2BB-96757A90DEF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5cca252817f475fe6df143429e5f26f06bfe05","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88806-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145339$868B22BB-9225-4198-99FA-A727CD73616D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"405c5ca10d5d65eb6d29b8e7ff8931a543c12932","datavalue":{"value":"W3205264255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145339$135C52D0-72D5-4A0C-A95B-EAFC602427BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"061885fa573451da1302a78a271f913f69225f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3249327,"id":"Q3249327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$56883600-A5A8-4FF2-91C8-5C93968C99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acbf68a35efd53fa46006569e2fcabd7e445489d","datavalue":{"value":{"entity-type":"item","numeric-id":4962211,"id":"Q4962211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$F6C2BC2F-98E3-4B00-81F9-11BBBB0BE357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$72E862BB-8036-41A9-989F-280D48DE2724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$925544A1-15E4-4B7A-81BB-F2F0B74BA455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$D9650A60-0143-48BF-B9D2-77AE347C949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b276a4466d3408aebe4dbddd64d84bba4e9bbb3","datavalue":{"value":{"entity-type":"item","numeric-id":5875426,"id":"Q5875426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$71BA6506-1D7A-4D70-B41A-F38DE44CC968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ec156a454d2e2d6f33ac9c58cd7c5361fadccf","datavalue":{"value":{"entity-type":"item","numeric-id":3172923,"id":"Q3172923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$68DEF822-59C5-42C6-9D86-8EB6FAC2F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eccdde0fbd5ab94655a38a67a3395f2d5c7af65","datavalue":{"value":{"entity-type":"item","numeric-id":5039512,"id":"Q5039512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$EC22F22A-53DD-4202-8635-D75BDF6D98D1","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":"Q2145339$D7445D46-6E5C-4F40-BF0C-65853CD20A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ec352b1aaf6faab9b6b93f8a3f19306f634ac","datavalue":{"value":{"entity-type":"item","numeric-id":1698756,"id":"Q1698756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$DBE18986-AA2D-452F-A994-4D3C48A299F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6dbc9d14aa31bda7ad388a4db3885ef278ef66","datavalue":{"value":{"entity-type":"item","numeric-id":1791205,"id":"Q1791205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145339$B33ECE9F-E5B6-4E7E-975C-1D9FB2E01138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2de59a9144cb440fe17c35ade4d13579293683f8","datavalue":{"value":{"entity-type":"item","numeric-id":5039512,"id":"Q5039512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986c740aea455228191eec3a339a2115f7cd3938","datavalue":{"value":{"amount":"+0.7578597068786621","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":"Q2145339$DBAB9445-24F5-4179-9493-85865E3EE046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aab8f4badb1a3e330caa9b4192eb8c01a1e6a18","datavalue":{"value":{"entity-type":"item","numeric-id":4352830,"id":"Q4352830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921c723087cce05ec63b9821cadf7f79fa602a6f","datavalue":{"value":{"amount":"+0.7241140604019165","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":"Q2145339$ED0410F1-1224-4BFD-AC33-C6B60225D47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8770b9427d10b52b491e4ef4846cf868eb15838c","datavalue":{"value":{"entity-type":"item","numeric-id":4778649,"id":"Q4778649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6930e4751ff82b9ba0a18eab8f39faa1d4adbc","datavalue":{"value":{"amount":"+0.7228280305862427","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":"Q2145339$E7DF7FE2-F560-4287-A2F3-56F563457A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54e4f8a7281efd9ef9d3fded54d7fc01560a42bd","datavalue":{"value":{"entity-type":"item","numeric-id":3179300,"id":"Q3179300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3728a47e004250657c08ca49ddab00c1022bba5","datavalue":{"value":{"amount":"+0.7025741338729858","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":"Q2145339$8022400A-72DA-4F40-B640-721A0B9C6E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5555bd553a019fcdf079c7139717bb35a55ff","datavalue":{"value":{"entity-type":"item","numeric-id":1703009,"id":"Q1703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bed55bf8bd604621d824db97bcac38f69924ec8","datavalue":{"value":{"amount":"+0.6984859704971313","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":"Q2145339$6BAD7161-CF95-42C2-8BB8-DE3F828C2AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145339"}}}}}