{"entities":{"Q3452267":{"pageid":5227928,"ns":120,"title":"Item:Q3452267","lastrevid":52391858,"modified":"2026-01-22T13:10:52Z","type":"item","id":"Q3452267","labels":{"en":{"language":"en","value":"Tridirectional typechecking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507274"}},"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":"Q3452267$5BB38D7B-C754-4951-BFAE-FFE480F1DB4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f8b5b5f131bef91d353bc407b12d37352d55d70","datavalue":{"value":{"text":"Tridirectional typechecking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452267$5766A111-A4DC-4162-9027-5E90E4C7BF6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d4987d9a920099bd3eaf1c33a8850c3ff336723","datavalue":{"value":"1325.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$429B4899-19D2-4450-9FDD-5A966DF3BF7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4489d19d8a6d5bf11da2c2cac9b5b300ed4e1f9","datavalue":{"value":"10.1145/964001.964025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$8AB92B8A-472B-45FC-9BC9-EF18D5A34BED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a3dd97e3ae63113fc79622348c5b532c90422e4","datavalue":{"value":{"entity-type":"item","numeric-id":2804941,"id":"Q2804941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452267$E8929966-930D-4BD1-82FF-DA5763B3CAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452267$35468B0C-E897-4412-A8DE-DE33997CA373","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452267$8DE2272D-5C29-4C86-A06C-10EBD41B503E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452267$3D57470F-52F2-408B-AF87-AB6CF9B1E96F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$88AB264D-F792-4073-84E1-C0EEE2DFEF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$9BEA4A6C-FA0B-4D23-81F3-664E620FCCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$ADA580E9-9C45-4EC6-8B8C-715616BD4D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$62579646-DFE7-41ED-868B-79BB763C665A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"282d1d821fee311dfeda4f496e76e3badb72364b","datavalue":{"value":"6507274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$538103CF-F408-4FC1-9959-C775A10DAA0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452267$87638C8F-62F7-43A1-A4B6-7B17FD3D8E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452267$49634171-09C6-4BCC-A846-99ADF3334C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a82e682d5869a2655bd6d7b130af83eae8db443","datavalue":{"value":"type refinements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452267$F6E70AC5-B50A-4EAF-88BF-A3A64D39C64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c617fecad7b834e90ec9e1147ee56be03f08","datavalue":{"value":"union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452267$DD47990C-A9FA-40F1-85E2-DAA9DFA9F134","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452267$E6C93C49-691B-42F3-822E-2ED2A604D872","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":"Q3452267$7F38C621-D365-4578-8C78-F20D04BF8B36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2afaf2e98562bcceabe347dd954bc19e3bf571c","datavalue":{"value":"https://doi.org/10.1145/964001.964025","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452267$E2FF41C5-CB15-42A2-8362-1930B077C0A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd1ea06907c9b2cf9bce5e7e9a0fd88e2aa08e35","datavalue":{"value":"W2296725671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452267$949F1496-A21B-48C4-BFC9-DBFE38C9933E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de54d5fd178410dac9afe49d960ba159b7f5294","datavalue":{"value":{"entity-type":"item","numeric-id":5244821,"id":"Q5244821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3faa1aca9c19ce1dc2db1cfa4bef8779c967e710","datavalue":{"value":{"amount":"+0.7723314762115479","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":"Q3452267$F57A5662-CD16-43EC-A69C-0EB7D0FF1A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538f59f2f47ac861685fa7159300fe779d13b403","datavalue":{"value":{"entity-type":"item","numeric-id":2871879,"id":"Q2871879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7109bd4b8c61a0ff07e90f617cbc46994b9715c","datavalue":{"value":{"amount":"+0.7219456434249878","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":"Q3452267$02F8AF8D-ADBC-44CF-86B3-6CC07D17D03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d860ad45150c88c4c03c4b5e89e9df3d5cac94a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518877,"id":"Q4518877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dd8be44fd3768ba841aaf53068d335fa06399e","datavalue":{"value":{"amount":"+0.7063193917274475","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":"Q3452267$CB890E76-78D4-406A-92B1-A8F22A76F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28442d7024702f2f48cdd5ed533c148fa7302c68","datavalue":{"value":{"entity-type":"item","numeric-id":2323977,"id":"Q2323977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade68834844e3946be50be418fcbca04a011f731","datavalue":{"value":{"amount":"+0.7053704857826233","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":"Q3452267$3AFD82D4-5338-4B30-A03B-0E5B8F69F467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107f4d053dfdc137bb4895809243c4210b6f226","datavalue":{"value":{"entity-type":"item","numeric-id":5096209,"id":"Q5096209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0ba7ed6b4b938c9f01ee23faf2957f397e1ba1","datavalue":{"value":{"amount":"+0.7046715021133423","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":"Q3452267$E93E25C5-E245-4A47-A0DD-51EAE0A8E36B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452267"}}}}}