{"entities":{"Q23924":{"pageid":23980,"ns":120,"title":"Item:Q23924","lastrevid":56260578,"modified":"2026-03-13T05:48:27Z","type":"item","id":"Q23924","labels":{"en":{"language":"en","value":"MetTeL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"0a5cc8c2a0e689b56ee0e771197dde689d44c718","datavalue":{"value":"11990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23924$FD87E19A-2CDC-4F7A-AA01-6A7EF74D559A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"cd40101f30dc5adb0af80af5bbe7ef2f28a593bc","datavalue":{"value":{"entity-type":"item","numeric-id":3010372,"id":"Q3010372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$26B4B784-E4B4-45C4-ABCB-B4F5F19D1EE0","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":"Q23924$3A1FBF12-439F-4A39-9AFA-EFA352624E62","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"b99ce9c56749eb96a664550a60b64669326a0bbf","datavalue":{"value":"http://www.mettel-prover.org/","type":"string"},"datatype":"url"},"type":"statement","id":"Q23924$AF4A2C84-3F73-4B91-8C3A-2566BE5592AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23924$3D3C1C58-B3D0-4D59-A779-7C305C375166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q23924$958ED93B-8842-438D-B676-76C7AEDEDD41","rank":"normal"}],"P1458":[{"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":"Q23924$FA861DBA-CE52-4C62-904D-EA1256401B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"51a433fb1f58c86009102c1eb58b9eafc05a53bb","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$948444E6-6BD8-4040-9157-5E44846E971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0982ae483c6e6a3bf3a327859a8265f44d844669","datavalue":{"value":{"entity-type":"item","numeric-id":33329,"id":"Q33329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$6F370D55-F647-4964-A3A6-035ABDDFECDC","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":"Q23924$469C95B1-00EA-4F7A-AFCF-E798E3B7DBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f7844e708069cf23a2dec1a51a88f28ad0b8925b","datavalue":{"value":{"entity-type":"item","numeric-id":40018,"id":"Q40018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$3FE742CE-63A7-456C-A2F5-7248B0F7909D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"007dfac5daf4509365afb988dc811e0dfec9e92a","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$A30A4155-B7EE-46E5-A2FA-E48E11D9FC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"104d9e5d3d89985bc05b5253608d9b2777e729cc","datavalue":{"value":{"entity-type":"item","numeric-id":21894,"id":"Q21894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$5F0032B3-F8C4-46E8-9829-BBA9883C1335","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":"Q23924$44099CA2-352F-400A-956D-4C6DDF89C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$494EDCEF-E9DB-4ECC-A597-4767221BD829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c0647a2bb4aba3ccbf413b9676123f5b3ee3185e","datavalue":{"value":{"entity-type":"item","numeric-id":40605,"id":"Q40605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$621F4F9D-F7D0-40AB-B26B-D654760D0871","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":"Q23924$CFCF4405-B3CD-43FA-B7C8-3B05595414C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"239ac5c0327af3346b2f92ef805aaafc618ec12b","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$41AD6137-3803-49EE-B750-A297751549BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"327e09bafac275cce414c4aa2363281f7f5d52e2","datavalue":{"value":{"entity-type":"item","numeric-id":33354,"id":"Q33354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$AFA7956A-F872-41B7-AA5F-072D1067904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0770e1836f262045e7f781896135a1fb07e1e868","datavalue":{"value":{"entity-type":"item","numeric-id":33346,"id":"Q33346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$0C4AFAEB-075A-4351-AB07-C18B9117F7DD","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":"Q23924$3C3317F0-41F0-465C-B45F-838EDF49CD14","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":"Q23924$D3104CAC-944C-4C4A-9071-136B2295BCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b3a1f03e771e07a5653bc9f6be0fac25ccf18020","datavalue":{"value":{"entity-type":"item","numeric-id":23930,"id":"Q23930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$B9EB6846-6B61-4611-BFF8-D56EB8C9CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b19fd8e419fa1cf231481feba8263b917fc1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$5623FB52-0E00-47FA-8C2A-57C748F58B07","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":"Q23924$3F7172A8-EA80-446D-80F9-D93B2D588F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a100df2dee8c9f4d0a6bf678e85eccd3cacd737","datavalue":{"value":{"entity-type":"item","numeric-id":28613,"id":"Q28613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q23924$0BAD1841-663E-4B36-811D-63B183659B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MetTeL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MetTeL"}}}}}