{"entities":{"Q5975101":{"pageid":12562746,"ns":120,"title":"Item:Q5975101","lastrevid":56476200,"modified":"2026-03-13T06:44:43Z","type":"item","id":"Q5975101","labels":{"en":{"language":"en","value":"ProofWidgets"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"7561caa1cb62f17ba1f6921d303ae755010e74f3","datavalue":{"value":"46249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5975101$72AFF221-2AE6-4ABC-BAFE-5E572F9C4F8B","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":"Q5975101$FFE52342-62E4-4361-9D5E-EDF0F93501F1","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"0e05946ead71088354f381e85f1947d7ca527eed","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/13899/pdf/LIPIcs-ITP-2021-4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5975101$D36631EB-13C6-4EA0-9721-32DD48058040","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5975101$3BE95A0A-2B59-417F-8C61-94DAC1B8579D","rank":"normal"}],"P1458":[{"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":"Q5975101$9FFA97A8-5377-4948-BBFA-458FFA1FAE55","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":"Q5975101$B3E225B2-D9FA-414C-BB52-467E1BBACF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"618733fc206eafe514275fffc6911a3c7b5a8f09","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$F888BD54-ABC3-4FB6-8B56-F87351979B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03b2f723a2c54224fb8793b67d5ab75788fec33d","datavalue":{"value":{"entity-type":"item","numeric-id":31452,"id":"Q31452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$06F303DF-BF16-4D83-A0DF-E19DFC51AED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$50ED4ACF-E0FD-45B7-B36D-909FB8306929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"666074c68458af45f88e72afedcec4cde3e0970b","datavalue":{"value":{"entity-type":"item","numeric-id":1354641,"id":"Q1354641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$7DDEE262-64BD-4B49-9849-063F514FE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79fab7c0516022d65889629d56583e8868ab26c3","datavalue":{"value":{"entity-type":"item","numeric-id":33967,"id":"Q33967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$CFABB712-3915-4D94-8396-E227BB585EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"474ae6ed8a925f56f92d189ed22fb6a9d162ff22","datavalue":{"value":{"entity-type":"item","numeric-id":31447,"id":"Q31447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$6B7B122E-AAF3-4385-B592-F9D8161C4CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e25af9916479ad47d5af3e82e8938c76d2cae8a","datavalue":{"value":{"entity-type":"item","numeric-id":29882,"id":"Q29882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$97C137E2-2582-4FD3-802C-ACFDAC68AB45","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":"Q5975101$2AE9E8F1-E65C-4B3C-A772-78C637B26D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c45d553bb9f3e000daa693712f4a182ffdf86459","datavalue":{"value":{"entity-type":"item","numeric-id":13712,"id":"Q13712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$147BAE66-65F9-4DB9-B06D-772AA67BFF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6c28cda575bd525a9c5d51492319a43ced6e84fd","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$0034411A-2C87-465A-AFE1-39BC56580423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$1DE0BF8F-637C-4154-A721-5398012673CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$483B570A-B637-4771-AB37-8A6DA407E577","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":"Q5975101$6E04D29D-7EA8-4F5B-9027-55196569795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4765d0a4be2a660f83d930097f44c8338abaa25d","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$96D1E96E-050B-43E6-BFCE-42D225DF7B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"86ffa8208f30cc4cd1d40e917e5ff220a1ce9ad8","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$3C2C3CB4-0D4F-4D5E-8C24-00801ABE1884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a16744f59312901e81a619bf1f64e061a34a724","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$038764D7-3AC8-4B49-99B6-171DB954F337","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":"Q5975101$02F0DB41-3AC0-414D-AF0F-832E3D13DF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecccfe6931012469cfd50156873069070c64faae","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5975101$53975C9A-16CE-4B26-9D46-07E5C0549231","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofWidgets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProofWidgets"}}}}}