{"entities":{"Q7361723":{"pageid":31520708,"ns":120,"title":"Item:Q7361723","lastrevid":105368381,"modified":"2026-10-07T13:37:29Z","type":"item","id":"Q7361723","labels":{"en":{"language":"en","value":"Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm"}},"descriptions":{"en":{"language":"en","value":"AFP entry Gabow_SCC"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd8a5b310c9d0e805777b0406f65bccd2c46bea1","datavalue":{"value":"https://isa-afp.org/entries/Gabow_SCC.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361723$165E89D1-8162-4F03-A581-BD89CD293AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a696f05378d1338ede6149124bc9da54876abcc7","datavalue":{"value":{"time":"+2014-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361723$0CBD7FC9-B344-4748-9259-A4897255D8A3","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361723$4E43138F-756F-409B-B1D2-7F09AE244213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305e531dae8b5e989360025d2f639af0f18b29c4","datavalue":{"value":{"text":"Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361723$F53065E1-669E-48CE-A132-43E75A26B509","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"066fd34b9a6b6b47d46d8d4cb6c78e1078c1178c","datavalue":{"value":"We present an Isabelle/HOL formalization of Gabow's algorithm for finding the strongly connected components of a directed graph. Using data refinement techniques, we extract efficient code that performs comparable to a reference implementation in Java. Our style of formalization allows for re-using large parts of the proofs when defining variants of the algorithm. We demonstrate this by verifying an algorithm for the emptiness check of generalized B\u00fcchi automata, re-using most of the existing proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361723$0ECD965E-501D-48FB-AA5F-E2E4255D7F6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$324FB051-B746-4AC6-ADA7-68D3A1CB3473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2258f52da9867c13c2b30df8aee56e4d4b64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2465040,"id":"Q2465040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$F39A8A4D-161E-4082-970A-E9AC776480AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111a7808427e08170d10840401583f7fe0dcd941","datavalue":{"value":{"entity-type":"item","numeric-id":5757215,"id":"Q5757215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$00DB0B69-D05C-4A4F-A3CF-6AD440D89C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$89CB9EAC-3EA8-4865-BDAC-E08E79241F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$E4963CFB-7042-40DD-8FFD-1D715698C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$F043C01A-3D7A-4573-BB02-EE226446E9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3877a1f64445e2be38ffa92491ece3830dcf80","datavalue":{"value":{"entity-type":"item","numeric-id":916409,"id":"Q916409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$02E05524-E1D9-4237-A030-4F65AFEE57B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$FFE06198-41EC-4BE4-9468-9FF794179892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$7EC2405A-06D1-4710-83F3-49E2CFDE66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$9F88B015-1AC3-4D67-94E9-4B6F83C8FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"386b5fe66c10b60fdc5677601973edb258b2366e","datavalue":{"value":{"entity-type":"item","numeric-id":672727,"id":"Q672727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$F3E192C0-8890-4068-B00E-CDE43CD0741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$8CD6B108-0236-4508-817C-5D9057211AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$E00F9F82-D5F3-4040-AFFF-0CF590CB9584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0e0d2f6f6067cafe5004d11baa83402037d817","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$2E36605B-CFB3-4C13-86BA-761C3997B9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18092ab083062e92326bbeef5a26dc16f6128110","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$A8074154-FDF8-48F6-B69D-80B275FE546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453fe0b2a68fa2605ac8b7e36de988055ad644ae","datavalue":{"value":{"entity-type":"item","numeric-id":1918989,"id":"Q1918989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$58313628-B0C3-4C80-BBBF-EA13DD1C6513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe8e3602773ea9e598e3cdba50fee16e9c604f0","datavalue":{"value":{"entity-type":"item","numeric-id":5136975,"id":"Q5136975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$DCF59B39-C1BA-47F3-B730-78496D57FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$743D8A48-669E-4F34-AAC3-6E4CE34B404B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb48a7f5d35b3cd1ac41f5e7c7c53679219b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$0D6C2155-1FD7-4BE3-A39E-6DA296EBC6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a637c261570260cbaa2cea6e157571d7fd7a71","datavalue":{"value":{"entity-type":"item","numeric-id":5952233,"id":"Q5952233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$3E131142-9B32-4841-9CC9-EB1A13CBC126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$211FB366-2775-4260-832C-5F3EC84803B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de81687b9f4ca941d3d25c66765dcafd0452a28","datavalue":{"value":{"entity-type":"item","numeric-id":3183530,"id":"Q3183530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$A866E20D-ECB0-4924-9A65-F4015416BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec3f4c34e322862b6f23d19fd68055d8d47c69","datavalue":{"value":{"entity-type":"item","numeric-id":294748,"id":"Q294748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$BAD1C6E9-FE8D-495F-BEBF-037056C7DE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a67d59fa85feb3ac24487c4144fa2553626a829","datavalue":{"value":{"entity-type":"item","numeric-id":2575734,"id":"Q2575734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$3F779852-2C6C-452A-9B9A-670243E43AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$8AF8C506-F567-416E-8B25-DC9CABC4F87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$93D613B0-E316-40A0-BED3-681A05E3257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b126335bd3120dafb51ce5954258f84323d340ed","datavalue":{"value":{"entity-type":"item","numeric-id":1470327,"id":"Q1470327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$2DCAE6F0-95DB-4999-98AD-24D9A4E4BBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$4CF9D642-3852-4A2E-8412-D02B15CA8C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$D494A0E4-1A74-44B4-8F9A-C4CFBFAC5B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$BEB12FFC-D7C1-4E79-9D4C-C45DE3D27DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$5C34C033-A02A-4D0C-9587-5FB090831334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc149579e2c0f9cf6c6f1a082b600b053a6569c3","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$C0425356-0440-4191-9382-CDB7F4EC3953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$EA9C6909-7535-42DB-90B7-E97F7A0669D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c21f7dc6f1a4b31896afb5d675fe5a2882d1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5894870,"id":"Q5894870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$D397A4C1-9AE6-4CEE-B786-E15555AC7F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b0bfaa5604fbbf1607bb7e54efdd2fee887b49","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$9C754C31-1F5B-4344-B608-B1C23C60BF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$0B7EC304-AFF7-4E09-97A0-1DD90B34A65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$206C3F96-C6EE-455A-9ACA-105F97AA936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2395dd702f138e4eac8055f3110cfa61dc3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":3088008,"id":"Q3088008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$3866FFCF-016E-4001-935D-A6F777487714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$C6A75D39-52F6-4166-89C9-57F87DD8E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$C3ED925C-D829-42D2-BD65-CE0010963F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$D48207D5-76F1-4235-B683-F988C341F878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c4f754b554fd3722211419d83d8e37139cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":3024879,"id":"Q3024879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$F672BB89-7A04-4BFA-A881-8F55080A113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ed88d611b51da646bb2fc8559d85d64de3b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$9E6C640B-3BC5-485B-852C-29C8045F58B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25282e1f0c1e0eccc5ae4ce78bc688548d8c67f5","datavalue":{"value":{"entity-type":"item","numeric-id":396975,"id":"Q396975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$007DA3CB-B3BB-49AC-BE84-E94E2008B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$C7E95226-95EB-4BD3-A31D-4279E8C14528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$9F1FE2A3-F947-4F26-A1B2-68FAE834905C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c607a5c94b8428a7cef799300e9b3e6ed0c004de","datavalue":{"value":{"entity-type":"item","numeric-id":2547483,"id":"Q2547483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$834CE85F-4DCC-4D69-8032-00F541F3B467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ea0e0c2138e6478d85015201e9d2edc3fe4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3993347,"id":"Q3993347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$A3D8614E-209E-4B36-B2EF-F9D4E0933DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6791f3e085b5e70981abdc04d407a28ff0f651","datavalue":{"value":{"entity-type":"item","numeric-id":5168887,"id":"Q5168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$CFA1F283-DE08-4403-B3B9-E8C5EEECBCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$7FF1F728-E864-4837-ACEB-B5F89E1CA1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff736e839f0888701774c765c625cde94f58c926","datavalue":{"value":{"entity-type":"item","numeric-id":3221388,"id":"Q3221388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$9E6EBB1A-EB75-4BE3-9294-2749A4FC4B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d5db2ff3a98847229e37022afd68316e61b698","datavalue":{"value":{"entity-type":"item","numeric-id":4474227,"id":"Q4474227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$A6852C80-64E6-4BD5-B0B3-1D63680EC1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$57DEF6E1-C8A6-48F8-B696-E9C0D74DA944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eefcc0108b8e9311aa2dc9dff405d1efceebb34","datavalue":{"value":{"entity-type":"item","numeric-id":5588122,"id":"Q5588122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$197E9E7E-D17A-48ED-835E-5D0D89DD09BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5099ab243a66a3dee745c8725c6541869a436","datavalue":{"value":{"entity-type":"item","numeric-id":2870161,"id":"Q2870161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$216BEF15-3660-4569-A42C-83D020D7EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$370CA0E8-F6B8-4B52-B552-40E57572C550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2d092d6968083a4fed19c68d859d36b85e3127","datavalue":{"value":{"entity-type":"item","numeric-id":4250671,"id":"Q4250671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$C129A41B-2F70-4E7C-8914-713F7FF3C045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$A380E186-FF78-4D1A-A17E-3874D70C63ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$10EFB382-82D7-4A7F-8C81-273EE171B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd710567ea32101f4f565557411a471e90460b23","datavalue":{"value":{"entity-type":"item","numeric-id":1144380,"id":"Q1144380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$B992821D-2178-4C9B-9FA1-D66AEF4EE411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$0EE6F3C3-F19E-476D-BAEF-0CC3E4EAAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$F749D5FA-7C0D-4482-BDA9-A62C0D6A742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$1A47BB39-BF65-461D-AC02-E63AB3B8DD2C","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$D4E50C97-D3B1-4591-B242-2223C77B9A36","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"57153f9096aa0dddca483f863db49f1a20c72ecc","datavalue":{"value":{"entity-type":"item","numeric-id":7361530,"id":"Q7361530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$D7BF4679-A2E6-4549-BFB4-92BFA8D6E877","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"0cb214ba14504ce52502380598f813a3d010fff5","datavalue":{"value":{"entity-type":"item","numeric-id":7360777,"id":"Q7360777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$56C31556-7C4B-4F0B-B9E4-B9E0039FAEC4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361723$690B61B7-231A-4487-A468-016B12EA5950","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_Efficient_Implementation_of_Gabow%27s_Strongly_Connected_Components_Algorithm"}}}}}