{"entities":{"Q33996":{"pageid":34052,"ns":120,"title":"Item:Q33996","lastrevid":56330463,"modified":"2026-03-13T06:06:26Z","type":"item","id":"Q33996","labels":{"en":{"language":"en","value":"ProofTool"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"b229bd321bd7da59106dbdc21da0c2d22e0ecbed","datavalue":{"value":"22201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33996$E255AEEB-C034-45EC-B79F-D2BE54836797","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":"Q33996$18145AA1-59D1-4FA9-B401-D5FA2DE25D3E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"9f3bd0d0ce42c265b6e44242462905ccaefb7f06","datavalue":{"value":"https://arxiv.org/abs/1307.1942","type":"string"},"datatype":"url"},"type":"statement","id":"Q33996$378F8B23-7DCE-4C89-BBFA-F547702169E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33996$BEF8B136-4DA2-4E08-9516-0AE7729FDB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33996$F68144C3-799F-48F6-A13E-62798A2D216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33996$3AE906D9-7961-4191-9C38-6AC858C54F54","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":"Q33996$1DB1A242-534C-4572-B322-8B33355AD932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be66831e1a0e4e135cd294b27e0dfd60c174778d","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$4D42E599-89F5-452C-ABDA-64B277620571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6c841e01acc92c90634f574b6a6189ac102bcbac","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$DC04C954-F6B8-4B7E-BBF5-AA3BD290DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f058c7f37c83e0df243d1b74e064cb4cdf28a10","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$FF46879A-2A75-41F5-A19B-A1B4DDDBD58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a914dacc34e4e61ed03e570a74b16e375359d7b0","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$BCE278CE-DC78-4BB1-B9BE-827D7384D705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c91dd6805c112b0968efb2afa8a3db4edcc43b3","datavalue":{"value":{"entity-type":"item","numeric-id":33179,"id":"Q33179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$43C522B3-E2C4-4D97-8691-B19F65B5711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ddfc2dab9f4484d85e8e917c537ee56253d2c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$001EF63E-2232-427F-8B4E-4B5B0D2A3F59","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":"Q33996$D77A1F40-58EA-4FD6-96B6-D72D83684993","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":"Q33996$42350FD5-9E71-42B7-9258-8E14744D2AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b0b962c0c3267764266c7cdd69400b78b40460e","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$8B089877-18C6-48FC-932F-B91247B50ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"37884ae1c370dcbe965652a8e71d6ad096bfc7a7","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$7F55A242-85A9-44B4-825C-07E0F901C1A8","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":"Q33996$8B50BF9C-E9DB-42A2-9B89-84F2DCEB792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6b90843c2343cce2fdb2e379b3e44155eedca437","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$A43D77CD-B8A7-4EBF-9F36-1B3507EC4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"87f4dea505b5d7d66d972f9be6ce5f15c91349f3","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$A88C80AE-F1D6-4B57-880C-04678F956D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70e15f1e477722177f8633557fc5d60e5fe7cbd7","datavalue":{"value":{"entity-type":"item","numeric-id":5972930,"id":"Q5972930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$042C65CA-C62E-4887-85AD-1BB9FBD99C93","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":"Q33996$6AA3A15A-D3E4-4612-957B-1AECF932E7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$2D7C1600-CD11-4799-A62D-5B89ACF32DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1c1111a4af73946d995c6025450c33305be35b38","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$DEB5FCEF-03A4-4F8E-BD83-CDE0C32ED678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1fd9048f0d3cda439d8cb45dc5b2cdaf7e8b606c","datavalue":{"value":{"entity-type":"item","numeric-id":45353,"id":"Q45353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33996$31352A89-F74D-4291-817D-A1E567FA3EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProofTool","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProofTool"}}}}}