{"entities":{"Q5166618":{"pageid":7196190,"ns":120,"title":"Item:Q5166618","lastrevid":52026839,"modified":"2026-01-20T19:07:21Z","type":"item","id":"Q5166618","labels":{"en":{"language":"en","value":"A partial type checking algorithm for Type:Type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309381"}},"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":"Q5166618$22DE4C3A-9CF3-4825-AA05-C25D2823A524","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23bdae71e780ad1103c295fce7693d498e711204","datavalue":{"value":{"text":"A Partial Type Checking Algorithm for Type:Type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166618$087A0F1D-F6E7-4B60-8C5B-D506094BAF58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"643d8d39cf936d58800d22bdccc83ac4a8cf67f6","datavalue":{"value":"1291.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$B5CFD5A7-D570-4C87-A6FE-78CD5620240E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$C4F344B4-A189-4CBE-8510-128D034614EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$9518583A-BA5C-47C3-9772-EE6612CA828D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$06FAB7DB-C890-4DCE-94A8-C9C92759203B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166618$233C470E-D37B-4500-91A2-E9B3F15CA7AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$2DD2605D-60D3-491B-B65E-D3B377F37071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$9505529E-27AD-4953-AEA3-554C426EA738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f6f7a8d5c1d5d81174fb15fe3dd6685b34b863d","datavalue":{"value":"6309381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$CEF8FCC7-30EB-4DC5-BD05-F17A5E0435DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166618$B28F3E2E-7BCF-48E2-A0B9-0CF6DAFA17BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166618$45E105FE-F4B5-4579-B0E6-A34370E37A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166618$E8BC4D52-A777-4EA3-96CC-82DE0F1081DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecc0f922b3e3f31931d5c45288c1920637ce569","datavalue":{"value":"Type:Type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166618$92D8A373-2086-4ABF-9D65-B290B92F405A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa5e2e9fbfd68443846e75aa72556e0f50d82e14","datavalue":{"value":"Q61583766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$BB50C7A9-1F2A-4D7E-A911-B7F34ED05579","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$26E61503-44F7-4F1C-9397-30DF79A6C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$5CA9E7B1-E411-4518-8D69-589098A1F21C","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":"Q5166618$D0175D56-EFE3-47F2-B71B-9DCCBA2CAD19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b4e889401c67f28d1766cac85434d6a7551d09a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.02.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166618$41C27D27-4FCC-429E-B3D1-AE328F83945B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24316034615b1ebfe23d9b82ebf4fda41fd8735d","datavalue":{"value":"W2157073125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$9E79D1C7-D5C5-4944-B1CC-CC85D1B374A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ea65729b1033e784ad198279fc14710fe85dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$A9B49B9F-4351-4C50-8E6D-345F078B8B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327cf916e5c8f52b90b371017428a40a2b3f26d","datavalue":{"value":{"entity-type":"item","numeric-id":5348900,"id":"Q5348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$AAC6A568-1F85-4563-9371-F8DE42FD7855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0376d77c57414e7d51a34a77f3a343f8b3256","datavalue":{"value":{"entity-type":"item","numeric-id":3377459,"id":"Q3377459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$FBBC0A8E-F6D3-45FD-B154-E417479122DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$290F04D4-004F-4D13-9371-456D44498EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$2801DBE6-53DD-47BF-A595-F86813B64BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71cab0da64d8702c22179d9a10bdc20344a6c561","datavalue":{"value":{"entity-type":"item","numeric-id":4736389,"id":"Q4736389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$709B0BFA-11D8-47A1-A91A-FECF479B26F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125d8478324e74503ed55ef90ba0e23247dc7393","datavalue":{"value":{"entity-type":"item","numeric-id":5705901,"id":"Q5705901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$CED41FF7-6ABB-43AE-8197-CF0240155BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166618$41665788-0559-4940-98B7-640C332F1E8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05a23b92af653a3528ba879458a694e77390a592","datavalue":{"value":"10.1016/J.ENTCS.2011.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$5F0815CB-244F-4983-B02B-37E085BAE3EE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fbbcfe5b4543081ad6ea38c1bce3835307d3eb16","datavalue":{"value":"journals/entcs/AbelA11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166618$78FD8043-C6FE-4BAF-AF88-20BF435D4218","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763755f0a565da6aed9e31ae933c99de481e329f","datavalue":{"value":{"entity-type":"item","numeric-id":4218107,"id":"Q4218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc931f2af2199013f426ed26fcc92246301e1e89","datavalue":{"value":{"amount":"+0.7616689801216125","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":"Q5166618$888CB12E-0CFA-45E2-B505-F1C24D2D429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3ed6a21edb415af25a10496ea8516ccf9fabc6","datavalue":{"value":{"entity-type":"item","numeric-id":4948007,"id":"Q4948007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62103576c3de729324e0c0f255f7dfeeb80d0474","datavalue":{"value":{"amount":"+0.7541120052337646","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":"Q5166618$4041A41C-9C02-464E-99E7-D26BFB3CD337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192016c7411dd01638c7d001c7b6a59d7fb8d10b","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f3fc74c9fe11a4e3e6afc59a0724690df3f745","datavalue":{"value":{"amount":"+0.7528803944587708","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":"Q5166618$9F19672A-576A-4F5F-88D3-BF5056ECF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8400280694217f7467aa7b38aa90d07462da14","datavalue":{"value":{"entity-type":"item","numeric-id":3003322,"id":"Q3003322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a490f39a09212f2c5ba4661203f4b512c1cc86f9","datavalue":{"value":{"amount":"+0.7388140559196472","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":"Q5166618$AB5CCA55-E500-4086-A0CA-1356AC25CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6171f0b09d240cdab1c5988ac08fee2e637217","datavalue":{"value":{"entity-type":"item","numeric-id":3637183,"id":"Q3637183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdb5c57661846f755fa0f245b49d6f922b88e2d","datavalue":{"value":{"amount":"+0.7388139963150024","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":"Q5166618$5D7F3428-A0F1-4F84-94CD-2B64DA22CFB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166618"}}}}}