{"entities":{"Q43692":{"pageid":43748,"ns":120,"title":"Item:Q43692","lastrevid":56385921,"modified":"2026-03-13T06:22:11Z","type":"item","id":"Q43692","labels":{"en":{"language":"en","value":"Cambridge LCF"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"02a8c011ea2fe6a3b8e36392a6d5df1cc1d6a96d","datavalue":{"value":"31981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$7A2CD8E6-7A59-44F1-8E85-9AE8B40763E1","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"c0927860b52e22ab49f4b36091d8c21343eefa6f","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$A5015787-94FC-4FA1-946E-4E1B4B8887EB","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":"Q43692$B16DC43D-5041-4742-9323-62C26FB3B1F7","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"11f254083c2608f957342d3dde045d6e6f10d0e0","datavalue":{"value":"https://github.com/kohlhase/CambridgeLCF","type":"string"},"datatype":"url"},"type":"statement","id":"Q43692$4D1EEBE7-11AF-4FFD-BD26-1A84DE59736C","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"66eaab769c338738bf2c446ed42b4d9258c079cd","datavalue":{"value":"swh:1:snp:bca5bb7b926389baf3c2f92b3713ec642245b825","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"11f254083c2608f957342d3dde045d6e6f10d0e0","datavalue":{"value":"https://github.com/kohlhase/CambridgeLCF","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"b7d21a5636913e6aa1d8ba3fe123d516db87ef93","datavalue":{"value":{"time":"+2020-03-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":"Q43692$655FBAF5-77EB-41D1-99BB-E786B64A648F","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"ae8c793f1f1524c6f1a326db8d0937710468db51","datavalue":{"value":"https://theoremprover-museum.github.io/","type":"string"},"datatype":"url"},"type":"statement","id":"Q43692$9A3A9A09-C3EB-4167-A21A-703C68D44FAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$003CA42A-B7C8-4118-AA52-389B3E719B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$78053C0F-702D-4AD9-B3BA-5E21E4E645BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$A243F1AB-3402-4AF2-840D-29031D02E156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$B4A7FB10-AED7-4759-A09D-4DEA5D0C23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43692$094E7B8A-E8CE-42E3-AC13-59BDF3BBB3EE","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e7a1624ebcfc86cb11ccad80d0985ed6ed992b9","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$038B999B-6561-440A-923A-00710A69BA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$11EFBA59-08C1-4931-A9B8-908BF0CE720D","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":"Q43692$21B462FE-0747-4802-821A-16EC8B2C7369","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":"Q43692$0A83F091-8C27-4EDC-9BF6-05A151E138C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$160AEFA7-CB8F-4136-B685-AACE5393F579","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":"Q43692$38C3A521-6828-4ED3-84EC-BFB23DF2E3F5","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":"Q43692$8177D27A-16AC-41A1-80DB-DEDE263CF0B0","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":"Q43692$493FC06A-A517-483B-A6F6-5F354A8C23F6","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":"Q43692$FD45E1B1-8D96-4823-B7A6-6F0A140FE6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"74e2f22f3455a86032de148ab76ea5527964cc55","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$5CF827D1-55F3-4406-B84C-54C7858882D6","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":"Q43692$F91BB869-1F5B-477A-AC9D-A1E3117FA0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2bf763fcf0ab4ef45e80dce8652f566b73729922","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$4964B1E4-CFC5-47C1-BB04-7DD59BC1625C","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":"Q43692$4DECE976-6E21-44A4-9327-CF56BCE69D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f90434dc9f18c178947daa52c2a32e7da8d366f","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$3C54270F-F768-4EDF-ACF8-3B3ED9C1180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$ECA525A5-4906-4B42-9F62-7A9072E4B860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"21ac0ce33ff9fe81fbefb6b70fe4d49e97e0f1f7","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$3A69541D-B23A-48E2-B227-6A2C42BBACDC","rank":"normal"},{"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":"Q43692$92C9D671-5FDA-454E-9708-B3B0A94BD6BA","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":"Q43692$F7941315-F228-4D2F-8D4D-2905F85192FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f24f544b6ac0cf3d06215e6b6225438c81e2977b","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$43865682-D1C8-49A9-BCF2-9952390E1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bc81cf3c2dae1f1109398f9c54980a9fd876219","datavalue":{"value":{"entity-type":"item","numeric-id":38038,"id":"Q38038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43692$C8C4D443-E986-4861-970E-C8718BFD2F2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cambridge LCF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cambridge_LCF"}}}}}