{"entities":{"Q22154":{"pageid":22210,"ns":120,"title":"Item:Q22154","lastrevid":56250480,"modified":"2026-03-13T05:45:25Z","type":"item","id":"Q22154","labels":{"en":{"language":"en","value":"E Theorem Prover"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c690f2b1d5760f1c9c6402f11e8c9b3fec8f3cf2","datavalue":{"value":"10187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$8DF152AC-FE96-4C7B-8E72-EDC3C2291A25","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"d37771ae403881da3d243a0e794751cd727523a8","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$5BA347DD-ABFB-45A8-B118-422434B798B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"8c6d4a8ebaa9c97c7e0619d0da9e3e77fead3053","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$76E2A206-F7EF-4E37-859F-E64A914196E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"a5bd07c79e3f2bd46eeea4b0d8b46ee14760862b","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$2AF40C30-DDDC-4061-B806-75C56AC53612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"2b79a9a59f30575ea0647cb63f13ae94462d4ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$3381528A-4CCD-47EE-8ABA-AE10D62669C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"d32d5c7fc29f0108ffce725f5a8c96c5f68f4e90","datavalue":{"value":{"entity-type":"item","numeric-id":4539621,"id":"Q4539621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$B6F6380F-F1E3-411F-AAD0-48EE86B18F8C","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":"Q22154$5558EE60-F62A-4569-A1B0-A3320B26A0BC","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"dcf0a5664f0275b04b6830a881aac0afba6fa5e2","datavalue":{"value":"http://www4.informatik.tu-muenchen.de/~schulz/E/E.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q22154$AAEEBD6D-4D80-4E5C-AF41-3E2213132189","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$DC0A2323-A0F7-4BCA-ABF8-863820626E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$86ED3C69-BED4-4E16-91B4-98E09AD01FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$8C586D8C-1713-459E-AC23-4EACF5E35EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$2A42C9CA-D439-4AB1-8BBF-475603AFA0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$409FE07F-6DB6-4CBA-B9B2-998A97CE448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$08DF32C5-7063-4C3F-90A6-65BA53029375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$6F8A132C-BEA2-4A8F-A2DA-A31158EDCC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$534B70A4-381F-4C95-AE81-A01CFBE88945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8befc1ffe367aef867e4dcd902eb59cbacd3a347","datavalue":{"value":"13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$295F2EE4-4952-441D-B209-1AD70BF272EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd4f0694ac7a00e4fadde328cdb4437f6c066de7","datavalue":{"value":"14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$B184D2BF-263D-4C3D-AF9F-4627CB6DB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$19959F03-A28A-48CE-ADC9-2C55D8C686BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q22154$8F1FD173-83BC-4905-AD83-4403DA6B6E04","rank":"normal"}],"P1458":[{"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":"Q22154$CE8551EF-3F2F-4B61-82EA-631CACCAE906","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":"Q22154$FB793D79-A037-4E23-B20A-D51215C6E8E8","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":"Q22154$9AE74539-28B0-4941-B5C8-10F4E7A03741","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":"Q22154$70DC21B1-CD04-472C-A563-7FB479B49B05","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":"Q22154$F9A2FEDB-C921-4083-95DC-E99ECE4C8C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$2BB481AA-EF3E-47CE-A27F-FAC19873709B","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":"Q22154$C41362B5-537B-424E-B83A-2007C44B1304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"632efb10a45ef079967d0b23f4dec91107ff81f2","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$2EA89BAE-B84F-4DEE-A34F-CF8505BD7B88","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":"Q22154$26E4FA0C-3E67-4D49-87FD-BF7147EA3D83","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":"Q22154$391A6A26-CC2E-4C91-8C94-86C428ECC09E","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":"Q22154$D4478BFB-D740-45AE-B321-4E189B80875C","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":"Q22154$5B0CBEB3-544A-474D-B315-80A4D440F32C","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":"Q22154$0BC4D05E-F517-4844-8A6E-FDAC6FDAC6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$56A42AA7-687C-41A9-A91E-D433F2F2BA4B","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":"Q22154$1FB8ECA5-0B48-40B6-A39B-38E1674C40DD","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":"Q22154$BB8F5972-143C-43B8-8DE5-0187DF5C7702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f0874088d59a2cbce379152e0f60bc05817c8d64","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$35DF8844-4752-42BB-A726-65672F68096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"346bb06feebe5eec8261e483309d0da7485c1091","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$30494EC3-0FAB-4634-B913-FD6EE3B3C408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f756f019005243c78675258773d8af1c07719cf8","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q22154$79B8FB6C-A9FB-4614-96B3-C79F5A8D1C91","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":"Q22154$CE6A9E54-4E8E-4ACE-A746-95E68B0694EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"E Theorem Prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/E_Theorem_Prover"}}}}}