{"entities":{"Q7361225":{"pageid":31519214,"ns":120,"title":"Item:Q7361225","lastrevid":105423464,"modified":"2026-10-08T13:45:16Z","type":"item","id":"Q7361225","labels":{"en":{"language":"en","value":"Depth First Search"}},"descriptions":{"en":{"language":"en","value":"AFP entry Depth-First-Search"}},"aliases":{},"claims":{"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":"Q7361225$79706C18-E444-4926-855B-F64BA5029130","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d0584ff46ea1e504fb6e549e403257f11bf7afad","datavalue":{"value":"Toshiaki Nishihara","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361225$EDF0C15B-D429-40E1-8FD1-70E8F31FA414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f99b0ff434886eef3ac78e092a5d576969a41404","datavalue":{"value":"Yasuhiko Minamide","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361225$7DEF518E-A033-4AF7-ABA6-4115CC3BE4B9","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":"Q7361225$EAF978E6-9F7A-4E05-AD8C-3B0C74A8E770","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":"Q7361225$27770334-A50E-4D08-ACEF-79C0C47BF280","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":"Q7361225$CF8BAB51-8A77-4481-83CE-7C621A877167","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":"Q7361225$DAA97C03-122A-4ED3-BD7F-E10D668E6054","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":"Q7361225$F8B097EA-3D92-4DC7-8806-5C7D2C1C15B5","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":"Q7361225$2CE6D82A-44FB-4E2C-B475-39C51335E446","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7781b16b2cf7d97e749d227b7b32b5e80ec45444","datavalue":{"value":"28561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361225$B4E75059-C256-4C97-8CCF-1286AF04AE86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361225$E0580032-FE77-41B7-9789-CA6961698D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361225$1E7A40CF-192D-456A-96A1-9C3E2B8C1EE1","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":"Q7361225$ED4ED9A3-30A1-415C-A9F9-D8580BC3DC5D","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":"Q7361225$D45A9165-DC38-4090-BC7D-8034C4DEFB4E","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":"Q7361225$65855B7B-5911-4BC5-A035-7B672275FC55","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":"Q7361225$08FD0618-E9B0-4D36-B6C8-17393B35396F","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":"Q7361225$13A9316F-E67B-458F-A9B8-5B84C1EB7D02","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":"Q7361225$4CF3047A-E647-46C4-A231-8C7659C341CD","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":"Q7361225$B0802A85-F1BB-4521-B3DB-11234A247CEF","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":"Q7361225$CF50ECBC-FCE9-41F8-BDE7-67FED2EC6EC1","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":"Q7361225$14B46D34-A1D9-4D68-A565-6BF936BF1EB7","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":"Q7361225$EF1026D3-3E4A-466F-AD67-463ECF93B856","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":"Q7361225$7A605C63-FE3E-47AC-8694-642EB5381DC5","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":"Q7361225$4C8460CE-8804-4171-9304-CD82E864C817","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":"Q7361225$8BA6E91C-EED5-45E9-98E9-E984DD1CC6D4","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":"Q7361225$49C13F35-2F80-4919-8D47-81C4075BDA3B","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":"Q7361225$A964D40F-ADA9-41B1-B018-05A6E43F5DA6","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":"Q7361225$D2ADDFBA-F15A-4987-88E5-E1CADB478078","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":"Q7361225$DA356CF9-D1B4-4602-8252-3FC011162341","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":"Q7361225$EB4FD6F0-BC08-49BE-AFBC-DF59B35E9618","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":"Q7361225$F59C9EAD-B2D6-4AD1-A34C-4E94D58E6BA4","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":"Q7361225$DEE36FE1-84AC-4B79-A655-E51407277CA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Depth First Search (AFP entry Depth-First-Search)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Depth_First_Search_(AFP_entry_Depth-First-Search)"}}}}}