{"entities":{"Q12833":{"pageid":12889,"ns":120,"title":"Item:Q12833","lastrevid":56521869,"modified":"2026-03-13T10:06:26Z","type":"item","id":"Q12833","labels":{"en":{"language":"en","value":"ACL2"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"358da5816358de29a3b0f83ea5f6d5bd5d10069f","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$9A546FBE-7A3D-453B-B5D7-F3F9D448E1DA","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"2a9c2647d898e5ce57b4b002db28cf4d0e355d2e","datavalue":{"value":{"entity-type":"item","numeric-id":2734953,"id":"Q2734953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$100461F8-6091-408E-9A1F-99124B29C731","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99ba8292389519a9e8b9c879c13b00404bc8c620","datavalue":{"value":"Q4650692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$55637776-ACA1-450B-979E-7C05F7CCB2A2","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":"Q12833$E8E75CF3-63DA-4BA7-AD04-D748A9876F02","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"a21cd81177ebfd8e6bf07a7252e5a413191dd641","datavalue":{"value":"https://www.cs.utexas.edu/~moore/acl2/","type":"string"},"datatype":"url"},"type":"statement","id":"Q12833$B0A57161-2869-44F5-9037-D9A6333BDC8E","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"db12494dd27b45663f672cf2f7de7a8f9d4f54cf","datavalue":{"value":"https://github.com/acl2/acl2","type":"string"},"datatype":"url"},"type":"statement","id":"Q12833$2F2655CF-6BC1-492D-B1E6-C03131D1F1A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$F89771F5-2845-4FD0-A728-3850434F2376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$E3E4E18E-971E-4A82-8B25-C766231F5CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$3EC17B49-BCEA-4D91-BAF4-93B181397A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$874F43B4-31EF-47B8-B5B4-1FD3AFB81418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$8C718277-A5BC-403C-98A9-007C7C943432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$29EEE28E-1F5F-4E55-94BA-1D8F0DBB9126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$50416DA9-F8DA-45B8-BC64-638F722A39D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$C280FD94-6D11-49C5-A374-22159C952509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$7B87559C-38FD-449B-A2A5-59ADD5C341A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$37FE8711-B37D-4FDE-B27D-8E4B068228BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$30E6A16B-AEB7-41AA-9BFB-DCB6EAF30343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$57B9328B-9A3C-4BED-BA78-FF5D22849FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6652165beef23109cbf13f7bcea8ff518e7cac51","datavalue":{"value":"17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$7760513F-92FB-4771-8228-2E941C50A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$F592E3C7-5B15-4560-AA23-5E226FDA6DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$EE4F01F0-2B53-4828-9910-0E85D704773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be5267d4895a58dcc5cf7a7e416f12795fbbed35","datavalue":{"value":"28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$28DDA4F9-0418-43F3-B273-640A8379633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e00b180d44759253e9628090c3cb2c51b1a6ee8","datavalue":{"value":"35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$56402853-6BD7-45DE-AA7F-D1951D0CE7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff509fbcb7652441f8a9f4a6a1885c66c1d4bb0e","datavalue":{"value":"41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$263B95B3-E9CC-4B2F-96F9-21E2EED22CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee77797af7130412ebba1b303d4c6adf1a5ba28c","datavalue":{"value":"42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$5874844C-9661-4042-8C63-1DE6C6B4ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"109dc945947060ac4335002324b8db389f0d1f45","datavalue":{"value":"44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$D6F54027-FB22-47C0-9C4C-57BF67B05E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$96F92E05-4DF0-47D5-8F79-CDC27D5FD1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e24ee68b43931de13fa3c2edb783c4c41f7c841b","datavalue":{"value":"55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$843A9D00-9927-4AF6-A08B-3908AF08E53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$203E30A5-A925-4A28-95FA-BD8416D1D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56359f9045fe5db9438daf1ab901fd6bd2edb7a4","datavalue":{"value":"62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$80DFEDA3-5CED-458D-BA39-5FDD0DA7EDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cdce3acd819f327427a4823ff1d65533e6f5515","datavalue":{"value":"70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$D33E5062-FA94-4545-A48E-474CAD41084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eafc2970861edb4c7004312b82ba31ab41f8cd06","datavalue":{"value":"76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$0127766F-6230-4C1F-9946-1CAA7F2A483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$068F7A04-92F8-4B73-916B-1240B6E2BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$1C39DB69-F8AF-479F-B0F0-1C38E5BB2DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$C17AED11-4760-471C-BE5B-FBB13DA977EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$5BCC367A-DE9A-451B-B6C5-5B320078E4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$CD288786-8586-41B7-A187-25FDB8A78ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q12833$4CE22AC2-2740-4C54-BB72-449771B20979","rank":"normal"}],"P1458":[{"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":"Q12833$6C7E8E2F-F83B-49B7-931E-14CFFD9847F1","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":"Q12833$CAC470BE-5C4B-40B3-A52B-6DA7B2834010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$355DEA4F-B6C1-4188-BC6A-2D7EC601E115","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":"Q12833$C69DD723-F6D1-492C-ABAD-DAA7317666CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$F8515275-D12A-45CF-BA00-AB2469C61FE8","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":"Q12833$DADE402F-5FB7-4653-9797-0F63E1B0C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$C973683C-DDA2-4DEE-80F3-807AE3B9E244","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":"Q12833$59F38277-1C61-420F-9C0D-550BBA130DAB","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":"Q12833$AF409AB2-E5D0-4A1F-ABDA-9523D5A5C632","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":"Q12833$2F17F7D3-4A9A-4B4D-98D6-29089953BCE9","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":"Q12833$39FAF31E-0316-4F48-B1DE-ABACF8D482C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"543aa276b95f00186a5a47e22a8a661187ac4c13","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$8355AB60-E68C-4D33-AA38-FDF4EEC10D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$6E027442-ADF2-4E41-81E8-D9B5DBC30C80","rank":"normal"},{"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":"Q12833$A37CFDA8-0CEC-46F3-89F4-025E40F7D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$C73F540D-0566-42F8-9A05-8AF892BD6E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$8AD90D93-1C6A-49B2-8812-075A69EB0B79","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":"Q12833$F0DEEC49-797D-4257-8111-2BFEC162A2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$E0E1F8A3-FA0C-441D-881F-79EC6A56BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b0b962c0c3267764266c7cdd69400b78b40460e","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$461D1BF9-7C11-4D27-874C-4B958ADB448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q12833$8C5D5753-5B89-49A5-9CD5-2B600D594808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ACL2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ACL2"}}}}}