{"entities":{"Q6976541":{"pageid":21362292,"ns":120,"title":"Item:Q6976541","lastrevid":84035555,"modified":"2026-05-08T11:43:23Z","type":"item","id":"Q6976541","labels":{"en":{"language":"en","value":"Type-directed operational semantics for gradual typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048063"}},"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":"Q6976541$BEB3D357-BFD3-436E-8849-86E89711B0CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a896f8103ac528aed9f9363a8223bdd43d3b0d1","datavalue":{"value":{"text":"Type-directed operational semantics for gradual typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6976541$2862683B-5093-4267-973D-4946F4851554","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2e974d742ee2150c00e78b9bea121617fdb91fd","datavalue":{"value":"1566.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976541$32391DB8-A1D3-4B16-963F-26524444D7EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5701059d8eccfa9e61b95c81c85c74c8fd594a1","datavalue":{"value":"10.1017/S0956796824000078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976541$4EEDA668-3459-475F-9815-1738D11B8232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"697a9d70223290bedf6f0bd857e7ced1c7966bad","datavalue":{"value":{"entity-type":"item","numeric-id":6535231,"id":"Q6535231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$E2EF5B51-66F6-47C6-A952-8EAFC1CE4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$304E007B-A125-42C9-BE34-911AB7670A28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$A38882D1-45E0-490E-B5F8-5B2C912C2942","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6976541$D2B565AB-2819-4747-8F80-2A9ECC8186F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976541$0B5DF35C-44E5-48C4-A0FE-4DA9805BE2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976541$DEB765B0-63E1-42FB-BC23-13BF2FB14999","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6223b01ef339b741718becfeefb4b3e433714fcc","datavalue":{"value":"8048063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976541$C6D5D816-E339-4FDF-940D-329EDC0607E8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$CB2B9A7A-BA4E-41E0-A22B-BC7165AB0287","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":"Q6976541$588354DE-D944-4382-9A3B-9D135EC27DBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$01B212B8-5DA9-4C4D-ACE3-7C09DF6522BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbc3b89e3e5f225b83ff2636cb0562d13e70eba","datavalue":{"value":{"entity-type":"item","numeric-id":5408544,"id":"Q5408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$B84B1D69-F730-4A1D-91B0-47C33CD8CE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f8553a922d4176c17b1d8e1d4da117af4cfb9e","datavalue":{"value":{"entity-type":"item","numeric-id":2819692,"id":"Q2819692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$B982901A-1EBC-4B54-A661-D1F3104B73B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e231d16cfd860768c9236502a4897afa1568eb96","datavalue":{"value":{"entity-type":"item","numeric-id":4585064,"id":"Q4585064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$2AFDD24E-4224-464C-808B-7EF1E79013AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd5f5c9fcbefac0bb72532e3eb4cdbc88cd4b97","datavalue":{"value":{"entity-type":"item","numeric-id":1854318,"id":"Q1854318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$867626C6-785A-4CB4-B9E8-508CC36B4A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$5EED5DBD-83E3-4F22-85B4-FEA8B9C18DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$40DC683C-B202-43BB-9772-CD95CA567014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$46BE25AA-70E3-47FA-9C77-9884C558A8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$14BFA831-896E-46D1-B621-8D5F0DB8B119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$7051A816-8189-43CC-AB14-7DDC1870EA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3722c51c021da2b30f363c30e1920ca32da80a7","datavalue":{"value":{"entity-type":"item","numeric-id":4964710,"id":"Q4964710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$71D9E13A-25AC-4844-A2A9-38B5214EAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$65087524-0405-48D9-8602-22B56761FD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727dec515e3245b4dd839725341eb4ed4c4b3e45","datavalue":{"value":{"entity-type":"item","numeric-id":5244820,"id":"Q5244820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$75975538-6EDC-462F-8D59-6C027CD5AC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a922a9eeeef85c802fa88a10fa97579bf697de0","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$C24334AC-D2C6-4E5D-B59D-BF1127C946F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc19332e98e54875e1f504e123420bff5e44b6","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$161478ED-91FB-4C28-ACBB-69359204BFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203af7b2224e70d9229da9b044eb4282ff6c7420","datavalue":{"value":{"entity-type":"item","numeric-id":3024835,"id":"Q3024835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$A201F546-B5E0-4F6E-B983-7DC5C5EA15D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e9fe86044a1ae9dcd1d656f7c3841b1a5833c5","datavalue":{"value":{"entity-type":"item","numeric-id":2819803,"id":"Q2819803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$C650D9E4-45EA-4843-8232-7488006E0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$C9A70792-7E97-4C97-B64A-D707B697E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2907b18e05de3af9cf4b14b4b124ae231a28b7c","datavalue":{"value":{"entity-type":"item","numeric-id":656856,"id":"Q656856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$979449B2-9EC3-43CB-8C45-26CDCDD6BE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881cdabd5ee092caccb3c6baac45e2a77bfe2c18","datavalue":{"value":{"entity-type":"item","numeric-id":5020905,"id":"Q5020905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$711CBDB5-9FD6-43CD-9E24-A7067B759D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffba66aee5604fd5e664bccedc70519627150ce2","datavalue":{"value":{"entity-type":"item","numeric-id":5458383,"id":"Q5458383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$92257E1D-A246-4C73-9FE7-67A80B774DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20fb7c48e77808fbfcb67d3d7a940b105d55c505","datavalue":{"value":{"entity-type":"item","numeric-id":2936811,"id":"Q2936811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$2749DE91-EC99-4F74-ADC3-12FC58E3F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4436008312f50bedb48fa8d06ec6ec3a3a0daa26","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$8218C5A9-A631-4974-99E1-4820C78D7AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfda0e229947f3a16f4624eaf252fe910fff41","datavalue":{"value":{"entity-type":"item","numeric-id":5096244,"id":"Q5096244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$C672E8D9-C307-4CB8-973E-9EB04B17E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd072d48f95dd3006096cdd0c07d1d2416c19849","datavalue":{"value":{"entity-type":"item","numeric-id":4344013,"id":"Q4344013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$84A80B63-2F25-44F2-8319-01137D4D239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a64b1d16f8db00b6635272fde5f4e98b06c2423b","datavalue":{"value":{"entity-type":"item","numeric-id":3617687,"id":"Q3617687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$A3C164C9-1423-4F23-B190-2AF788E21B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4083eff08cdf7f665e2c450cd0a6d6e2ee871c88","datavalue":{"value":{"entity-type":"item","numeric-id":5408437,"id":"Q5408437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$F95EC914-4AE0-4D96-84D5-3959715AC4B7","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":"Q6976541$0EAFE166-04E5-4B7E-8487-8A162ED20D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976541$119C0E51-9B95-4CBA-AA98-1E1080241BCB","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":"Q6976541$3CD8AFE3-9FE7-4ACC-8DFD-BCEC8E6096CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type-directed operational semantics for gradual typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type-directed_operational_semantics_for_gradual_typing"}}}}}