{"entities":{"Q31439":{"pageid":31495,"ns":120,"title":"Item:Q31439","lastrevid":56311887,"modified":"2026-03-13T06:01:47Z","type":"item","id":"Q31439","labels":{"en":{"language":"en","value":"Lambda-Clam"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"51611d4043a598b727b6d153f82389ba66266f72","datavalue":{"value":"19614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31439$92EA7A6C-FC30-4A31-9EB5-EAFFC65D2569","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":"Q31439$A45B1BF8-BDDC-4532-8EC1-4F17A552F39A","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"65201f737f14890ef7cee608d8f5733036d2be70","datavalue":{"value":"https://github.com/theoremprover-museum/lambdaclam","type":"string"},"datatype":"url"},"type":"statement","id":"Q31439$9A895C08-1498-403D-AF11-2B34865AF979","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"1bb0e3495d72c8473e5351e49e9390b5e85700ac","datavalue":{"value":"swh:1:snp:735f52a8632278061b00413d1a08004615bd2bc4","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"65201f737f14890ef7cee608d8f5733036d2be70","datavalue":{"value":"https://github.com/theoremprover-museum/lambdaclam","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"2e656291b16a83f22c937aff22b6ae081f63f763","datavalue":{"value":{"time":"+2021-01-19T00: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":"Q31439$168E7264-A74B-4C7E-BCE5-57FDF7B2CAC0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e851f740a2d09a5835a08115bf87fbed556fa256","datavalue":{"value":"https://github.com/theoremprover-museum/lambdaclam/blob/master/README.md","type":"string"},"datatype":"url"},"type":"statement","id":"Q31439$E1635A21-4B82-40BF-8D24-060EEB571B13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31439$3AB96A0D-F297-41C0-9419-32D00E1E9B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31439$2453E4D7-FE91-4AFE-B8A6-F95E5095CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31439$2D68EE81-B11F-419E-B2AD-A241B28AE8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q31439$4604C920-4AD0-4642-8E76-32AF23012885","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b804d7f6a9d995bf2ea6f073ae4d3f86f8702ec0","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$31FB0878-EFD6-4341-B0FD-E7E65BA6C3B0","rank":"normal"},{"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":"Q31439$60E729BF-B1D0-4F35-842C-5AED127DCA82","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":"Q31439$0492099A-98EC-45C0-974A-A9A5EC05E5FF","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":"Q31439$473918AD-FECF-4104-BF59-0D89E694E2A2","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":"Q31439$BFFEEB8F-E239-4B44-98EF-E3B2CEC72BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$AC2ADE3B-5A37-4BE5-9207-C553345CD3A0","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":"Q31439$D206256B-A95C-4D7C-9247-B4B16FE97F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1da83e82f563b21e91a419cb34e11d3be154209f","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$BB962AC6-BE81-45DE-B7A4-2F868368F3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b46a92ecf181aaf6ba95c111143d4a257b6e3e1","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$9B0C844C-BF5E-4DEA-9664-F1C98E0D8D88","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":"Q31439$7858F547-8B36-403E-9E2C-57559C5F6B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1a507159175b71dbd96200bab8251f1b66b13c5e","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$DC8195BA-91D9-4B02-9901-56C71E46DEF4","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":"Q31439$40D93BAF-1928-4B45-A989-DE993F66F76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a196964efd27e5260742319fcc47cacb06d5d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":33162,"id":"Q33162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$AEBEDB01-9102-4D3F-A06D-EB9339B26BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"93f6f95444b85e560d1da5b72d2b532e929adf96","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$B74D426E-2BA0-4376-9656-BB3083096602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1e2fce2e10201b3c6b09fd7c4b197e542c3092a","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$F3CCA2D1-F4DE-4675-AB86-13E28DE1DEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"28fc316ccc1f38bd6830fcffe3187b6d32168084","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$3ACD6ABF-A42C-44C3-8E79-576074BB0AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c7dda9137a8c097a2c877519ded8ad19344712a","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$DF0179A9-D878-4FFC-8270-EECE89C8BAF6","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":"Q31439$BC1B8D68-6ED2-4CF7-93EB-6E501C39699B","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":"Q31439$E5ADD776-7413-44D2-B114-B7A4EC02250E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e1266d5408ef11a5dec5d9ec5553c8aea149f5b1","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q31439$E939B23F-ED7A-44E4-9C34-93A079A35C2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda-Clam","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda-Clam"}}}}}