{"entities":{"Q33377":{"pageid":33433,"ns":120,"title":"Item:Q33377","lastrevid":56327988,"modified":"2026-03-13T06:05:53Z","type":"item","id":"Q33377","labels":{"en":{"language":"en","value":"LRAT"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"34b8983f64db516fa444a7871528e4f3710a40f8","datavalue":{"value":"21570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33377$A86D5EAF-53C4-411B-95E3-85BCD4403152","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":"Q33377$9D00930E-6ABB-4725-83A3-7558E3D7A958","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"d48e9afd3a72b40d4a68078c45d3c185178dd905","datavalue":{"value":"https://github.com/acl2/acl2/tree/master/books/projects/sat/lrat/","type":"string"},"datatype":"url"},"type":"statement","id":"Q33377$72E32964-EB6C-410B-B29E-C076A87782A5","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"28b72a722efdb110006d756e7808b14b64fd06e4","datavalue":{"value":"https://github.com/acl2/acl2/tree/master/books/projects/sat/lrat/","type":"string"},"datatype":"url"},"type":"statement","id":"Q33377$01099C1A-5564-4D7D-B0E6-F4A27C7AD3CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33377$8B27B2A4-BB57-4A1F-85F9-828A9C16373C","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d9a241ea62c19819316dc010d562c6313b3903b","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33377$E6C53B7C-3D10-4EB9-AA51-EE5A0DD9AC0D","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":"Q33377$71AF3E78-28C1-4E53-BB03-DE1712ACE65E","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":"Q33377$4E3172FC-BFE4-4F87-AA68-FD115D35003E","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":"Q33377$6D04B5EB-3083-4265-A7CF-93BCE39B07A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c7c9e6ae0869846d6199359a2a3e4f6ea9303ca6","datavalue":{"value":{"entity-type":"item","numeric-id":33769,"id":"Q33769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33377$27B427B2-0428-4DCD-8A41-C8E4E0E174BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab75a27745b95bbc51eed60e2ef7157b7c449125","datavalue":{"value":{"entity-type":"item","numeric-id":33768,"id":"Q33768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33377$0881FF93-7356-4A89-B026-0BAD910D3E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c43eb26b29c59c3376a4b82a5c62f435fb00011","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33377$7B69F1C7-2B91-4355-B611-3E8369460A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LRAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LRAT"}}}}}