{"entities":{"Q4964708":{"pageid":6994287,"ns":120,"title":"Item:Q4964708","lastrevid":58379631,"modified":"2026-04-04T23:24:02Z","type":"item","id":"Q4964708","labels":{"en":{"language":"en","value":"Nonuniform coercions via unification hints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317244"}},"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":"Q4964708$D3D44F6F-002D-4E1C-B489-2225496C014D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b4745fa5049f4665b2e5193435c5747d2f920b3","datavalue":{"value":"1457.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964708$11DB1DEB-3397-4404-827E-69DE70195CE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964708$EE59D4E5-4719-4A24-A480-3BC180C81B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964708$7D378DD0-D2F7-4A31-99C7-74878B3825F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964708$8876CA43-6789-401E-BF06-0247A49A4FBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfbabf91e419ff5d41a4967092f1e0b00e6acc57","datavalue":{"value":"https://arxiv.org/abs/1103.3320","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964708$12D691BF-0A21-4799-BA17-7E4CCAB37B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fc50865c814ca387a8f643644d1e479747daa83","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TYPES2009.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964708$0EDC3979-9057-4E72-B771-29E281F89374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964708$6F839D08-0D12-40DE-AD5C-301D8C1BC581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964708$5CCEBC08-C9AA-45B9-BCCF-BAC8AE2FDA9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af422f717c9dd5d782322e0b4e8952c6daec7b3","datavalue":{"value":"7317244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964708$E327128D-3631-4500-8EF8-476D0D10BCF4","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":"Q4964708$70788AC2-5102-41F1-885E-FAFBBB6A291C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5df00425f6b36425ebf937a40a35a967a7fdb2","datavalue":{"value":{"entity-type":"item","numeric-id":3372684,"id":"Q3372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885338a37908adcf16c755e8ee30e261ca4e58cd","datavalue":{"value":{"amount":"+0.7414075136184692","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":"Q4964708$EAAF3CA2-B866-47BE-AC62-1F14A2E0A894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272066dbb4c7a4058734c8a610c625ce7020d87c","datavalue":{"value":{"entity-type":"item","numeric-id":3183522,"id":"Q3183522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233b77e4e7f836e1111eeb65c9b6690d4c53cc6e","datavalue":{"value":{"amount":"+0.7367272973060608","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":"Q4964708$BFAAB0AE-6F2B-4882-A96B-76B709D48F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0d301ab2b69bb65a6a62f41831f0078487499f","datavalue":{"value":{"entity-type":"item","numeric-id":4499226,"id":"Q4499226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07dea7eedc7ff5bf0ea26a48708c93ad1dc57a58","datavalue":{"value":{"amount":"+0.7345829010009766","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":"Q4964708$2402E76D-0636-43EC-9CEF-BDD434825A69","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":"b5c665106e52300ae6c20c69a9717c079c199265","datavalue":{"value":{"amount":"+0.7096099257469177","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":"Q4964708$E9B5982A-D975-4D49-869B-5F571ECF2988","rank":"normal"},{"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":"b5c665106e52300ae6c20c69a9717c079c199265","datavalue":{"value":{"amount":"+0.7096099257469177","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":"Q4964708$17A16DE3-D60A-49F1-B5E7-EEB0CF69C2F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964708"}}}}}