{"entities":{"Q4647565":{"pageid":6677146,"ns":120,"title":"Item:Q4647565","lastrevid":53321207,"modified":"2026-01-24T17:45:05Z","type":"item","id":"Q4647565","labels":{"en":{"language":"en","value":"Implicit coercions in type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002041"}},"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":"Q4647565$994D50C6-E798-462E-B48A-706564F250F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11d450a4022660032793051e1c0fb7734f035a25","datavalue":{"value":{"text":"Implicit coercions in type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647565$AC49AE05-8D68-45F4-A656-E290B98DF043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce87eb403ebb1b0b0222df725d107364b45683a1","datavalue":{"value":"1434.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$F862EA29-6F5F-4649-8369-395636E5C4F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7c4758c88ae749619d4d643a63e5335364865a0","datavalue":{"value":"10.1007/3-540-61780-9_58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$2ED5C85C-6766-4513-9BA5-EFECC3D2F53C","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":"Q4647565$7FCB664F-6D98-42AD-AFC8-F7249AF917F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$68C0F771-DD36-4B79-9FA1-AD381962ECD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647565$54695B3A-9F42-4E6B-847F-DA1AC9C3464B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48db18dc3b13ab6a80529d49dbfcd74088335b76","datavalue":{"value":"https://ir.cwi.nl/pub/2181","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647565$82B7D396-3121-4EEF-8BC6-A72C799694D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$D401C1F6-D2E5-4151-BA01-5DF2194B1CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$67C4B6CF-CCC7-40B3-BA43-016CCF975D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$01B823F9-77A1-406F-8BAD-4D71E14D9850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49424c6a86f66e08d65ff9447fd2dd41e4ac7f60","datavalue":{"value":"7002041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$CFEF6999-5332-43E1-BC8A-A49F24514C27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647565$4916B435-4731-496E-BC6B-5CF05C924847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647565$52667286-37BB-4D4F-99B4-8EAB68BE3FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647565$237CB430-1485-4DD9-B3E3-E9C98836E1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647565$83AAB481-93EC-488B-B42A-94BA171FC057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afe1cbe671170a3f1adb93d667d05d6967449e4","datavalue":{"value":"record type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647565$0C5FD6E2-5C23-4169-BDF6-37D608BCC083","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$279E9BB5-FD73-4F86-90C1-32F49F2FFFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$22D531A0-392B-4164-868D-0BA0CE15B6FC","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":"Q4647565$5FC203DE-7213-4C0F-B5A0-61303296B62A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e27c92cff11d47cf8b9f183b36700046bdb5529a","datavalue":{"value":"W2129022339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647565$415B007D-AB5A-4001-851E-1B6F07708BA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$C790A032-6EF1-401A-AB83-835B3B26CACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ea79cf49ca1e8040f64397f57e799e6b059a9","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$A74CB861-FFB4-4C3A-AD07-86E6A7165010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$21BA4B6C-06FE-49B7-8F12-55256D92CAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$876BF6A6-6F4E-453D-894F-4565EA417B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dd09744bceacc46524879d1cbd94b42bce5864","datavalue":{"value":{"entity-type":"item","numeric-id":4836019,"id":"Q4836019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$9884F41D-B028-47A8-920B-E236FA721A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$20141049-F27D-459F-8BF2-441DDE2446CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67e2e2d02ae6d35f2a2689bef6339892adf0815","datavalue":{"value":{"entity-type":"item","numeric-id":1260645,"id":"Q1260645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$DBFDD679-9CAB-4B42-ABEA-C263A91CCBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44546e3b7a4c346be33f56e64a5adf0d8ee293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3790597,"id":"Q3790597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647565$E6C6BF05-0CA2-4F10-B13A-29AE1CB05C8F","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":"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":"Q4647565$B9429DC5-FECA-48ED-ABF6-9AB599EF71BD","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":"4376837d7e9c97fa7e2b89e3450a50e7ce5dc155","datavalue":{"value":{"amount":"+0.8031831979751587","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":"Q4647565$2BB7532D-9DB9-41B3-B8A4-B612F48F94F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d65bd0c8ada751a1edcfca9fa68fb3fbd3c77","datavalue":{"value":{"entity-type":"item","numeric-id":5712310,"id":"Q5712310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b495a16d29b7e09aef1688563051ad74a467fed","datavalue":{"value":{"amount":"+0.7936062216758728","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":"Q4647565$4CEC5415-0A58-4502-B6D8-65B49337EE24","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":"05ec3942e0ff38680c8f1b851e41576550c8b3a2","datavalue":{"value":{"amount":"+0.7755836248397827","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":"Q4647565$3E9C7519-6F44-4B58-B5C1-76034F4ECF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9008939d464ba9759b4935bd935b2736a93403fd","datavalue":{"value":{"entity-type":"item","numeric-id":4855339,"id":"Q4855339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea0b98db9c5dd5a6c0ae6f5efa9003a2424cda3","datavalue":{"value":{"amount":"+0.7689273953437805","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":"Q4647565$910DFD8D-1B51-4736-9E10-A34BD120F74D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647565"}}}}}