{"entities":{"Q23927":{"pageid":23983,"ns":120,"title":"Item:Q23927","lastrevid":56480367,"modified":"2026-03-13T06:48:41Z","type":"item","id":"Q23927","labels":{"en":{"language":"en","value":"llprover"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"2283bba059fdee28701c0a69567ab54cbaedd77e","datavalue":{"value":"11993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23927$09C2D06A-6506-4609-BE2D-E54C952EBA28","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":"Q23927$F5C17929-094C-4880-BA45-6BEED1B3BEA6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"311eca47fea8de8563b6c48e34e9fd3ba6e220db","datavalue":{"value":"http://bach.istc.kobe-u.ac.jp/llprover/","type":"string"},"datatype":"url"},"type":"statement","id":"Q23927$3592B033-3E28-4BCD-8962-1D7C3B60B894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23927$5BD36EB8-5CFF-4F45-8186-92DE275027A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23927$AFF71E1E-D766-4A05-BC48-4395277B0D77","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d239f8252ab624993c7ee0f1001b4c4e381e0821","datavalue":{"value":{"entity-type":"item","numeric-id":23925,"id":"Q23925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$041E2E71-B13B-4DC7-8580-DDA901C8BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2e497a99a0b38a3a2a13eac76627d3c07cf4104","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$B3F9F0D5-212A-4694-8405-BE5550813351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$9D954191-023B-4835-AA44-A519E1E1CFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f7d7f9b32cef9e5978cd8e5c953e883abfef00a","datavalue":{"value":{"entity-type":"item","numeric-id":1354516,"id":"Q1354516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$6409F5B0-EA6B-4F23-8567-8D07D906A83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8816c010c31b5ea325a035418035835ed57a8b98","datavalue":{"value":{"entity-type":"item","numeric-id":1354518,"id":"Q1354518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$BF426845-0C0D-42A0-8A1D-2F652E52466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"104d9e5d3d89985bc05b5253608d9b2777e729cc","datavalue":{"value":{"entity-type":"item","numeric-id":21894,"id":"Q21894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$267DB8C7-EA40-4961-97E4-5894ADF22B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"375d003c9d0b6a3ff55143a96cfc80d320cb1901","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23927$1ACBBD9F-07DD-4275-B252-0414A450DF23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Llprover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Llprover"}}}}}