{"entities":{"Q1994367":{"pageid":2005109,"ns":120,"title":"Item:Q1994367","lastrevid":53261567,"modified":"2026-01-24T14:13:48Z","type":"item","id":"Q1994367","labels":{"en":{"language":"en","value":"Preemptive type checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970284"}},"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":"Q1994367$9A6D9609-8177-426F-AA62-A37635373B99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f22520c498865da5c27263da9d0c263da17f932f","datavalue":{"value":{"text":"Preemptive type checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1994367$17DB0D31-967E-4242-8D17-0FB845BFD178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8048cc92e0d75175300b2c049ebac143da828bff","datavalue":{"value":"1400.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$0825B27F-C568-4F4F-9CB3-12329310E994","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34361e1e77a2d1d79e26ff3da49ca37e966caa7","datavalue":{"value":{"entity-type":"item","numeric-id":1994365,"id":"Q1994365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$7D42536E-7D85-4407-A4FE-0BCDDD57659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde2c5eea43d2c87cb219f7a9655949243a5a22a","datavalue":{"value":{"entity-type":"item","numeric-id":1994366,"id":"Q1994366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$930422C5-C64E-42A8-ACD6-0C0B417D2099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$CBF99888-96CD-4B39-A31D-3A54B8A65AD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$D671A18D-95A2-44AC-B8C4-76EEA0A60DD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"203bacb163c1a12b450dec239d9c77c52deaae3c","datavalue":{"value":{"time":"+2018-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1994367$1FDBE02D-233E-4B96-ADC0-25DAE46AF57D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5199e5171b9eea7f40ff69357fbab72d13da49d5","datavalue":{"value":"https://eprints.soton.ac.uk/421793/1/Preemptive_type_checking.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1994367$2D0A70F5-A3F0-4BB2-95B9-0EB28077641F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$CCAFE124-BEC3-4B50-8455-47FCAA9F9E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$86299B2D-5A0A-484D-874D-539BB974017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$EF763711-F4D2-453D-AB15-B2343B7FD01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bed65f024f66d5a99d0935678e403f8d115a22fd","datavalue":{"value":"6970284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$DCF26604-E52B-44F2-8232-0BB662685E70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994367$BFC88799-2862-4A0C-9334-FA6D140F6E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994367$BA8479BB-2136-4615-B64D-DA50E8E68E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994367$E5B4BCFE-A3A4-405F-A99A-AA588532C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33d8f8d642c4032c6b3f919c9259d72836e1474","datavalue":{"value":"dynamic typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994367$5D58BE77-615C-491B-8D57-48F53D4E2CEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a7845ee89926366f35b135c1a67992dabdbd554","datavalue":{"value":{"entity-type":"item","numeric-id":55488,"id":"Q55488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$ED5A326B-681B-4094-A548-3263DCAC2EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$D9AEA5D1-3E4F-42AD-AC6E-F375BD7985CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a38a635a858e72b5774b969be844e4f2f43f9a","datavalue":{"value":{"entity-type":"item","numeric-id":5973858,"id":"Q5973858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$0C0BE4E1-B07A-4004-8FF0-FBE5D9E8649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e050f279dd54858a8bab668212b6e93a64af905","datavalue":{"value":{"entity-type":"item","numeric-id":42826,"id":"Q42826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$8DD40E5F-73F9-4AE1-9BB0-CFF8FC832DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"822d5c9878d6d68193d4c3a514143856673ab629","datavalue":{"value":{"entity-type":"item","numeric-id":42827,"id":"Q42827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$107727A9-2AF5-415F-B70C-ADC138068AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$3C58C2EE-8521-4A8A-92CA-48250FBEE3AD","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":"Q1994367$17CE00F5-BC94-4066-B1FB-4176A5CAE5ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"349de45f10f5a439463f8feab772ea01535d1428","datavalue":{"value":"W2810701304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$46190382-9609-4AF1-A21D-02809E853630","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57f6d66c034cd632c73b76c1fb4c5958eb4c880","datavalue":{"value":{"entity-type":"item","numeric-id":633286,"id":"Q633286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$B1428726-BD5E-4C36-84A8-9917C7E4F698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbae880cd1c0a6aabfa555ffea77a8f2a59a287","datavalue":{"value":{"entity-type":"item","numeric-id":2851907,"id":"Q2851907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$93F27F16-4840-468F-915F-8E548D1EAE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278c08620434d8f6e6697d787c62f4310f1424b6","datavalue":{"value":{"entity-type":"item","numeric-id":5255096,"id":"Q5255096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$1A1AA653-BA06-4F4F-A33E-28D26A8FA336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae31cbd107a3fff045ec3ec6d0a2471856019d7","datavalue":{"value":{"entity-type":"item","numeric-id":2819802,"id":"Q2819802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$8653DB28-21BE-438C-BAE8-453AABE0A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dccdbb6fa19cb81346a7b093ebc4768c7c2f275","datavalue":{"value":{"entity-type":"item","numeric-id":3189858,"id":"Q3189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$FD5DB58E-CE19-42F5-821D-EE5585F5F763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82cf9bb4f5bde68e99ec2bc8ae649afd63e8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$2B5AF9B5-3D04-407A-83B8-F3DC1BE510C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$E1831B3D-495D-43B1-A070-FB87CB937ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50b78a66138e6672ed0097f233af16b4675072a","datavalue":{"value":{"entity-type":"item","numeric-id":3638242,"id":"Q3638242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994367$7661ED2F-374F-44FF-9C25-00AC9AE987C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3be07a8b96c26b8c572fccb7e7dadf05094733ca","datavalue":{"value":"Q129244863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$8490C2B4-F9FA-4E23-BB89-D17AFA160D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c88d9a9e0b8a9b4f0bde43e0ef761d328449389e","datavalue":{"value":"10.1016/J.JLAMP.2018.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994367$18097872-5E96-45BA-82A1-38F437FA443C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc6a9e683a80600ffaf3d82d4fe69293f0c1c26","datavalue":{"value":{"entity-type":"item","numeric-id":2851907,"id":"Q2851907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02831ee83d6b5dfb06c63b55a8d531ea0a00898c","datavalue":{"value":{"amount":"+0.8912155628204346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994367$B9354BC9-518F-4E3E-A7A5-4FD3B2BD292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2bc85f184ca836e6c6c2572a176f6957fc499d","datavalue":{"value":{"entity-type":"item","numeric-id":2949202,"id":"Q2949202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff205eaffb980ff47916459879fceba871e1622","datavalue":{"value":{"amount":"+0.7045024037361145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994367$59606110-4A49-4476-82AB-AD8EC741A58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b548c444cbaac0017b3387940e4e6c2d86a326c","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ae8f44c1edf6b20cdae3f9ca3a0465b618dd6e","datavalue":{"value":{"amount":"+0.6852191686630249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994367$B9FE222E-F27E-4CCD-81AC-453F17546DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ee0bb573696c8e4fd5c4fc75ecc0f154f2f635","datavalue":{"value":{"entity-type":"item","numeric-id":2848694,"id":"Q2848694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993970c17a7a3d76eb9654f7fdd81994406aecc7","datavalue":{"value":{"amount":"+0.6827592849731445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994367$80B2A311-A95D-4948-B89C-2B19EB3DEAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05da3c26eb3663096b0f6984618aba42769715b3","datavalue":{"value":{"entity-type":"item","numeric-id":3484338,"id":"Q3484338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b8889e12f4e220aa787b14c786571b69033d85","datavalue":{"value":{"amount":"+0.6636691093444824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994367$AF4371A1-F4C9-459D-A329-A71D75C30F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1994367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1994367"}}}}}