{"entities":{"Q5244815":{"pageid":7274383,"ns":120,"title":"Item:Q5244815","lastrevid":94620344,"modified":"2026-06-05T07:16:52Z","type":"item","id":"Q5244815","labels":{"en":{"language":"en","value":"Modular and automated type-soundness verification for language extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421051"}},"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":"Q5244815$B629EDDC-B58A-4893-AC04-633C45C7BE1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f8fab6a51242b80f35be6f817421c5b53ebc49","datavalue":{"value":{"text":"Modular and automated type-soundness verification for language extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244815$633F079D-5880-469A-8AFD-287372377D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e30226389517f4fd61805a53bfeba3839fa2970","datavalue":{"value":"1323.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$2ED7846F-E49B-4194-8332-8E39D04E02D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf7cf0d12e0c603183bd190487ad9213b2983a08","datavalue":{"value":"10.1145/2500365.2500596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$D872F751-FD97-486A-8B92-B3E768CC0B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b020407168848e102dfaad2d375d91bca44e9ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2828256,"id":"Q2828256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244815$74FC156B-CC4E-4D0F-99F9-7254D087B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15193b661df3628d4b4472d4543cb593bac6178b","datavalue":{"value":{"entity-type":"item","numeric-id":784121,"id":"Q784121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244815$C3E9B045-2C47-4F7C-BE8A-D15D51339CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244815$E7195B25-F6B6-41AE-A9FA-68CF6C8C9BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244815$48A0430A-0072-4737-9F28-428E184BE145","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41f6369b99cc1d1b8ddf3ddad212fce314a1416","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.723.3402","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244815$824E36BD-3CEE-4760-84B8-26BDD78583E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$6D0F52A0-FDED-41D2-83E3-398BEB684401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$23D1B1C2-8A0D-4D01-BC51-0F71AC3F2017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$DD44D72D-B63C-4619-957F-2E49A5FB283F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$9FBCB583-1189-4257-BA42-B1BD9297667D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a1cb3603d468b19f542dcdf915b606349f5c74b","datavalue":{"value":"6421051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$A4E46947-1A82-4164-8D80-46A0851FC7ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$AC541919-7CB9-45F6-9B2C-7F06D211CAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae7c3ce8fcb0b86f9392e5737e33d4b00dba55","datavalue":{"value":"language extensibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$7FED1926-3479-4C99-944D-538DA7CF77AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7371ae1a2199039b5b7396c98e8f3e4509a526c","datavalue":{"value":"macros","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$1EDB981B-00CB-4AB5-A69A-13CE61F57A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$BC2F60CC-87D6-4FE1-993B-6D0A0BF51A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf93a6bbf6e7f4dc13f15492041d0996d58db731","datavalue":{"value":"SugarJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$2AC86729-4A1B-4DB6-921B-87333D779994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0a5068a4946316d3ae87a58ec5f376a10a19f0","datavalue":{"value":"type soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244815$C2BCF30F-0391-4560-BF98-7802E120C92E","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":"Q5244815$AB0E7A3F-E0DC-49AD-BABC-5DEE22002BE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e858da89101a2691937e342514fb00a7709b6bcc","datavalue":{"value":"W2080863863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244815$528AC2F5-DF8E-4BEA-BF5C-C4FB1D80D308","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e48ba743ffb2dfab24e80e8ca4b0923610382e","datavalue":{"value":{"entity-type":"item","numeric-id":2949198,"id":"Q2949198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fab4003d258aa6e7743e9bb37ca75c61e171623","datavalue":{"value":{"amount":"+0.91225296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$6103944A-5172-4A1E-87AD-B25153FFFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8d52c7593ff0d29df32ff6422f7fbff9926316","datavalue":{"value":{"entity-type":"item","numeric-id":2866340,"id":"Q2866340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0393acbead1132b42f50621dd1eacfb14d63f10","datavalue":{"value":{"amount":"+0.90961605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$65C7652E-AC0D-4B32-AFF5-D1028A07115E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85a0d78f5d767cd6d59312c43a5d36a554b239c","datavalue":{"value":{"entity-type":"item","numeric-id":6109429,"id":"Q6109429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2610192d35c4a9594dcf85ae59489cc46f022d08","datavalue":{"value":{"amount":"+0.88909525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$E82819FC-DC00-4918-B794-4FB5D659E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d658500dde96051b50fd8aeae793e2321af12e71","datavalue":{"value":{"entity-type":"item","numeric-id":4428316,"id":"Q4428316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0faafceb93d2e6c2feb556ae43aea85244d99fbb","datavalue":{"value":{"amount":"+0.884332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$FEF5291E-E306-455E-9353-0EFF11EC10BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2c52ab8d67f27eb61e5c1ff857d56837dcbe85","datavalue":{"value":{"entity-type":"item","numeric-id":861687,"id":"Q861687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a500d71b138a783b13d9412856c62e611226b9","datavalue":{"value":{"amount":"+0.877499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$D931CB1C-6225-494F-AABF-C494EDE52A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eccdfb9077ad5fe67be2fa04731c47acd8979c4","datavalue":{"value":{"amount":"+0.8752023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$7C5C73CD-B86F-4202-8A72-9AF3DB00DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6402760eb484c36190cfebf98cdeb1acba62bcf9","datavalue":{"value":{"entity-type":"item","numeric-id":5408405,"id":"Q5408405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b5640faebc151b67310ab150112bab70c9bd1e","datavalue":{"value":{"amount":"+0.875152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5244815$68AFFBAD-F005-4062-A7C3-84DEF74AC44E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular and automated type-soundness verification for language extensions","badges":[]}}}}}