{"entities":{"Q15455":{"pageid":15511,"ns":120,"title":"Item:Q15455","lastrevid":56922972,"modified":"2026-03-24T16:47:45Z","type":"item","id":"Q15455","labels":{"en":{"language":"en","value":"VAMPIRE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e6dbb752d6494b37d802fcd26683e348d955faab","datavalue":{"value":"2918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$7E5BEF2C-AAAF-47D5-9702-360FCCFA5E8D","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"786a2efee00d869a1cf36f7dc54567d320f05f21","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15455$A9E5387E-5F8A-4F6B-B9BF-C1D0E2AF11FE","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":"Q15455$D0512E88-8017-419F-859A-BC7F5DF3FD4F","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"399f14bb513a36d8baab847931fe5ecd8b48531b","datavalue":{"value":"https://vprover.github.io/history.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q15455$E8AC59D6-C9FC-496D-A3A1-C5EDCF67868F","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"fdaa1d65556c4a974fdef7f78c1bd1ea1788ee35","datavalue":{"value":"https://github.com/vprover/vampire","type":"string"},"datatype":"url"},"type":"statement","id":"Q15455$87856118-9678-4E47-B3EC-56A7D0C62E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$613A09F7-ECFF-4D3A-BF15-118FDE71AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$3FA52DA0-F173-4A92-AAA7-3C461E71C259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$0223ED83-564F-4B6B-AEF1-A5CB8508AC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$FC84460F-6EEB-4304-9FF1-86200F234AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$A11FF6F1-78EC-45E6-9917-134906B9F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$37A8E0A3-2903-4F6F-970A-11993C8A1195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$CF6CEE6D-AA44-4723-AA68-534949BA8B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$2E101A4A-6E68-4FD6-9173-6D5A3846A5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$D48D9C2F-BC1C-4E9C-B6EA-4D2F53EE8A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$BF223654-3336-4840-A9B8-A6BF9652DFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$F6330057-D5CD-4FCC-93F3-CB1CF81C1208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$E93B2161-8762-43E3-9DCD-6B9E121AC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$B6993CA2-3B14-4F20-9403-1AFAD5D185D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q15455$D8FF838B-D26B-4531-A4C5-8C61D9254A35","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":"Q15455$204B7594-767C-49FA-8EE2-09F498F5CD02","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":"Q15455$AB0584A6-B2F6-4449-8577-457CD449930D","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":"Q15455$E07BE21B-B3CD-4764-BDCF-F11DC800C492","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":"Q15455$E3BF9DFB-73C0-4A79-81AC-92C7504EC235","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":"Q15455$3A6CB436-B8A3-42B9-9BD1-1D218A1F6BC4","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":"Q15455$8A37FCA8-7D01-45ED-B27F-859343EBEED5","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":"Q15455$5E88F3B5-33D0-4986-B2BD-B46D3E65518A","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":"Q15455$8393D872-214C-4874-895D-F7A2A5D795CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aafdf7df9ab6945d55471b6dee241d20aae57bb","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15455$6EC06E74-8DB3-42A9-9077-4184F5990521","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":"Q15455$D0ECA1FF-8322-4AD5-A168-4DAAC7D3F6F1","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":"Q15455$BD89A0B1-05D4-47AF-B5B5-6D6663EB82D3","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":"Q15455$9BB79701-9E96-4C2D-9695-50406BEBE9C3","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":"Q15455$C6594E86-5465-4921-8269-A6DC95F9150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1f660bc310305b62230cc3a480e6654c975c304a","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q15455$EA53FC74-4E26-436B-B662-13FD17C3732F","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":"Q15455$AC254957-2261-4907-836E-D734CC21DE51","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":"Q15455$BAE535C9-3918-478D-BB04-CE5118B911CA","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":"Q15455$0C36A0BE-9F92-4D88-BF1E-D7FC53BEA909","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":"Q15455$B822ABB4-F41C-49AE-A1FA-B42BC66EB8D2","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":"Q15455$C3BC8F0E-8F41-4A04-9B54-E541C2786EF1","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":"Q15455$02E0F074-C312-41B5-B9AE-F926BA0AB7EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VAMPIRE Q15455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VAMPIRE_Q15455"}}}}}