{"entities":{"Q276263":{"pageid":278030,"ns":120,"title":"Item:Q276263","lastrevid":60717567,"modified":"2026-04-10T18:42:32Z","type":"item","id":"Q276263","labels":{"en":{"language":"en","value":"The role of polymorphism in the characterisation of complexity by soft types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576634"}},"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":"Q276263$8AEA9A11-64C0-4847-BC6B-102BFCE9EF17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4c4ece660f87c12c52f0b3d823dbc918940b0b1","datavalue":{"value":{"text":"The role of polymorphism in the characterisation of complexity by soft types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276263$C6B50FC7-3A83-4BF5-898D-0D65121A6637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82c442d48966d7f8359dfdb24ce587b9d8e977a3","datavalue":{"value":"1339.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$7B6AD76A-FF0D-432C-BF8E-FA58D2A82EB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$A095265B-9607-4698-8409-00F40B03D007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$0800EEC5-97A5-486D-B53C-2B7D304F4223","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$54F202FE-1CF5-4D1C-B4CC-632830F29E1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-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":"Q276263$0DA0CA14-D206-4C98-B5FE-6F8A49C8C05F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$72AB2935-DE4E-4032-9C02-DA7584BDD6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$BB27BA38-9C4D-494C-AA3F-0DA30ADD45AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$85162398-6ADF-40AA-B45F-8AD213E1B814","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d4a9345ec1e283d3d8d743f827399c8a7f4cd8e","datavalue":{"value":"6576634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$35843A11-81D0-4C2D-8BC9-38E21CA6ECBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q276263$6DE9A979-017E-4633-8BD1-D927311AC48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q276263$807FC22C-5008-4CD0-90AD-489507701A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q276263$3381050A-FA5F-4399-828E-46B759908738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q276263$E0BA533E-60EE-41F1-9362-B5E71E395EE1","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":"Q276263$88A608F8-7577-4DE0-963E-BEE4DFBB811A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"256b6d6e9591c38c0e2617c02bf574cb4be5fd39","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.12.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q276263$AA9CBF2A-0974-4762-A9BE-A3EB17C8AEDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03179e7d342249910fd03942fa67a19ccdf0c4e2","datavalue":{"value":"W2230975172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$5D84A9E8-A682-41CA-B9F0-AC34AB55DB85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9200967c0da1580bcfe64dcd4424710a63bb0874","datavalue":{"value":{"entity-type":"item","numeric-id":5453503,"id":"Q5453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$8026AD1F-1AD4-4347-AC82-7A7E038C353E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17bbfaa653e0f10022c86299ae4c20d011930f6","datavalue":{"value":{"entity-type":"item","numeric-id":3088041,"id":"Q3088041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$A65D2722-A648-420F-9505-E787CC785BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11051e339633dbe96d66b5269ec6f3812d939260","datavalue":{"value":{"entity-type":"item","numeric-id":5897362,"id":"Q5897362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$D95966B4-F181-4604-A1F0-D26D31A498B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4aaba4dcdcd7b3e225c2c4a52ec30b4cd373af","datavalue":{"value":{"entity-type":"item","numeric-id":5482265,"id":"Q5482265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$7800DB7B-4846-46DE-86FC-B8FCA4040496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0123b9b312c03f832a160299ff6f74cdd3271b1","datavalue":{"value":{"entity-type":"item","numeric-id":3189832,"id":"Q3189832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$B1A42AE2-A084-4003-8AB0-247DF112B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dab021e61228d9c326d55256f3b8f476ab55f","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$D3F8EB36-CDEB-4ED5-8B13-261C159615BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4947222cdac18aa4cf5a0b7a7b538d820cf058a9","datavalue":{"value":{"entity-type":"item","numeric-id":3608417,"id":"Q3608417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$9A133E75-CBEC-4E6F-8105-E27824B1A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98203a8200b158216ebf8022269800b7472cba50","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$C4C40F00-F10E-45D4-BDC0-3F4F11D80812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$AA58EB2C-4216-489E-B4C1-701BEFF783E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3886086f660dbda3acc5f15fa739af2112c593b8","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$938A42DD-40E1-4DCD-84FB-CEF1FD27017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b45f388842b51b5a2da088b450fd6a6bbb068d","datavalue":{"value":{"entity-type":"item","numeric-id":4843270,"id":"Q4843270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$C89A2941-5791-4DA1-8047-1761A4751370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9018b8dde4d7aab80b00d69a59b94f16c384b","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$68E919AB-6AAC-40DF-80F9-3C220D7705F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$EDFAD76D-920F-4623-89E5-D5BABB73C8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f0e684eee8dd3b64bd2e5e050579a4388e50e7","datavalue":{"value":{"entity-type":"item","numeric-id":4281479,"id":"Q4281479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$193D1EC7-FA38-4296-B5BD-ED345D9D8CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$A71897AA-31C8-46D5-96A7-03F0F37A3A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152c41dcba6e9bafd25dd7bd047d4cddb2c3b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":5897348,"id":"Q5897348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$04ADA363-71B0-4219-9EF1-CCF37C351AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$2BA54A79-7CCB-4962-94F6-1E5181F5AE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743af91cf36d879b2d4b37c8889262695059055b","datavalue":{"value":{"entity-type":"item","numeric-id":2778836,"id":"Q2778836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$B24B8EDF-5695-468B-955A-CC8A1C828E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$457CFAD4-43BB-4402-946F-2976C7E37AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$DE68F1BE-2CD6-4399-853C-FA1A56F775CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$82552508-B3CD-4721-A241-E54E17DF69E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87dcd84fc9bc0b1c73e122bf1aa6e8d2d050a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4263158,"id":"Q4263158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276263$7F8F3398-6533-4B63-BE41-145B2C4D32BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70e30ae02aef1a212bae10c62d3277f9d9e1f12","datavalue":{"value":"10.1016/J.IC.2015.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276263$90C81681-36F1-4AE7-85EA-7CC47DE54224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb548b944be8e3733566bba2943bec6b7aabb12e","datavalue":{"value":{"entity-type":"item","numeric-id":3088041,"id":"Q3088041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5e762f5cb6c882050333b1ffa61d612286140d","datavalue":{"value":{"amount":"+0.9909638166427612","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":"Q276263$ECFF89D2-E099-44EE-B9F7-CD7982E900AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83236883cf0d0ae66f75cfdd07db76567d701ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3638250,"id":"Q3638250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd887da123fef501a78ce527ec23aea57ee3c61","datavalue":{"value":{"amount":"+0.7722604870796204","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":"Q276263$70B6241D-CD29-429B-8B1D-3048B106C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47255c39c2b098453b7d5d066e398b9e73a8f9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3608417,"id":"Q3608417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17682fd7fba950bb3d7876f9e05d8176dff1d6aa","datavalue":{"value":{"amount":"+0.7436369061470032","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":"Q276263$D6376915-EB71-4885-B7D8-66B126648C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b7c6deec5c3bcc9737008ddf5246d3702be0e7","datavalue":{"value":{"amount":"+0.7348458766937256","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":"Q276263$4C8A9255-18B8-45F9-A1B9-8603E949F685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc6a0abd5d7665f021371437496de23b87cef3c","datavalue":{"value":{"entity-type":"item","numeric-id":4649547,"id":"Q4649547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84044c0c924369008792305eaf64fa60c29d73a","datavalue":{"value":{"amount":"+0.7100716829299927","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":"Q276263$42ECB71D-0ACD-45D7-8234-493C00A4D23E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The role of polymorphism in the characterisation of complexity by soft types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_role_of_polymorphism_in_the_characterisation_of_complexity_by_soft_types"}}}}}