{"entities":{"Q2237340":{"pageid":2248083,"ns":120,"title":"Item:Q2237340","lastrevid":55966093,"modified":"2026-02-21T14:22:57Z","type":"item","id":"Q2237340","labels":{"en":{"language":"en","value":"\\( \\mathbb{K}\\) and KIV: towards deductive verification for arbitrary programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7415135"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$2184E673-68A1-455A-A098-3ACCC57DB588","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80b0e349e9585bd468b15327f9caeb569772c46","datavalue":{"value":{"text":"\\( \\mathbb{K}\\) and KIV: towards deductive verification for arbitrary programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2237340$CF2C2521-1CBF-4A5F-AFF9-CF9D7DAFB8A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eaaeab73e5b8d8f448679a37f76fff4c38fa6cb","datavalue":{"value":"10.1007/978-3-030-73785-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237340$8F72373D-5538-4584-8436-4217C317BC73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e2f83f6fff8b5e8a926230dd22265070b1cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":2234068,"id":"Q2234068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$A5E8519A-5816-4486-8F83-FD41D18F3B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144fee8c4edbbde5c76cb2800c6a934bb8ca4ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2237339,"id":"Q2237339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$8807DFB2-2AA6-41ED-A872-63B7B7ECCACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8b86c03faa759ce1c86852416c5f440b0ce79a0","datavalue":{"value":{"time":"+2021-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2237340$85126D4C-07E0-4145-B8A2-367250B32822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237340$155B349B-B099-4B59-911E-16D89B22A6C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80fc0a54ff88419353811cabcc6a13b0f783ad4b","datavalue":{"value":"7415135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237340$F5018A46-EB2E-42AE-85FC-B80475E2E675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"512ad73b89f393b02a9b4022a91ea85653a7139b","datavalue":{"value":"K framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2237340$8354D93E-ED42-4377-806C-659A256DDEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2237340$4804AB03-02A3-4C7F-B25C-75A4C6D0DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78862905ca8138ffe11fcc1927345410b2aa89dd","datavalue":{"value":"interactive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2237340$CA59ECCA-560F-424A-9C8C-7D9FF203B15E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$CA2E1281-5F0C-4E53-A5D6-0CBB5C644608","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$D764A45A-CD6A-46D4-84EE-7D23177FB21C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fdbb8c8e14f0a5f88fcafec2b84219013acde76","datavalue":{"value":"https://doi.org/10.1007/978-3-030-73785-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2237340$E2AF1E39-C57F-4D65-B04A-44A7204F5D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec325993a30f0182e6bd962ea019ccfe474ed637","datavalue":{"value":"W3156605414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2237340$24448DB8-DDA6-4CB9-B38A-F78ABE8A2111","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a7a357eb6113b166cb4bb85e076f679569ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$D2653624-C648-4074-8756-F0C205C5B734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$02580A94-429F-4FB5-AEAD-6764419DF9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba05139b61152a2d87340fac7ead5d09077fae5","datavalue":{"value":{"entity-type":"item","numeric-id":4933281,"id":"Q4933281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$C20F6009-5042-4455-826F-EBD04967C5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$1278DCD3-D511-409F-A8DB-80FB1EF63934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$A9FF14C3-5F80-4831-B0E6-3AC92BFE91B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$75593E12-09F5-43F1-AD0D-01E27F9C55C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$0FED7113-9AB8-4571-BF3E-20021D9DBE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$3ABE5C13-B8E5-4F71-BEA2-563D1B5AA633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d59855b407bf5988dd934394a0b0ee93404afe","datavalue":{"value":{"entity-type":"item","numeric-id":5191176,"id":"Q5191176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2237340$8A61E5F7-B543-4D8F-BCF9-1C05F8883169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2237340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2237340"}}}}}