{"entities":{"Q25577":{"pageid":25633,"ns":120,"title":"Item:Q25577","lastrevid":56264448,"modified":"2026-03-13T05:49:33Z","type":"item","id":"Q25577","labels":{"en":{"language":"en","value":"dedukti"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"276dbd7c6e6303fed54f2398b9794af74e313f41","datavalue":{"value":"13663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25577$A307EF0F-1854-406A-99C4-9B8F858B3EA0","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"148c12ca5db33a318f7510652a6ef628119db195","datavalue":{"value":{"entity-type":"item","numeric-id":3179416,"id":"Q3179416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$5FBD55C6-6B36-4FAA-896A-4330AD989EAA","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":"Q25577$60049C7E-DCA4-4460-A439-77E7B056CB6E","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"d33d93c27f3b80a2533b8482822ddd767bea8e60","datavalue":{"value":"https://github.com/deducteam/dedukti","type":"string"},"datatype":"url"},"type":"statement","id":"Q25577$34095514-D62E-444E-A503-6A6C9EE25E55","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"cc7649fe95662d05177dff01b10c357c53c1e0ff","datavalue":{"value":"swh:1:snp:40851bac4f4adeacf44bbc06c447952d97a5e73a","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"d33d93c27f3b80a2533b8482822ddd767bea8e60","datavalue":{"value":"https://github.com/deducteam/dedukti","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"f49101e197a350917396933307b5d717d74e6128","datavalue":{"value":{"time":"+2024-03-21T00: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":"Q25577$81BF56AC-107C-4A78-B3D3-EA368E109FE0","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"500c94a609b3f0b1d538d45fa15ff8640dc38788","datavalue":{"value":"https://hackage.haskell.org/package/dedukti","type":"string"},"datatype":"url"},"type":"statement","id":"Q25577$AE86E496-69C6-4A3E-8546-FC0594B47F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25577$F7ABFC28-686A-4CA7-A3AF-931B71CC7EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25577$5467565B-E30E-45E9-9C2E-FC65F4C6D975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25577$1AA24941-95EC-4082-A64E-26133F348B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q25577$F2E9A34B-4490-4909-9B78-7A2230023301","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":"Q25577$C7F31202-796E-4980-AEBE-4BB8CCD2D7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"58362df96b1cb2a6e14f572114f022ab605f7eda","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$8EC6E6C6-696E-4955-9AEF-96E1436F3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6d29b9e294eea1a26ce05a4d8663847cfc55575","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$DF1A2ED6-D366-4ADA-8D2F-956F8BA12831","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":"Q25577$E13FB7F3-FB84-4C48-BB4E-5134EE124179","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":"Q25577$D6907D19-2697-4A94-8155-5E815237F90D","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":"Q25577$EDC2BA4B-B4B5-40D5-BBDB-1C0A51295B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ec62e09023b4499a5f32d5b66aa8722181c9532c","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$82549E24-6CFE-4139-BEC0-39B4450A3815","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":"Q25577$DC3DEFED-A2FD-4BD4-8C6C-5C5B25BDCCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f252e247dc17bf08acb6fbc2e7b29a2a3dfa46b8","datavalue":{"value":{"entity-type":"item","numeric-id":24313,"id":"Q24313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$6447EA2D-371C-408E-9AAD-5B1FE392ACE3","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":"Q25577$F941C944-166D-4B5B-917D-8B4C70119760","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":"Q25577$CBD0A1D6-8613-48A4-9FB2-350118224602","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":"Q25577$2B3549AD-BC1F-4F87-8DC6-31CADDD266B1","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":"Q25577$7C9E5BD3-6571-4F62-A619-1990332E2AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4244bd21b3a60c5b7dc07ce4b342a92594fee47f","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$54196F25-772C-4992-8A58-A5874E2C60D4","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":"Q25577$0FD36594-8D8E-4F8C-99B4-08B68F30A6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9da79fd7dbf2505b805be7a34e5cd6aaac401e06","datavalue":{"value":{"entity-type":"item","numeric-id":43709,"id":"Q43709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$6231D051-84B1-4156-AAC1-54D3F86D8D8E","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":"Q25577$74E817D7-802A-4B07-BB45-0E922B0C4E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$80AD1185-62BA-4B6F-8593-2A6AA74720B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f0874088d59a2cbce379152e0f60bc05817c8d64","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q25577$0F6D4A87-D32E-42E2-B120-921E1ACE8C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dedukti","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dedukti"}}}}}