{"entities":{"Q25494":{"pageid":25550,"ns":120,"title":"Item:Q25494","lastrevid":56268840,"modified":"2026-03-13T05:50:55Z","type":"item","id":"Q25494","labels":{"en":{"language":"en","value":"npSolver"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c2bf7ca728cc8b6e4baee2fe11e705a8360d5e2e","datavalue":{"value":"13580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25494$7FD8FD38-D279-4A9D-999C-D9B2BDAF44BC","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":"Q25494$22448D89-CA0A-4BCD-822D-9AE36A113D11","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"5600e4e15b721b876c904677a432037dd39c322c","datavalue":{"value":"http://tools.computational-logic.org/content/npSolver/npSolver.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q25494$AE336A21-F41C-48CA-A802-2F993E585636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25494$F1F3EDC6-F019-45B8-B3BF-99D097A51CD1","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"20cde90a4f699e4a3581f61a3a7ae603923d8fdb","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25494$61A396E8-85D4-4D9B-B542-633E5D6C98A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2694f9146fdf18f6fd46e48e80fcb9848219fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25494$C89232D9-21CE-45AB-87AD-8F93A516CED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bdc6257ca94d46992924d1bfaeea57b0d7ee4160","datavalue":{"value":{"entity-type":"item","numeric-id":25493,"id":"Q25493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25494$ED7E104D-417C-499A-A8D9-8D75DFC7731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"db3fe41c602e2f7d50776ce88118a123b7a3a930","datavalue":{"value":{"entity-type":"item","numeric-id":25492,"id":"Q25492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25494$E9C9D960-5ACB-4DB4-9331-71303023D0AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NpSolver","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NpSolver"}}}}}