{"entities":{"Q33137":{"pageid":33193,"ns":120,"title":"Item:Q33137","lastrevid":56518233,"modified":"2026-03-13T09:34:56Z","type":"item","id":"Q33137","labels":{"en":{"language":"en","value":"ProCom"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5efe602b29d718e899157bb49162f98619eb8f7d","datavalue":{"value":"21329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33137$A59BB186-FDC7-48CA-AA67-A97ECB8230BD","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"d7ab04240773fd7e393e57af1fd0721cb5840cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4524773,"id":"Q4524773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33137$148E4DD9-86B8-4E50-9CB6-153E7162C2A9","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":"Q33137$CDAAC362-093F-4FAB-9DEE-285A23F120BA","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"abd6f7d2078add3f2e4b03a65cecbd37ac099373","datavalue":{"value":"https://github.com/theoremprover-museum/ProCom","type":"string"},"datatype":"url"},"type":"statement","id":"Q33137$51242D47-1AD5-4E9D-94CE-0321B24C7211","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"a1e5ec228c488f8166a86157aed6855983f87268","datavalue":{"value":"swh:1:snp:e30e90cd12873395655151b5265fa1ca0473c391","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"abd6f7d2078add3f2e4b03a65cecbd37ac099373","datavalue":{"value":"https://github.com/theoremprover-museum/ProCom","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"f04a2232657a60ed3fab16732095a5ea85da2360","datavalue":{"value":{"time":"+2020-12-13T00: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":"Q33137$398BB5CD-A688-4C34-A271-E0A7B1941F97","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"48147079e8212e979d0b5b034313a3501b08d2d8","datavalue":{"value":"https://github.com/theoremprover-museum/ProCom","type":"string"},"datatype":"url"},"type":"statement","id":"Q33137$AC775B27-685A-42D6-B15C-5D0639084645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33137$99E758FE-3B10-4918-A576-516D2B59F82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q33137$ADED4743-FAF2-4D9B-901F-91B17FC56AA7","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"197b63a7dcad0b3d15ef11a23458c7aff89040d1","datavalue":{"value":{"entity-type":"item","numeric-id":33138,"id":"Q33138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q33137$9F250241-F44D-4EBF-AA85-60E10F832789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProCom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProCom"}}}}}