{"entities":{"Q19106":{"pageid":19162,"ns":120,"title":"Item:Q19106","lastrevid":56217156,"modified":"2026-03-13T05:28:20Z","type":"item","id":"Q19106","labels":{"en":{"language":"en","value":"Sledgehammer"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f422fad944c339aaf9c3314d2272515bdfa01701","datavalue":{"value":"7047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$BA24C6AE-9C94-4A56-B19A-CD6228CE2A41","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"a8b2660cf9fc9e5a26d0c9b49828e86c7e7eb1fc","datavalue":{"value":{"entity-type":"item","numeric-id":1948289,"id":"Q1948289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19106$04076223-5BDB-4695-857E-E21651ED99E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"e7c36b90624ed0efd23e23d8840a57165a5a1f7c","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19106$EFC3005A-F12A-421F-BEF8-59EB28513789","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":"Q19106$39AF8A6A-AFFD-4E5B-A5C9-4D8AE92F87CA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"30dac65e1c52dbde77a4dfb15f8a98f3a1782039","datavalue":{"value":"http://isabelle.in.tum.de/website-Isabelle2009-1/sledgehammer.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q19106$AD0A4C99-1FDD-45DD-8D01-B81C448B6062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$01D008FD-8D05-4740-9825-1F0DCB0D81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$EAA9A3C1-837F-4D7A-A202-FB4A20C4973D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$F06AEBD6-A4BF-4EDA-911F-A207EF7FF039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"389057ea232b6d266cab69038163241bd07104b6","datavalue":{"value":"51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$5A5F42EB-B1C3-4F52-97D5-25819192F212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$BD9A65FD-96F6-4B19-9906-3F128EAA5D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$D6373962-ECDD-4921-8AC1-AF9DFF7EF626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc624529bfb589cae1d19db3eb04dd4b43978c3","datavalue":{"value":"01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$B4B7A3BB-24E1-4D6E-9E18-CA2AA841AFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57514d4788d5abbd1056aadd506bc3f1b86263e","datavalue":{"value":"08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$79908333-D915-4B30-AC67-65CD964C8994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3cd3c8cd085ac2048034c2279872658062342d","datavalue":{"value":"11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$40A21925-AB8D-429F-A543-D28A9D6F0105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f5c899803a3ce2dc0dd1263cc65df28aab94054","datavalue":{"value":"12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$29D926C2-E3C0-4245-A1D9-5DB8DA104258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$61812E2A-ED0E-4AAF-A13D-6596A7A2A0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$4BEBDE54-0ECD-4EE7-8FEB-DA19ED782913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$BE762C69-D1AB-4B99-B36D-23F20D47F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdcc80d920f5e4d163108380bb0c7de24bca08b4","datavalue":{"value":"26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$34F04617-6992-4641-9C12-4278B8795743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$A4628CF4-617D-47B1-9FC4-AFB298CDEAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cdce3acd819f327427a4823ff1d65533e6f5515","datavalue":{"value":"70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$A2CDDC27-8197-4E6F-B526-4FEF2C9AB194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"70815976aa44d316576d629b9a9b2ae7fe77d360","datavalue":{"value":"83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$C2700DEE-AEB0-478C-863D-0E6531254A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ff47c21e9a366382fd12a5f20a4ed758079d385","datavalue":{"value":"86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$08809685-D401-41DA-AA9F-11E1E97C574C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$FBFC5634-99C6-46DA-9492-8A799133EBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd76a3cee4b1dd54b082650152581ca2d695de","datavalue":{"value":"93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$BA60F6EE-C329-4E3A-B679-87B91D2A42BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdd04b3c5243643f89ff1bab2287589642562be3","datavalue":{"value":"97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19106$3E6F13CE-1770-4C5B-8EBA-F34CD91023FC","rank":"normal"}],"P1458":[{"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":"Q19106$D6DF6F0B-5729-41C6-8810-E60EC9C2C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19106$655DED6B-4AFA-41A5-9D94-0CD47B256BC8","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":"Q19106$64024886-4B78-415E-A8C8-DEC33AE33B53","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":"Q19106$485DF08A-C42B-4043-B060-98B72F79BB34","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":"Q19106$8CC74644-62B3-4455-81FF-407D6611514C","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":"Q19106$0FA5F0B4-2D84-4502-8FDA-8E51EF06291F","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":"Q19106$06638ABD-15B8-4A74-8743-343D0CC734C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19106$2382CE34-75A5-447C-8FA4-E01B00D5531B","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":"Q19106$8C446AD4-B362-442F-984D-564F1963D558","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":"Q19106$F487788D-B95F-45B8-8642-E7D3D4F258EB","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":"Q19106$9BEF5DCC-3665-4D70-ABCE-7F517C8F9E04","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":"Q19106$0D9FC959-490B-400C-9B03-F18D001BE0F1","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":"Q19106$C0BD9171-2C14-41DC-8D86-45C95C52C269","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":"Q19106$1A056A79-AD68-42C9-844C-E64FC7B7D35A","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":"Q19106$28704A2A-67F6-45A4-80F6-96B4938B6C8F","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":"Q19106$F5C368BC-B3C9-4357-A7D9-01C1138FC4D9","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":"Q19106$6EFF65ED-A4E9-4BB5-8EBB-82638CB26EB1","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":"Q19106$50CC6A5F-6637-40C5-801C-EF376C5865B7","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":"Q19106$E8BB1440-7ADE-4678-99B8-0D34EED9A68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a1c834eaf7bf2e5bf95e7e5755a5eb5ec3363d0","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19106$0EC07F4A-EFD0-4313-A6E7-E2CAADF48F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sledgehammer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sledgehammer"}}}}}