{"entities":{"Q2693303":{"pageid":2704047,"ns":120,"title":"Item:Q2693303","lastrevid":82750130,"modified":"2026-05-06T21:51:56Z","type":"item","id":"Q2693303","labels":{"en":{"language":"en","value":"Verification of the ROS NavFn planner using executable specification languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7665444"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$BC8A8C31-042A-4938-B92B-66A54CC464F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6425ab95080c2ffe867720e73f2f241222c71177","datavalue":{"value":{"text":"Verification of the ROS NavFn planner using executable specification languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2693303$9D726296-BC41-4785-B119-4A889B531797","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fdbed0cd9991ae3ff2fee5896dfef6e796368f6","datavalue":{"value":{"entity-type":"item","numeric-id":832311,"id":"Q832311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$144DCB9B-A16C-4D6D-9B53-B5D19030BB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc554f6471ff9eed49aa19334a728f6412a548e6","datavalue":{"value":{"entity-type":"item","numeric-id":209390,"id":"Q209390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$40870FEB-894D-43E6-92F2-C827C30DD1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1ecda69e1cbbf3f527244edb48a622cad39ee2","datavalue":{"value":{"entity-type":"item","numeric-id":520241,"id":"Q520241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$8F84272E-FCEC-4E2B-8295-3D56F6F21C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7fb07cd59622c643c7ec49c5d5e19a3be3adff","datavalue":{"value":{"entity-type":"item","numeric-id":2437796,"id":"Q2437796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$AA06AF40-54B9-464C-801D-EFF3E67F74B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bafae3d52609522af796446362a8627a32da7eec","datavalue":{"value":{"entity-type":"item","numeric-id":2104540,"id":"Q2104540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$9A89901A-526F-4EB3-AECD-7311C7896895","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$02402BBA-0734-44B9-8CE4-D87D3FB8E0C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6f899d4c7bf101307e9ed859fa217eb5616ba0","datavalue":{"value":{"time":"+2023-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2693303$A30BF087-F414-4D4C-8294-302DE7E4BA8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693303$8B432343-55B9-4221-AAF5-83E5206B1CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4cd135ac62e6e41f41262d783e816d9f91d9ca","datavalue":{"value":"7665444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693303$062BAEBD-299A-49AF-855D-1979CF031991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$597FE975-3DFD-4E02-BC06-89071F3A28D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$9575DE8E-8BD6-462C-BF20-1C59721336F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687f8a7c2edbbbc1aeb5cd4f391a0a413f54968c","datavalue":{"value":"ROS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$8804F67C-E6CF-477A-AFA0-0DA8B66A4568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$3735B5E4-3E51-4817-85A8-158B078C001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d09e821e8fdfeeaf0bb96693a99c169f2346231b","datavalue":{"value":"navigation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$08ADD6A5-02CA-4365-98C6-498B058B301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8bc3fcda11d6808794c792f39897873e5d3efa3","datavalue":{"value":"Dafny","type":"string"},"datatype":"string"},"type":"statement","id":"Q2693303$08AF5DD0-5C10-49A8-8AB6-86D97191F409","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$22492330-563E-4F6F-AA5B-6FD81D456706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5af54c1cfa26d4225d3a38d57a0e1d2589555fcd","datavalue":{"value":{"entity-type":"item","numeric-id":1334394,"id":"Q1334394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$505E096C-D936-41F3-8037-D5A2F83FF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7399752adaccd58ab21e56461818d475d341863c","datavalue":{"value":{"entity-type":"item","numeric-id":1334396,"id":"Q1334396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$870C1288-796B-4C99-88CC-CC27A70B5AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f16132fbe2b6a3c50d07b2a099c8ef89b2ac5227","datavalue":{"value":{"entity-type":"item","numeric-id":34587,"id":"Q34587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$240EB15D-CF88-4CC8-AE55-91AF0A5A7348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd52eea2a697b4b8d049e4bc0c35f7cd532d00ef","datavalue":{"value":{"entity-type":"item","numeric-id":13243,"id":"Q13243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$234E5810-CBDF-465B-B2C8-9027A098B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$AFC171D3-E635-4DB1-9DEA-07D04F9A6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03751e842a825e216f5700a4e5fda1e5fdcad9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1353188,"id":"Q1353188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$899AAD3E-79A1-413A-BA50-ECED06CAE4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e08a73626d526310e4657dbcf23c5fbd743eb510","datavalue":{"value":{"entity-type":"item","numeric-id":5974118,"id":"Q5974118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$A7E27936-39F8-4C1A-8D26-71603C563318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$A1036965-EE49-4D9B-BD6C-2F56528B7240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$95359DE8-22BF-4A83-BD4C-3F8F24224C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$431E20D3-A29D-43E0-B446-5C87179F5514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$1936CC47-1E30-486B-937F-9E571C0DB340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$DD5C8A31-3239-439A-99A8-5818E5337424","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$2B260B74-2370-4EE2-8465-8A2B6CFD10D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba332d8adbd706c4f031da4f015615ea1928e73","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2023.100860","type":"string"},"datatype":"url"},"type":"statement","id":"Q2693303$120E3161-23A7-4699-8DFD-201FAA042AA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fd9569d9e10461172877c0089b9f394aa79fb55","datavalue":{"value":"W4320712511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693303$0F37C870-44DC-48F9-BE99-A16E15660D3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$98006D2E-BE7C-4E9C-B139-C4A81A5FFB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$80469B69-C62C-4A5E-8C11-6EE17E493A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$E4D5F57C-DEFE-4BEE-B057-6FD2403956AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$FDE65153-828E-49D5-B924-E7847188211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$5AF496B1-7337-4DA2-9B91-8B02F2C49434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86415c654a903509b73bb5d92c7a2bf96bc67567","datavalue":{"value":{"entity-type":"item","numeric-id":2104541,"id":"Q2104541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$2CC31553-3B17-4B0B-B2B7-0BBE7AE4EC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$0895D920-B9D8-4B52-9621-CEDA11C4D4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$5600C4A3-97FC-43CD-BC28-6FB4D41E17A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$5CE8688C-242B-430F-A0F6-4480656A7B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$B89A9CF9-7852-4B0B-9C90-88D085A70023","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":"Q2693303$EB49E0B8-DAEB-48B0-B673-A9DE31C212EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744e3d7229d9a2a1ce57c96fa223d09f8deab811","datavalue":{"value":{"entity-type":"item","numeric-id":2942898,"id":"Q2942898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$94321D3A-B90B-4040-84D6-A8DDF3B8C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bbcd224269a8dd7f8359fa2321aaabb2a870a2","datavalue":{"value":{"entity-type":"item","numeric-id":2239275,"id":"Q2239275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$7A6F90B1-467E-44B6-A492-D4D7BB70F376","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c57620aa3b1edeeef7bebea51008bbd72fc5c32","datavalue":{"value":"10.1016/J.JLAMP.2023.100860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2693303$CEADD3EE-FC74-456E-8459-2D48E3C4F816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4867ce6e792bece096e21f88b609d530ff82bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1364da3c42cb3a9f1ae2d9ad7adb43d5232f8a9","datavalue":{"value":{"amount":"+0.7072106003761292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2693303$ED1D62F0-2838-47A0-B270-9DAAA3949DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f777662552ec8ff3482529dae095befca8ef63f1","datavalue":{"value":{"entity-type":"item","numeric-id":5308419,"id":"Q5308419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294836ef6ff205cf4308b5dc00ff4e63053afc63","datavalue":{"value":{"amount":"+0.6921724081039429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2693303$CB86DB9E-CAF4-4DD9-A876-D70121C83121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f1f425876189b2a7791438f77bc68de9e0b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":6109583,"id":"Q6109583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a321b4055069e5ab1b00485b80df053df0e73d","datavalue":{"value":{"amount":"+0.6921036839485168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2693303$5DC229D0-D804-4E4D-9C99-6E49EF4A3E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb22c75a738b83ac9e6e38116cf47347a78af889","datavalue":{"value":{"entity-type":"item","numeric-id":5239231,"id":"Q5239231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21625a1080c1b2e6c2e68f9269a86048b63abd91","datavalue":{"value":{"amount":"+0.669560968875885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2693303$25845B22-571E-42A5-A017-D26F667DC18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4a5e811b912f210d0e5220ef81ba26c37c0253","datavalue":{"value":{"entity-type":"item","numeric-id":4560620,"id":"Q4560620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6ddc07e7b72d94eb889c379749854073b8d2d1","datavalue":{"value":{"amount":"+0.666679859161377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2693303$BB2CAD32-42D7-4AAA-B840-B73467F10642","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2693303$CA8AA218-F394-4C10-85AF-D7B8D52BDE9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of the ROS NavFn planner using executable specification languages","badges":[]}}}}}