{"entities":{"Q3520150":{"pageid":5550054,"ns":120,"title":"Item:Q3520150","lastrevid":50428277,"modified":"2026-01-14T01:01:08Z","type":"item","id":"Q3520150","labels":{"en":{"language":"en","value":"Coercions in a polymorphic type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312448"}},"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":"Q3520150$0EBF8F3A-4396-446D-AF70-75613011F10B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332caf1c153dcb27b698d6f98d80d6f485885da6","datavalue":{"value":{"text":"Coercions in a polymorphic type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520150$13907021-9A15-4278-B338-E00A28DB4DD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb92312ad0c1dee72403ce8328ad09b4e124b630","datavalue":{"value":"1153.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520150$07549670-C9F6-46E8-8482-B394AA514160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb89aa8186059d0dbe1a28fdc8e4980e4a245f7","datavalue":{"value":"10.1017/S0960129508006804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520150$915281D3-7730-4C02-BA17-0634FDE4A81A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$6A9194F5-72AD-4278-9CF7-559E186E6C48","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":"Q3520150$BB3F53E0-38D8-420E-99BA-330FF8CA67C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-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":"Q3520150$CF6A4785-06C8-49D9-B13A-FDA603D26109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520150$9E9D9140-5DFF-419F-B14C-B22EA2871C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58e1aa45bf335ba8b4506d7a7b7a2b22b1af489a","datavalue":{"value":"5312448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520150$F3BDAEEC-0ECC-41CE-B352-1669E2D6010D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520150$E9A44936-6D64-4D9C-8D56-44D9B608790A","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":"Q3520150$E6232D7E-68C4-473D-913A-C4685A81B2C8","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":"Q3520150$AB01CC54-1114-4259-898F-A5E2C98F60BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca108e06577dae44ac6d51cf5d326577fc6b756","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$16A747DD-90DA-48F8-8141-3200C374F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$D6F3930E-A42A-4246-88F8-6856991FC59D","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":"Q3520150$4DF41EE2-5C51-4367-9C32-28D92C9CC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5371379ff0e1d14c8d0ac444ae3a4db9e3b4d88","datavalue":{"value":{"entity-type":"item","numeric-id":1776403,"id":"Q1776403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$5D2EE6E5-5CDA-4105-AEBD-5867EC0CBB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bc1b1f9403e20d87198bb25d0434276270b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4507489,"id":"Q4507489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$47F5D7E6-0635-4643-94D0-B74758085436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$9B14C188-2B6F-49CC-939D-DB8EBEE98B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3247948db76f97fed8d70bdc01ad427c970bc38","datavalue":{"value":{"entity-type":"item","numeric-id":5951521,"id":"Q5951521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$DAB27B4C-5E4A-4221-AD80-B737A08ED0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$9729E4C4-31F1-4468-A918-8C5218DEC9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$0BC7A9A5-3C26-4257-82B5-5E132AA82E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$16CE5D52-998E-41B1-9090-FB4C925E60FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520150$5EEC2C1A-3F44-4DC6-B7A0-4C16ACAF5EE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"737b84a50368c053e1ac1036473a067a64678652","datavalue":{"value":"https://doi.org/10.1017/s0960129508006804","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520150$20DB5011-839A-48C9-9F4A-AFC1753AF1DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f409e4cc0651f2ceb4e687cc6bbbcf32d53c411d","datavalue":{"value":"W2135683026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520150$ADFBEE6D-7239-46FC-9FCD-A1DAB8FFCA91","rank":"normal"}],"P1643":[{"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":"1f4cad15de0a29c958bfa2b410861c0b22941e14","datavalue":{"value":{"amount":"+0.9219273924827576","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":"Q3520150$03F5593D-1E74-416E-982C-2E7BE7B941C6","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":"382d253095173c7c8749da426f4e9f0349a1380f","datavalue":{"value":{"amount":"+0.8167182207107544","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":"Q3520150$FBDA686A-4B9F-46FE-8037-ACB40FE73C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29f00b58f9aea69fa2a9f07a80619aca7e08de1","datavalue":{"value":{"entity-type":"item","numeric-id":3216117,"id":"Q3216117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ef50822b13bd803b1466449615b96bc3ba5e44","datavalue":{"value":{"amount":"+0.811808705329895","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":"Q3520150$74714281-21E2-43F8-8E85-2DB1EBCF3D41","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":"6ecc152a9bd53c3ca86258e9e1c040a49528f738","datavalue":{"value":{"amount":"+0.8092793822288513","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":"Q3520150$BA21C261-CEDE-46DC-9F1E-2EAA542C262B","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":"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":"Q3520150$BE1BFE0B-25F6-466F-87B5-56BB107207B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520150"}}}}}