{"entities":{"Q43947":{"pageid":44003,"ns":120,"title":"Item:Q43947","lastrevid":105428540,"modified":"2026-10-09T10:10:03Z","type":"item","id":"Q43947","labels":{"en":{"language":"en","value":"ShortestPath"}},"descriptions":{"en":{"language":"en","value":"AFP entry ShortestPath"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"53af7f06675345c5b85833e6ad71ad0d071781c6","datavalue":{"value":"32236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43947$591CD250-A703-454F-A835-3AB4EE575329","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":"Q43947$2AF66295-D10F-4221-BF3D-24F2FDDBE9BB","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"d3ebb012e2b3e72bb41330e0c36a9fa12acd76d5","datavalue":{"value":"https://www.isa-afp.org/entries/ShortestPath.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43947$973B303C-32B9-4FFF-B6AB-8B8C54707254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43947$30652593-D189-4061-A375-F4DC820143FA","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ce995af0d54f8ab3594278c155d6ae4d6e3a6165","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$AB78F3B4-1CAA-4188-A371-36404E83DCE3","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":"Q43947$518ABA8A-CCD4-4BD3-96CF-FF5700078971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1dd50e6d12db6d69b44d98a789719c63bc20b24d","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$120461BD-2045-41B3-B10C-4098FF10A0C7","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":"Q43947$D4A877F8-C262-40D4-B6C7-5672E6E2E523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3e9c336168e17650e6c38b2eaa0f70237b2e636e","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$E5917085-4159-427C-8245-9869173E2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f05f47ffa49231241d775f50bc98a9e3449e1f6","datavalue":{"value":{"entity-type":"item","numeric-id":41246,"id":"Q41246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$51A9A5CE-9846-4FF0-BA48-BA509F51166E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$C05AB403-E3F9-4AD8-94B8-2BDD33037367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$21E42CB7-E182-464F-98D9-BE86B495E33C","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":"Q43947$32C93BC9-073D-4B44-8019-88459B30B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a78d10351f0710c61eb19af8201147471568ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$78A951AE-9812-4A45-9F0F-4B78BB2D0045","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":"Q43947$07A63994-F4BC-4BB2-A59D-BFEA6B84550D","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":"Q43947$65EB6B91-167E-45D3-B3BC-022555AC5861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1286389c58ecdb69c422604e3e1f0dbe5e0370f0","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$57DE19B1-D7A4-42A0-B84B-7E0D1181DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$85FEEDFC-C0D7-40B6-AA05-DA081998475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$3F3AFD0E-0789-46F8-A271-418C169D6ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$2DDF907E-2BBC-4E43-BC52-5B23C4FB3D48","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":"Q43947$FD2E6670-14DB-4DA3-89EF-EBE1EBB956F8","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":"Q43947$CEE94E0C-0703-4825-80E0-9B74EC395BB2","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":"Q43947$2F462502-120F-48F6-A8C7-D26D98F97430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d598055e76e7c072cae9308bcd9069cd8e8780d2","datavalue":{"value":{"entity-type":"item","numeric-id":13169,"id":"Q13169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$B6DAD4BE-B8D9-4766-AD1E-5D0700271601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc3b5b88b5f9adc01a8ad7cce9fe7e98faaf5b64","datavalue":{"value":"https://isa-afp.org/entries/ShortestPath.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43947$05C53A78-36B8-40BB-B3EF-EA05E467F73F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"55b0fc3dc61297337ef172ccc1d73223c8496fb0","datavalue":{"value":"Christine Rizkallah","type":"string"},"datatype":"string"},"type":"statement","id":"Q43947$96063F8B-B3BD-4B60-BF29-B435F817F265","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f421bfdebcbc789883aafb200906997c2d98f28","datavalue":{"value":"This theory is split into two sections. In the first section, we give a formal proof that a well-known axiomatic characterization of the single-source shortest path problem is correct. Namely, we prove that in a directed graph with a non-negative cost function on the edges the single-source shortest path function is the only function that satisfies a set of four axioms. In the second section, we give a formal proof of the correctness of an axiomatic characterization of the single-source shortest path problem for directed graphs with general cost functions. The axioms here are more involved because we have to account for potential negative cycles in the graph. The axioms are summarized in three Isabelle locales.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43947$C029ECF3-4D49-4A9B-8F99-95BB1FFFC036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e4f78d53799d58c7c887f530c100a307e279033","datavalue":{"value":{"time":"+2013-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43947$7294DD1A-AE40-49AC-8A3F-51A0DF3FC1C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c47e7f2a211a7fa5661f21f8af682ad973614be","datavalue":{"value":{"text":"An Axiomatic Characterization of the Single-Source Shortest Path Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43947$D8182B18-4B43-4940-A0FE-04E9F8B42440","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":"Q43947$DB2168C8-E6B4-4F00-AE9A-198D2D6028BB","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b999678a517221bed9bd614caca8006ebca3a529","datavalue":{"value":{"entity-type":"item","numeric-id":7361796,"id":"Q7361796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$AC702BC4-E7F8-48C7-9115-696C9C27AC2F","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"f3718ba60fb3ca54d1e75bc16696ddd7ca207e99","datavalue":{"value":{"entity-type":"item","numeric-id":7360827,"id":"Q7360827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43947$0EA166AF-27A7-492C-8760-42BA8992BF6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ShortestPath","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ShortestPath"}}}}}