{"entities":{"Q2464940":{"pageid":2475683,"ns":120,"title":"Item:Q2464940","lastrevid":73453179,"modified":"2026-04-14T16:03:07Z","type":"item","id":"Q2464940","labels":{"en":{"language":"en","value":"Domain-theoretical models of parametric polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221241"}},"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":"Q2464940$A364939E-7F1D-451C-9465-65C08A6CBC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"496e15509fd0d5264188808893a832d0eaafb8ab","datavalue":{"value":{"text":"Domain-theoretical models of parametric polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464940$F45B29D3-4B7C-4EAD-8105-8B6F45131C54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce25e2451ae8297fdb2ed1da1b276e4399c4386","datavalue":{"value":"1138.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$D99C0159-70BB-4468-9BD6-66D19E817C86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$5E8B423F-98E3-4B21-B3C9-9F4582613BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f318053c344ddb9fb0e2eaab56a07f65ebdf1c2f","datavalue":{"value":{"entity-type":"item","numeric-id":288813,"id":"Q288813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$67C2A911-19B9-4472-8573-2A7FC0B6C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$B26C43DD-52E3-4A02-8E9E-AF51FA5CB994","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$3587A6C2-4275-4243-81E4-C3CFBF24910D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b39a0a73d18fba485401f5f29aad40c079dd6a82","datavalue":{"value":{"time":"+2007-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464940$036C1B2F-F8D3-44E3-801F-EA1277048800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$91AEA7F0-91A5-473A-BECE-8812561E3BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$0C1DF327-CBE5-4B17-977B-3C5D7FBCED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$39CED3C5-113C-4E47-AD28-D3CE0630FC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$1F0689F4-660B-45C5-8A41-814E68ED7CC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bcf612f8886b2d498faf6529f3a0ff5cbc9f072","datavalue":{"value":"5221241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$33196D00-59CA-477F-9952-A0F830333979","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464940$759D8916-1956-45F3-B1D6-1141B6C4B802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464940$A7227CE3-BC97-4AC4-8474-584A5D11AC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca2b5c737ee56fd946f97692aa845e7fcee555d","datavalue":{"value":"realizability models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464940$76D02CBA-ABC1-4A9D-A827-781DAE8954CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9770abf3f95901105fdacc2bfa5c9b0cf665234","datavalue":{"value":"recursive domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464940$7BA6C092-D3DC-4A21-837E-FF562431E6DB","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":"Q2464940$517F8DA7-4164-4C69-AB67-5B12217CCFA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abb8c14abbc8dedca7829aaad529375c9791e4a8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.06.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464940$0ACAC0F2-58E4-4DC0-8583-BB8DB424867F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6846fd04a1476cd0b2624d5d0fa5fa9758096fb7","datavalue":{"value":"W2164798377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$B4A26956-01EB-4AD0-BA0E-D77A2244ED89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$CC39E9B8-A100-43E8-86A1-8FE7E686033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$8385769F-E95D-4368-B81A-E63541232950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dd947d2cd3406080a0c1bde67fc5e828ea2214","datavalue":{"value":{"entity-type":"item","numeric-id":4921510,"id":"Q4921510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$BED555B3-7548-4C2F-BC7E-55B9DC56C46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232aae59b50267d4a9aefe303e26c6f030aae386","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$6E29B547-40B6-4536-BF22-6581F125C717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9e8713562da92a5db76020e33b20e5170d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5310673,"id":"Q5310673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$4B3AB03F-4ACD-4265-BCF3-70463B4190F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df869e5394fde7636848856501b8fe6947f7a67","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$DF7367AF-98A3-4719-A6E5-2AA078E244A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$1B252B17-F468-47CC-BC3C-625907EA6E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b43e9ff1657ee77a36bffda09ff25df8b0b49fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4263871,"id":"Q4263871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$8B51CDC7-80C9-4B0F-A0EF-E44F6F0AF2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b615058ed1e151b3bf3d76d6cbfd1237be4d","datavalue":{"value":{"entity-type":"item","numeric-id":749648,"id":"Q749648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$F91E172C-0693-4345-8CB0-CD5FEEF31DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$6F3A60D8-6DEE-4C8B-B499-537F620B2144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$7AD242BE-4B34-468C-B94E-AB36DD7D3A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce92c481582263d6eb421db36b7cdc6499db959e","datavalue":{"value":{"entity-type":"item","numeric-id":3591407,"id":"Q3591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$F60EB7AF-DB2D-4001-9163-CB027D6355C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$EE394583-72F0-4626-868A-C98030EED761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$ADC2FB1E-E7DE-4073-95D5-1D0EAD2F8EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$AD77DF33-16F2-4705-A49F-B59EB4F720D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464940$A843BE7C-4CB6-4CC7-8B13-9955223BB8FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88618cc59febf15ba49e9dcf475de3af6b0dac46","datavalue":{"value":"10.1016/J.TCS.2007.06.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464940$50E6E1F7-A200-4007-9887-21427B4DBD6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdc7d157831fb560c9dfb165b6fa904fea4f97b","datavalue":{"value":{"entity-type":"item","numeric-id":2852350,"id":"Q2852350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1d783a23b6836bbfd37482ba4786e3c7d884e4","datavalue":{"value":{"amount":"+0.8702123761177063","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":"Q2464940$8429E831-0AEC-47FA-A8FE-CC543FC42457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c58cabd5e0278d90399dfae0be9fde7349b682a","datavalue":{"value":{"entity-type":"item","numeric-id":3591407,"id":"Q3591407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a102bda500b7a290339ec86e1f6fb545dcabc0","datavalue":{"value":{"amount":"+0.8435183167457581","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":"Q2464940$5D73993B-0F8F-4715-9B73-FE95511A58A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5d6f6ff464e5ee291eacd4fd88ba918b4fb28f","datavalue":{"value":{"amount":"+0.8224009871482849","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":"Q2464940$CB1D800A-EF98-4C97-BD3F-CCD7B737FB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7f6244a7ece078468682ec0545ec42ac0c72ff","datavalue":{"value":{"entity-type":"item","numeric-id":3395309,"id":"Q3395309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94004b8d40a25e8b63a1c9336032e77691218af9","datavalue":{"value":{"amount":"+0.8206299543380737","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":"Q2464940$644A4A4F-B834-4DF2-9342-6CB55450B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fbb9be1592b07b7213b5c8e95c87d09d6c5d166","datavalue":{"value":{"entity-type":"item","numeric-id":5458501,"id":"Q5458501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd027ed973aa9a1bd5b3b1ee52cabf07e75efd2","datavalue":{"value":{"amount":"+0.8190210461616516","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":"Q2464940$0094AFEF-4A61-41CA-B0E5-7C671AB5F1FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain-theoretical models of parametric polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domain-theoretical_models_of_parametric_polymorphism"}}}}}