{"entities":{"Q33139":{"pageid":33195,"ns":120,"title":"Item:Q33139","lastrevid":56323479,"modified":"2026-03-13T06:04:53Z","type":"item","id":"Q33139","labels":{"en":{"language":"en","value":"Logic Theorist"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"3394fc8a2c9a5ab37d06ac6995d98139b2fbf0bc","datavalue":{"value":"21331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33139$F9C1DBD3-B0C2-4B32-94C7-C7883DAD94EF","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":"Q33139$23F60671-6547-4F96-8547-FE9B03EA54CD","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"6eac4efdb95b6c08a92635484aa31e92820a7574","datavalue":{"value":"https://github.com/theoremprover-museum/logic-theorist","type":"string"},"datatype":"url"},"type":"statement","id":"Q33139$177C56AD-9540-4941-BC01-7EF842562C80","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"c9f171270fcdbae7ccc26214289206e635818ae8","datavalue":{"value":"swh:1:snp:117181a070549e0983ffea12f710453e6f31aa3c","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"6eac4efdb95b6c08a92635484aa31e92820a7574","datavalue":{"value":"https://github.com/theoremprover-museum/logic-theorist","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"491b647350ca48d7e65e7a9a6d6d57c0805cf10d","datavalue":{"value":{"time":"+2021-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q33139$A2637B15-FF26-4EE9-8034-51A385A424F7","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"35c807d2861b7081cce0f7c6940dbcc0e66bebe1","datavalue":{"value":"https://github.com/theoremprover-museum/logic-theorist","type":"string"},"datatype":"url"},"type":"statement","id":"Q33139$D3CCB34D-1813-43A4-BC0D-0309441F698E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33139$CB00178C-9274-4FDD-9822-F34A14D5C610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33139$83887163-0EC5-4A81-940B-036B8F5F0440","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33139$4E1432F4-1352-4F5E-B661-F5595BBA1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33139$B582AA7A-AA17-443D-AF91-3A087250A020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Theorist","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_Theorist"}}}}}