{"entities":{"Q5410693":{"pageid":7440267,"ns":120,"title":"Item:Q5410693","lastrevid":41570006,"modified":"2025-05-05T23:46:48Z","type":"item","id":"Q5410693","labels":{"en":{"language":"en","value":"Gradual Typing for Annotated Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286379"}},"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":"Q5410693$2866EFFB-5113-44B8-B640-8C1CCCEAA955","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f70d421d856f0d4850698efcd6cff927aa68425","datavalue":{"value":{"text":"Gradual Typing for Annotated Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410693$2D09A93D-6890-4C21-99EE-A08C8609A4EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eae41d7e53836e7edf4280cc92e0bdf1376b320","datavalue":{"value":"1405.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410693$1E63A65C-64E0-430B-B0FB-EA0B66A151B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e9625645281694be52c56a086c767413832f4f","datavalue":{"value":"10.1007/978-3-642-54833-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410693$59188ADA-557E-4487-9496-200549B927EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410693$434930F7-CE83-4EE3-B760-B12E1A4A6EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"422432e9366471d0aee6a6fbd4c9ac515bf2212d","datavalue":{"value":{"entity-type":"item","numeric-id":5410692,"id":"Q5410692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410693$D0F2ABF3-271A-4032-BFC0-B1FDBDDB3BAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410693$E745DE70-B54E-4443-96DB-BBF5CAFE3420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410693$B736135E-2C44-4757-92B4-E42B4BB0275B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410693$BC057BCC-CE13-4FE4-A979-4DBC66ED1E32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff7c89406bac2c9735d1095d7fefef0b58d6981c","datavalue":{"value":"6286379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410693$4B9330C4-2DF2-48CF-9906-C5495D18A2B1","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":"Q5410693$C2A8836A-C7C5-4748-80DC-95ABAE61DBF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e87f73cf43f4167ba30e2685673dc3ff77e7fd92","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54833-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410693$76315EAD-642F-4349-ACE4-3543E0C82210","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855e638ad45d836fade2c1a0addc0e5f84427825","datavalue":{"value":"W162884833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410693$C71D7E2D-F6C4-4ADE-A1D5-AFE0DFF9DF25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae68f9029a5e4c910681b12ffe21e6d6bbbe7450","datavalue":{"value":{"entity-type":"item","numeric-id":2828289,"id":"Q2828289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d72c90bf853d1ed56295d25d9f43fd0952b82f","datavalue":{"value":{"amount":"+0.9213892","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":"Q5410693$DC13B207-B228-4F64-A92F-75AE106CB9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb179e721c99f9af8ed25498fca520e81ae5049","datavalue":{"value":{"amount":"+0.91993475","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":"Q5410693$F63DCC39-EF78-4671-B080-93D3ADC18522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc17ecf37097729df5908c7ff2b8f77f2655c2ec","datavalue":{"value":{"amount":"+0.90454316","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":"Q5410693$1E208AE6-9410-4FEC-ABAF-EABD00DD426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5181dc712e2ebb2cddd6fcf6884152b779ce9c","datavalue":{"value":{"entity-type":"item","numeric-id":5145625,"id":"Q5145625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6add23f0288b02f07698d0b1cb272ae83ccf201","datavalue":{"value":{"amount":"+0.89483607","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":"Q5410693$97411AC6-6FBD-4438-8DD1-4A05E99F339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d8f8bbdb3b091e8d0ae7188a6cc73f4ce8c840","datavalue":{"value":{"amount":"+0.88622403","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":"Q5410693$23E127E9-690C-4602-B925-A1DABAB243A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c597623f058ee4c5eb42b8393930cd26849806","datavalue":{"value":{"entity-type":"item","numeric-id":4993354,"id":"Q4993354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e568cfd3512195a6253ef29ea3de1101e8ab2eae","datavalue":{"value":{"amount":"+0.88181615","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":"Q5410693$0A9AED9D-80AA-43D0-990F-3BB06438E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820ef747b8b3e767cc3ce9504b2046c75e31c04b","datavalue":{"value":{"entity-type":"item","numeric-id":5214814,"id":"Q5214814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb01f7bcc6c5865050689c3d48b4c6b39d9eb873","datavalue":{"value":{"amount":"+0.88181597","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":"Q5410693$039B5DFD-7A95-4DBE-9BD8-F14E4849F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d227f64e0d0a4e289ce57afa5a423b8d9c0e8e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5398087,"id":"Q5398087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d45cd01d913a0c9a2245c90f0b4169fb22fd1a7","datavalue":{"value":{"amount":"+0.8755533","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":"Q5410693$9C723DC5-5B64-4C02-B770-B288B856C43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58a30514c63f2b1fce57aea0a80c56849a29467","datavalue":{"value":{"entity-type":"item","numeric-id":2119110,"id":"Q2119110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff5db13b4ecb07395f8f181f2a695fe127f0bb9","datavalue":{"value":{"amount":"+0.8702296","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":"Q5410693$22CFBF5E-94FE-4F84-9AE3-B99C2570FCB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410693"}}}}}