{"entities":{"Q13705":{"pageid":13761,"ns":120,"title":"Item:Q13705","lastrevid":56523345,"modified":"2026-03-13T10:06:37Z","type":"item","id":"Q13705","labels":{"en":{"language":"en","value":"Theorema"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5b67aae79bf0f9440251d9c16a14a0a1cd4ccbb6","datavalue":{"value":"961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$27E066E5-E33A-4E24-90DB-9769B5B548C6","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"1673400d7167676ef04970407fe69d1b0f8f8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2879097,"id":"Q2879097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$5E0D6A54-B409-44C0-8EFC-4153B6E1A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"dcf53fca58c1da7f7c60a866ce14ca0cbf2ebd16","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$972067ED-5F73-44A8-8382-F6EB4D044F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"b56dfad32603d77ed346dfe0dfca80887ee86dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2879150,"id":"Q2879150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$31B14F61-4E90-42B3-92F9-F2A6E48D929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"7b72a7d983240107d186c43e077e168d17b2b4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$CC7CC987-2C1F-4215-9E05-785FDD150817","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":"Q13705$DA1C2559-1BB8-427E-8FF2-AA7ECECF22A1","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"6251da111d12d5929bc7058cd1bbef7c7f4b99cf","datavalue":{"value":"http://www.risc.jku.at/research/theorema/software/","type":"string"},"datatype":"url"},"type":"statement","id":"Q13705$C9A9EA9A-823C-49B1-AE41-CCC9EC5D7245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$3474BF44-22CC-4422-B323-B0430B6BA8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$10D6D22A-0023-45E2-9674-0E433BCBDCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$C6D66030-54D1-46D3-8AE9-C42CDB3ACA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$C9CC52D0-5A84-4925-8C25-ED4D5769CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$F9E3FCA4-A7C2-4EC7-BB53-EAC37BDEE06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$F09DF448-DB60-4B87-A073-CACA91CBF48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$CF5FC8E4-75AB-40C7-9859-1CDD44EED97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$45460EF9-134E-4F08-BEFA-7F3C742AB8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$CADF9BDB-508B-41C3-BB05-A206958EC202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$A74836A5-DF77-4F8F-84FD-D9343E745512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$A2FE3501-329E-4D75-A63D-74C9FFE43749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e00b180d44759253e9628090c3cb2c51b1a6ee8","datavalue":{"value":"35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$0296A7C2-5289-458E-B9AA-B37AC4258942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11b26b01b691b4daa9443ed4be166f27f9758074","datavalue":{"value":"45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$ACE7D62E-7EEE-4E17-B7F3-F2D16290A618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$BC1B36ED-FC63-4949-88B8-9676BCF35529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b50fc0bb13fa24d727c960e97501e2c7bce333","datavalue":{"value":"54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$B13E8DF8-571D-4468-846A-35F54EDE3600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb0bb3315ea6d324166d2a3b9e8cc481541ca3cc","datavalue":{"value":"57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$968AC41D-509E-41F7-B13E-82074DB8551B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"797ebe6b314441ca18070360b249a95d3ef9caa8","datavalue":{"value":"74","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$53F8968B-57F3-42F2-A215-7F8F28B7D9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c596f9f2876e2dd8f650d5ff7592422666be753a","datavalue":{"value":"78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$A2FF744E-6868-421C-96D6-DD5AC297AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$F612939D-BEE3-41C6-8CEA-98D248A4A525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$9A0A3801-1876-48CC-A43F-4E9E968193FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$B3BEBFE8-5C38-4D79-B194-7DB63FA6870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$150CB70A-EE63-4AD8-83F9-D70042E1D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$473304E7-B77C-4CB1-B880-4E5E6ED2F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13705$010C7512-173D-405E-AB62-AE297E0F6004","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9eb436930ab1f6d235b354c651322b547341064b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$2CC4D402-ED3F-4B5D-ADF7-513A06C7AF3E","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":"Q13705$2B58CB2F-E2DF-4978-A3B3-58722C360BC4","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":"Q13705$50D8FEF6-335D-4E4D-8407-4DA57E8E3008","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":"Q13705$E4E741F7-32FF-4ADB-A645-A80CBD3A2EC5","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":"Q13705$87F02C52-D037-48E3-A85C-124E2EE54D39","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":"Q13705$E9E79F69-F3D8-462A-9A94-72A20A1377F0","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":"Q13705$05EA5E7C-0B42-4407-9375-D7834285B543","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":"Q13705$49896E29-2470-47A8-9A0D-BD57C6809AB5","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":"Q13705$2070F1FF-34C4-48FD-849B-2E25C9060639","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":"Q13705$A0DD1631-6675-453D-A3EB-0347687A58CD","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":"Q13705$705834B8-50FF-48AB-B80A-71A251A7673B","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":"Q13705$2787C7EE-492F-4F4D-8896-73B89F2FE6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f29c9b1edecb5ae8b8679151a51782e90d9480e","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$C8810EDD-9726-43A3-955D-4C10119A0C61","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":"Q13705$A416E004-BFFD-4690-9750-46BE1C5C3567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$75E27EDC-8378-4ADF-97BF-A6DF3BE398E0","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":"Q13705$8DE6792B-7ABE-4F4C-A493-0EE174056221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$267B5842-26DA-40AD-B10A-1B1FFA404917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cc876171e757df317155c2788c1ce4f0c5e9d11","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$FA087EB9-4606-4847-B924-F3581C4061DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6eb9db275569cbfc83cc3b26766635b0e8ea9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":40248,"id":"Q40248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13705$A1728B9C-3F2A-4E8C-A0B3-BAE35206D0EE","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":"Q13705$FFDE15E4-E4D1-489A-8A06-EDEAADE30FD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorema","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorema"}}}}}