{"entities":{"Q953530":{"pageid":955378,"ns":120,"title":"Item:Q953530","lastrevid":65634804,"modified":"2026-04-12T03:56:52Z","type":"item","id":"Q953530","labels":{"en":{"language":"en","value":"Backwards type analysis of asynchronous method calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5362186"}},"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":"Q953530$2DF62A5A-2EA7-4EBA-BF93-C76F071E94E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c41444b9272004a9bafa5d484e20a23d1a30ad","datavalue":{"value":{"text":"Backwards type analysis of asynchronous method calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q953530$126547EB-27ED-46CD-A4B7-CB8621B0D92D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80a5c8b97b49d179d091d4a3adbfe6d9e9e6d613","datavalue":{"value":"1151.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953530$5CB03290-0765-44ED-AF45-E406D4F650F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$821A475A-5268-4640-9FC1-4A6379A418DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e20dcf1cbee2bea65541e8ebe4eef6b12ec12b2a","datavalue":{"value":{"entity-type":"item","numeric-id":478382,"id":"Q478382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$0E5ED37F-1A4E-4EC6-ADE8-379D5168C572","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$86E117EF-1C4A-4AC5-B4E5-3C1ADA26437C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e676b345923800624f916d2a2c8d52ef91c50b4","datavalue":{"value":{"time":"+2008-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q953530$B6535799-9B1C-4B71-B92F-EE2C0133DC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953530$68D10CC7-C659-4C22-8672-0B4448C8D019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8313a28fb31d726945cac5543e270ab161de164","datavalue":{"value":"5362186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953530$7841B92A-D933-43E0-9F8F-B9607626A209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f405607b0d30a973f31e2f81f36e2051d84df3d","datavalue":{"value":"distributed object-oriented systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q953530$7F2E2227-F770-4049-8ACE-3D3F8C7A1F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8a2cf454bdce583121314690edffd36ff168a0","datavalue":{"value":"futures","type":"string"},"datatype":"string"},"type":"statement","id":"Q953530$6DCE4DFE-C753-4975-B757-B26297067FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c414403643a473aa76edef8cf1861d80e4df020","datavalue":{"value":"type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q953530$2CF3E3F1-F41C-41AA-BE62-C7EF3391F328","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$273D2B74-D615-4DF7-8669-DE6A31599860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$63384CE9-0885-4D2C-958A-C08C76E19212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4712411ef2fc1a9fba5ade20ebaf8e63a257640e","datavalue":{"value":{"entity-type":"item","numeric-id":39793,"id":"Q39793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$37CA99B2-1D6A-41DE-B177-1BA5AEAB8C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fdb421b3415346a610f7724f98fdc0ffae669b1","datavalue":{"value":{"entity-type":"item","numeric-id":21401,"id":"Q21401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$12BC1AB6-64C1-4436-938D-58507542CE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$4AA09823-6B49-412D-BF12-9F3B66042D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abb4a71948df602bf10aaaa5b0211de7c4ba3271","datavalue":{"value":{"entity-type":"item","numeric-id":21404,"id":"Q21404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$494C1DBC-05A0-4021-8C81-F4751E3BE6BE","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":"Q953530$8C9E757C-D510-4016-A79E-1E7D813E5B8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e82ac8ec8fd2d119eda3ec247f9ea2acf9ab4b74","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q953530$F5484996-F44D-46C4-AD2C-79F064D878D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c047ce7e1feac8c3649773c791b0c6eb78cd813","datavalue":{"value":"W2118599976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953530$1D98BA41-8F18-4DE1-B7E6-9C136B0D5D9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"856646d647cec35e4f1b7be9353b91e886727712","datavalue":{"value":{"entity-type":"item","numeric-id":5899016,"id":"Q5899016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$0A849E7F-7D50-420E-8947-BE3027509F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32930279f2ca624d983962fc97717a4edc158ab","datavalue":{"value":{"entity-type":"item","numeric-id":3452255,"id":"Q3452255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$DE63920B-6FBD-418E-B54C-EEF226652A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$4BA91867-3E94-4376-BF33-263514060111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$96673F5B-CB4E-46A0-B4EA-5CC729C87B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416d1b6b1d5e0614d49d241098f17a7e532ebc53","datavalue":{"value":{"entity-type":"item","numeric-id":6162111,"id":"Q6162111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$0D96B8C4-6CE1-4CFE-915D-BC22D2C8CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a7e4b474158f147651cf0ba89e06743562a007","datavalue":{"value":{"entity-type":"item","numeric-id":4256146,"id":"Q4256146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$FAF08FDD-342F-44C0-87A9-FEF9FDD75C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94de08579fdb4600625f8e9aff865488f3125027","datavalue":{"value":{"entity-type":"item","numeric-id":3703291,"id":"Q3703291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$3C30EA3E-35A7-48BF-9044-235A6DFB525B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4210bba19cd160e5cca228bacc9ef6fb4cb9132","datavalue":{"value":{"entity-type":"item","numeric-id":1854358,"id":"Q1854358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$14A0600E-47A6-4F27-859C-BEC9F8BD250C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$1462545E-C243-44E9-AFB1-A02BDD60E130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3892435d26a2f59e5d6acb77e07119651c694d","datavalue":{"value":{"entity-type":"item","numeric-id":4339528,"id":"Q4339528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$B6037C5A-AB18-42F2-8CEE-5699D11E3E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$D0291779-1A9B-410F-8147-2AC5624E048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4742d7a0d6c8d8a486327d93a0aaeff26ab6ee84","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$DB6BB7DD-F926-40C5-A68D-A3D260FA531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$D9ABEDBB-2371-490D-931C-28B74945E43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$826069F6-4BA6-4753-AE08-516C41D22123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4bb238cb610f993b67c0bde07bbfac57d8a271","datavalue":{"value":{"entity-type":"item","numeric-id":4856173,"id":"Q4856173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$6CE681BB-18D7-47ED-ADBC-582B7DF87851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620a285a6d83cbe0fcb2ca22f0db8111fb4fb562","datavalue":{"value":{"entity-type":"item","numeric-id":4764612,"id":"Q4764612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$6EDFC63E-27AB-4234-A984-C4C7676C567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$20A30AB9-64A1-41B7-B640-F473CC9BCE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q953530$6DC319D4-5DF4-49AC-AAFC-12F241F3C870","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1ae6e0e3222e977c116a227b9e3237eb1d08f9a","datavalue":{"value":"10.1016/J.JLAP.2008.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q953530$CE052207-B1D7-49E7-8FB8-F21E385143E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f09922f123ccaca0d1967f3b54925772cd33fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5ede1e76ba9e11b263fc7bfcd174652450e789","datavalue":{"value":{"amount":"+0.6779632568359375","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":"Q953530$15654B14-BDCF-4FC9-80A0-7ED7213417A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ab36337297b8454d489f3c2aa6029be801c7a","datavalue":{"value":{"entity-type":"item","numeric-id":2957110,"id":"Q2957110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc180c8d05f0104c08eb3708458934b8cebec3f","datavalue":{"value":{"amount":"+0.6569958925247192","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":"Q953530$947F0867-ED22-47D5-AD43-E999BFED0F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34e7c4b78aa4238ab14d65f67ee23e9be5f1c59","datavalue":{"value":{"entity-type":"item","numeric-id":2849872,"id":"Q2849872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87190cca94c60917cdf88ae6913b03c205b0c065","datavalue":{"value":{"amount":"+0.6385766863822937","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":"Q953530$0CF6F2DE-1C8D-4FAC-AA4C-9264E0A3DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a793fcafc0d16e8a72acac4b73c8c00b59c53d8","datavalue":{"value":{"entity-type":"item","numeric-id":465485,"id":"Q465485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ed6fe14e1234ac63a6bd7950e00068e55e2007","datavalue":{"value":{"amount":"+0.6344956159591675","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":"Q953530$ECD48BE6-A21B-44C6-9EDA-10A48CF19F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1687d26acc4ae95b58f86c1321dfdacd8e1586a2","datavalue":{"value":{"entity-type":"item","numeric-id":4813121,"id":"Q4813121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4246d99f26fba05ef8f0f05cc8f0cdc4b96f1a5f","datavalue":{"value":{"amount":"+0.6326794624328613","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":"Q953530$AE0A9595-C966-4840-9B3F-5A4E4DCC3123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Backwards type analysis of asynchronous method calls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Backwards_type_analysis_of_asynchronous_method_calls"}}}}}