{"entities":{"Q43968":{"pageid":44024,"ns":120,"title":"Item:Q43968","lastrevid":56384085,"modified":"2026-03-13T06:21:38Z","type":"item","id":"Q43968","labels":{"en":{"language":"en","value":"K Prover"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"561acb34bdbcf81e5afde519f31988edf98a222d","datavalue":{"value":"32257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43968$F0A11865-0196-4973-B119-15786DE64613","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"577d1a33f76b667397ae4b783e1395cd222e145f","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$053C2CFC-E85A-48D3-9610-1C20F79D61F5","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":"Q43968$BD0EBDF5-46CA-4044-A987-2738BC18CC68","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"876a923621489341b54a3b5d995efe764a76d8af","datavalue":{"value":"https://github.com/kframework/k","type":"string"},"datatype":"url"},"type":"statement","id":"Q43968$CC9F69F8-9D93-4274-94FE-D2C7E3158874","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"de0ce054d380d8dc1650d9b25d7e5df72315d2e5","datavalue":{"value":"swh:1:snp:4324d90d82ad189a1e4121b8489a3a95d37555e6","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"876a923621489341b54a3b5d995efe764a76d8af","datavalue":{"value":"https://github.com/kframework/k","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"b71db0634b622cfe009d2972634c4694e3901892","datavalue":{"value":{"time":"+2022-01-31T00: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":"Q43968$F5CBE452-5E67-4F76-922D-BEFD327A65FA","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3b006416ec1b723e189d36fae8a3c7579f307cba","datavalue":{"value":"http://www.kframework.org/index.php/Main_Page","type":"string"},"datatype":"url"},"type":"statement","id":"Q43968$40AE6C5A-972F-43CC-B587-5A7D5A68DC8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43968$D9D2EE2D-F870-4FF6-A8AB-DDDADF2FB2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43968$5C4DDF07-8044-4711-8DF4-C5152AA3994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0cfa49f62a5e301328cd7af9d04a50119944fd5","datavalue":{"value":"92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43968$3C43F6C0-F31E-4B06-A153-CA7F4C7908C2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$9A167464-AF16-42D1-A69C-970C4F143C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6cf4556a640560eee798238f07646d057dcfd15a","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$DB4FF69A-DC61-4C7B-8435-D5FD8DB4F0C6","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":"Q43968$9B974BA8-4454-4340-862E-4E1A966E7793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d92991dea49a0e49114f363f68258d602c203fa0","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$9A397A23-7B22-45F9-A184-3BCD41B99E96","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":"Q43968$970C03CC-C49D-4381-870D-1F8C2DE6B14F","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":"Q43968$0D0FB32F-53D9-4854-8A81-7E3924714D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"55a58089744fc0409762847dc9ee7b02ba6eebfe","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$D9B0F3D2-C7ED-49ED-91C2-C159CF4E8E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"507f49bf7d120b2546ed719134b2adbf989f2ef0","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$3A52E16A-132A-4FE3-8AA4-56AF8215E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"25aea9a10e18c5f23320fa62fc58c58b5437baa2","datavalue":{"value":{"entity-type":"item","numeric-id":21726,"id":"Q21726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$3C62395E-BA3C-4584-8FA6-80AAE2823644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27964513ae04c31b0f9bb11bf538b6aeb4adbcf9","datavalue":{"value":{"entity-type":"item","numeric-id":21900,"id":"Q21900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$40622ED0-3BBD-4F01-A0FC-A02C0C3021E2","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":"Q43968$676CFFB1-E125-4A44-91E9-28D1EEF86108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a22eac7a92bcff56b8e6f7d20e7be218051a97a","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$956C492D-F297-4050-B0D7-882451D1A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed6919ef3f64aaccbf9381f7cd714cda13eecfb2","datavalue":{"value":{"entity-type":"item","numeric-id":43974,"id":"Q43974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$7DE0BCE8-984B-4B9B-9E84-BFDC5A1F1063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c7a0ea887b2b0fddcec025e5eb848319a60c4adc","datavalue":{"value":{"entity-type":"item","numeric-id":41255,"id":"Q41255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$BCDF4316-19DF-4060-A367-D09741966FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b176c241359906e342c4409b8303626a96f8f201","datavalue":{"value":{"entity-type":"item","numeric-id":43970,"id":"Q43970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$D82319BE-64D9-4081-82A4-9BBFA15E1262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5c711a5d91b23aad482975c58a28f0f4e4e13336","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$A6DC742A-9372-40C2-B252-C52E5E221951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$3F595EAE-01B9-46A1-93CF-F39C02DCB32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"53a6dac7f19d6d795c638a12b99e2038b7907c02","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$A8C99FE1-C644-4CEE-A97E-27EB942B19D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"17ec403dede3a0f803ee2ea795d9ca5b9d1b6fd1","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43968$38D8A60E-FD4E-48D5-934B-2444FA4C73E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"K Prover","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/K_Prover"}}}}}