{"entities":{"Q40629":{"pageid":40685,"ns":120,"title":"Item:Q40629","lastrevid":105427832,"modified":"2026-10-09T10:08:30Z","type":"item","id":"Q40629","labels":{"en":{"language":"en","value":"Gabow SCC"}},"descriptions":{"en":{"language":"en","value":"AFP entry Gabow_SCC"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d7ffd9400962b11adeede8646b6921b220d07a5e","datavalue":{"value":"28915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$781F1118-EC6D-45ED-8074-BE0E5DD0BF77","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"cbc1b2ab17bde75d36b98ec52e308a6c83ad1a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$3583FEDD-E36F-4297-A956-F04BB2EDBCAC","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":"Q40629$A740AA49-3A1F-4E24-9298-B77D3E168A99","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1da294f11c891637a040040f6701dbad2edcbf09","datavalue":{"value":"https://www.isa-afp.org/entries/Gabow_SCC.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40629$25023472-E51F-4C42-9865-3FC04146C949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$B7FCF006-DFCA-4D3B-84BA-A1F9B10FF23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$C2384AFA-8C21-4219-B702-01F21F438BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$3BD0E0CB-43C1-4BEE-A1EE-83168F7B35CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d524cbea14b3375266fe3893cb26a33f13ae791e","datavalue":{"value":"5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$D29DBAE5-38A0-45A8-94C7-07BFB4EE6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$8ACAA76F-DCA2-4D91-B29F-51525DD34E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40629$9355B5C4-80FA-4DB1-A87B-7957D43E2953","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$CF005D63-D42C-4CE7-94A1-2BA2338CE561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$89F81E42-3EED-4579-A808-D7BDA8556ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$1AB34973-838D-4F95-A9BD-3826E87E2D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$7FA5BAE7-40EC-40D3-87C6-B9CB87C5A752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$576187D6-5FFB-4BFD-8EC1-CE7607DE8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$CB11A274-30DD-4085-9C53-A003280B3937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccca80b6de24b80a4ce2a4ab4e48d31e9686f36a","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$BCFCEFD6-7D8F-4DFE-B62F-60D4A749A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$ED713EB1-FDD7-48A9-A923-A5F3D1F9B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$7E3C0008-2232-4ADD-8BFE-CC6B3E26CDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$8C15A085-2BE6-42F2-A9E1-285AB37AF505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$9DE2E1EA-22CC-4FFD-B9C2-2FF63A8716CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$3A6B1FEA-D5CF-4C87-A783-CB9ECF6058BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e600fcf4c16bf9bbec6afc7a64801eb6824b335c","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$48241E54-DC55-4470-A15D-F7B79874ECE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a5226fd137c2167e439294ca4cdc09da6fe13411","datavalue":{"value":{"entity-type":"item","numeric-id":40324,"id":"Q40324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$29F95E27-495B-4A3B-B66C-1DA2BC547332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$30CD3A89-8CC0-4F3F-AB31-11D921A61637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$2F507E3E-9200-41B3-9F2E-170096A28877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb0918295880c75ce7e6107c7f8260e1eb005ccf","datavalue":{"value":{"entity-type":"item","numeric-id":40284,"id":"Q40284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$45AD7267-424B-4605-9FE4-517F02995937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aedeaf0144ca38f7cb9a3b8f0e43e0ed5b0f0353","datavalue":{"value":{"entity-type":"item","numeric-id":40283,"id":"Q40283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$F0A3EAC2-8EA6-421E-9FA5-7B035D9DFF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$C59239AD-E9B7-476B-82E0-FA5ECDDD9588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40629$62840DE9-35DB-40DE-B2A5-464ADF540556","rank":"normal"}],"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":"Q40629$365904B5-55C9-4C54-98BB-FA5C1585763C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7545c5768cca6bd4b47e52bfec18c22cb81849df","datavalue":{"value":"Peter Lammich","type":"string"},"datatype":"string"},"type":"statement","id":"Q40629$88A21666-6FD6-48D6-A272-8D7C041A6E5E","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":"Q40629$ED0EB913-DC78-47A5-9CE2-F81339DDB628","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":"Q40629$F4087702-B945-4CD0-A7DC-FAE75E46C4EC","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":"Q40629$C3883940-1CAC-42FB-9671-E5C5C2FA902F","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":"Q40629$91C823F5-DF77-4312-B486-1A38694DE86D","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":"Q40629$4438118F-86C9-4BA8-A47E-610F2D187475","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":"Q40629$4049D2B8-BBF7-4A45-A5C3-899336B315CB","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":"Q40629$3F9EB5EE-EB95-411A-9B7C-FAB6F9CCC468","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":"Q40629$00C591AC-00AA-4AF8-9FEE-3AA14C912D31","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":"Q40629$EDCFB188-192C-4902-B728-F363C5892CA7","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":"Q40629$54ACAA7A-066F-4EAF-94D0-0B04B17F0F74","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":"Q40629$29DA1CAA-EE27-4A2F-A8EE-EA308AAAF133","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":"Q40629$0F4EE73E-1A33-419C-9383-B747D19F0DA6","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":"Q40629$E449D55C-ED96-41C2-A48C-86126265C6F7","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":"Q40629$250FC981-6D32-4A46-A2BA-4023B6FE9AC7","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":"Q40629$CBAE598A-30DA-47AF-BC18-46C5DB3590AF","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":"Q40629$91B1AD1C-6016-407B-A14E-6FB586D94846","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":"Q40629$CB4A59D4-B4BA-492B-9357-3BDC5CD3B6AF","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":"Q40629$4DCC5595-0FAD-4FAB-99B5-52B360498BA1","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":"Q40629$E04EA190-EB5E-45CC-B321-B23A1F18B6E7","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":"Q40629$909FD629-EB51-44F2-9840-A52BB7508923","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":"Q40629$8B5DEA1C-257D-4D04-875A-B609BF25E2C4","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":"Q40629$66F0D486-303E-4105-BF86-F38AC0C6288A","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":"Q40629$0916EF6D-91F0-4D0A-B7CA-12C411655858","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":"Q40629$77B2EA5B-5ABC-4CA5-9D1F-470D729DEDA1","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":"Q40629$91341983-6AF0-4735-878A-67CC5E79708E","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":"Q40629$238FE5FD-9963-4ABC-A222-DBC3E1F2EE89","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":"Q40629$C2B7F434-B553-4525-92B3-9A53DCC67FE0","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":"Q40629$2A61D34B-3683-431B-8AAF-55ED158DECE1","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":"Q40629$A2E3D32C-18B6-46AC-ABE5-C3662728CF35","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":"Q40629$155A5478-E457-4B52-8AEB-D1FE37FC6F21","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":"Q40629$5D762116-5B5F-4E28-99BD-CF6D1F44500C","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":"Q40629$2F5C2B76-3F88-4E73-A324-D8406906357C","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":"Q40629$059CD7D4-444F-4833-8BFC-062ACF14CE7A","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":"Q40629$3B7C71CA-6B76-4E35-AE4F-2470A353D664","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":"Q40629$B3A66AD9-16B8-435C-A768-5B64D0458101","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":"Q40629$26F5F2A0-835D-43C4-A579-DC7AE5D3B2A1","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":"Q40629$42CB6B21-C3EC-4CF8-8838-32B426973FA8","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":"Q40629$99593A26-3414-4C1E-9D0C-7E931A3DC27C","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":"Q40629$D15EF5EE-D0F6-4B0D-9508-A38B17D27FB3","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":"Q40629$313F3E6D-C829-42E2-B567-B6913C340C97","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":"Q40629$C913A015-77F1-4D33-B2C8-DDAB6391ADD7","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":"Q40629$CD5D3B3A-E8B6-48BE-8FAD-EF8333FA9A4A","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":"Q40629$EA43A783-1C17-4429-A245-08322D3E0255","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":"Q40629$967DD5D6-FE59-41F0-B41A-6717ED35D452","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":"Q40629$368BA126-5CFD-4CB7-A328-34C15F7B60E8","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":"Q40629$4713EB4B-0237-424C-B116-342A32190798","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":"Q40629$2AD3FBAC-CF63-448F-A2AA-1BBABA4ECE19","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":"Q40629$3CDF729D-AB73-4FF4-836A-B7164EC69C86","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":"Q40629$04C1C682-DFE9-4FE5-AEC6-FDE5C19464BD","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":"Q40629$60580627-D112-4632-9073-762980C413ED","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":"Q40629$253D44F5-A64A-4770-867C-36F85DD469D8","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":"Q40629$552D8C5B-DEE3-41C7-8773-92861F84BCC8","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":"Q40629$ECFF72E6-E50F-4AC7-9F68-E8F981B1BFE6","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":"Q40629$3A437EB2-7781-4EDE-9BD0-2A28300EBC80","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":"Q40629$13FD5DBF-3542-46A9-BABC-DBE1E55F9FA7","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":"Q40629$4F0CCC67-2162-4F4F-897F-9E316CD80A52","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":"Q40629$16272A3B-9644-44C1-B507-28E6BAAA09F8","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":"Q40629$8ABE6F12-DB13-4E2A-AD73-9AAA0447282A","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":"Q40629$AE445302-33E2-47B0-9A9F-5FDF53357D82","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":"Q40629$CCE89E0B-1267-4874-813C-6E8CB22A0CCA","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":"Q40629$0FEC26D4-90E2-4F85-9AF0-D6A029815C9D","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":"Q40629$40BA7558-C385-4C44-BB54-DAC34B8D2CC0","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":"Q40629$1BB4E59D-7E45-4593-95AF-AC459247D07E","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":"Q40629$5452A6C9-B491-4769-AA68-781D599A3D1E","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":"Q40629$F5D533B3-7902-4F6B-9362-CEEAFA45EF23","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":"Q40629$CE258B50-2765-47E8-AB63-8BE1F6BAE3F2","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":"Q40629$5E65BBA5-F820-4C60-9178-7356C391D3C0","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":"Q40629$D6B5BFDD-7FAA-478F-ABB1-CACEB340EFC9","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":"Q40629$6199388F-29FB-4EB3-8A69-A0B30786FAA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gabow SCC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gabow_SCC"}}}}}