{"entities":{"Q40275":{"pageid":40331,"ns":120,"title":"Item:Q40275","lastrevid":105427949,"modified":"2026-10-09T10:08:45Z","type":"item","id":"Q40275","labels":{"en":{"language":"en","value":"Depth First Search"}},"descriptions":{"en":{"language":"en","value":"AFP entry Depth-First-Search"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7781b16b2cf7d97e749d227b7b32b5e80ec45444","datavalue":{"value":"28561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40275$CC3D197A-7A58-46AF-89D4-D2D3CD601242","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":"Q40275$937CC073-28AA-4780-BE98-14213C078086","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1fb034d33abe02be972e41faca4db66b09a0ec3b","datavalue":{"value":"https://www.isa-afp.org/entries/Depth-First-Search.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40275$13B17D5B-FFE8-472B-B2EA-33EFEAE5A485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40275$A47E13AA-4645-46DF-918D-8294D9ED24A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40275$30FBE586-52C0-421A-811E-68CC966B40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40275$ED294E9D-3C16-4EE8-9CE6-997CB0F1587B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40275$C202770A-CE5B-4EFC-B6B0-A08943671BD2","rank":"normal"}],"P1458":[{"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":"Q40275$77DECDD1-E34B-4BEC-A017-715119BE1513","rank":"normal"},{"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":"Q40275$5916F893-F7E8-4A01-974C-1BC3865F0D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"feba23e7c41ba4aa38bf2dee9205344029ea237a","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$664C7A09-784C-450E-944D-45B3069CB5C4","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":"Q40275$7D099D77-D457-4CF1-A691-B4452F4D13E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$65C9B24D-B809-4A33-AA00-AABF350A19E5","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":"Q40275$32F5330D-4BE3-4D22-8904-8708B99C708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$F17105B4-D7F1-4EEA-A91B-3DD84EEAC75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$6264178B-E0C5-4766-93F9-ABF219C54474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$4A0D7667-4AE4-493C-808C-60B5C944EDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$36DE7C13-BEE1-4293-A5DE-03D0FDA113CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"32eb0c8abe1b67b4df46bc8108bb18a63a80ff38","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$D5D6D21E-3259-4C8C-82EB-7BB9FE81A882","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":"Q40275$DF37642E-8E02-4014-9A7F-7040A8CECF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$0E950A19-8191-4875-B094-A54830AC9CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"acf5d0da134f7563af94342a3a34b9ca28cd59db","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$A20C6C25-16CE-4CFF-A111-96BA62E5F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$E86DC54C-C6FA-4635-89E9-D00659DC348D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"33a2c00edd213d9c703e35c0ce5b77b6ea1dd277","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$083149C7-ABF6-4AAD-B86A-436D74440B13","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":"Q40275$701B20F2-DD01-4BCD-864A-09A0DB5BA57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e1266d5408ef11a5dec5d9ec5553c8aea149f5b1","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$05DA7DD1-7048-4785-995D-D29F2B11E9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b48536efb8dad78a01ba209fd5cc5d059e24a93a","datavalue":{"value":{"entity-type":"item","numeric-id":42836,"id":"Q42836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$4DC526DB-5AF0-4180-A424-B427E352B0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b0460c22effbdc7abae47c972770a9682cc008dc","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40275$CCAB8D68-380F-4275-838E-103B93C64D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d97e228291d0d0f0ba2a390105f23356eefa49aa","datavalue":{"value":"https://isa-afp.org/entries/Depth-First-Search.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40275$BDCF8D70-0CBE-4EA0-B25B-7A5305E2231A","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d0584ff46ea1e504fb6e549e403257f11bf7afad","datavalue":{"value":"Toshiaki Nishihara","type":"string"},"datatype":"string"},"type":"statement","id":"Q40275$26AE44B0-4396-4336-A628-8C409F5C5F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f99b0ff434886eef3ac78e092a5d576969a41404","datavalue":{"value":"Yasuhiko Minamide","type":"string"},"datatype":"string"},"type":"statement","id":"Q40275$CEC7840E-4F77-400B-B04D-4A62E6EEB076","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb47a730433df90bf76475812a09651ac5c25d9f","datavalue":{"value":"Depth-first search of a graph is formalized with recdef. It is shown that it visits all of the reachable nodes from a given list of nodes. Executable ML code of depth-first search is obtained using the code generation feature of Isabelle/HOL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40275$8B19DAE2-3CF8-40B1-A8A3-4B301E6649EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c851ac28181f8132f7db46c89749b96cdcd9b12","datavalue":{"value":{"time":"+2004-06-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":"Q40275$160F1ACC-3C02-4A0B-8871-54FC5570F03F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09cf2f00e6b41c356ef617bd8484c8573b7d889d","datavalue":{"value":{"text":"Depth First Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40275$2F418459-300D-4090-800F-9475D1054144","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":"Q40275$BF3942A1-D97F-4FA9-8F04-9EEE7446B399","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":"Q40275$EC371DC9-66A3-42DE-B7F8-9A8754B4865E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Depth First Search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Depth_First_Search"}}}}}