{"entities":{"Q3372684":{"pageid":3383388,"ns":120,"title":"Item:Q3372684","lastrevid":49797559,"modified":"2026-01-10T20:12:32Z","type":"item","id":"Q3372684","labels":{"en":{"language":"en","value":"A computational view of implicit coercions in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5011348"}},"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":"Q3372684$B57BBAFF-5A14-4B41-A4C0-528C83900457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"801c4dcd6c4350445844c30b5ee2dbe1794c5cb0","datavalue":{"value":{"text":"A computational view of implicit coercions in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3372684$554DDA80-9FD9-4051-A7D7-927123197889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6266a77f8ab32969de47a65d77f85f5bf6fdd467","datavalue":{"value":"1084.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$F56E48BE-CBFA-4C59-AFD0-9FE0C96EFDC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8981a2927be29c3b1c17b17e7fbfa97a55e6692f","datavalue":{"value":"10.1017/S0960129505004901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$58D034F2-B27F-477A-9F98-4C886302F65C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372684$B9EE5AD3-6AC9-4D35-99F1-C4EFFE18D7FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372684$6AC3B57A-1A15-4561-A6A9-8B7D69ABDABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a3046a81801d144778e3b4f51aa6e3edc0fa6e2","datavalue":{"value":{"time":"+2006-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3372684$406CA689-4D82-44FF-9445-2DFDD6130128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$4B86AAA8-35DE-4FE4-9A68-4E51AF28D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$4F502551-2C65-4AE2-81CB-21CDB722588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$1366A5A9-4162-4F08-9D50-85BCEB0E247C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005c36e40e03589f3e03390b37b3954e2d538528","datavalue":{"value":"5011348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$F121EC15-DB8D-4E5D-AC69-FFC62425852A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf3487b0c6d87d6e32abce277abc6baa57db754","datavalue":{"value":"back-and-forth coercions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3372684$F3763565-06ED-4220-BA64-03B5AD0E79DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3372684$37E2A9F2-0D18-41C2-8A04-75411558CFFD","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":"Q3372684$33807EBA-4E4D-4AAC-85B7-B016E4253CEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a7c8f560ed389e4d8d1e81b8d42519c48c92b05","datavalue":{"value":"https://doi.org/10.1017/s0960129505004901","type":"string"},"datatype":"url"},"type":"statement","id":"Q3372684$2FE16787-4646-455D-BF8F-EAC2C246E751","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dad701a9744e7d4df86dc8b4ed701d60b2b6f74","datavalue":{"value":"W2020431458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3372684$7BF997E3-93E3-4166-A188-17190A619005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245dbece8e6fedbffc260e11245b3b084c03b6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4647565,"id":"Q4647565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8f7f026a97179bad7bc0810ff86cd52842d76a","datavalue":{"value":{"amount":"+0.8491621017456055","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":"Q3372684$4D692025-01BF-4965-ABA4-C73BABBA2A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b3ebaf784e453b9f30c13a095eb23eab8310bb","datavalue":{"value":{"amount":"+0.789866030216217","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":"Q3372684$71E79311-506A-4AB5-866C-A43382925F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b3ebaf784e453b9f30c13a095eb23eab8310bb","datavalue":{"value":{"amount":"+0.789866030216217","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":"Q3372684$D97AE2B0-6067-4396-A298-D19B686A2F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf8d6e38430c04539d4af99e9420705e59588bd","datavalue":{"value":{"entity-type":"item","numeric-id":3520150,"id":"Q3520150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abc6103f487663cdd44c674704fdedf50ae5920","datavalue":{"value":{"amount":"+0.7882389426231384","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":"Q3372684$8F6AC9A8-CDEA-493C-8859-18A86F98E3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a3a96ceff1d89d15171b3a9fa692c76c5f5063","datavalue":{"value":{"amount":"+0.7849543690681458","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":"Q3372684$7CAFC906-355A-4333-B441-831756E26722","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3372684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3372684"}}}}}