{"entities":{"Q5241920":{"pageid":7271487,"ns":120,"title":"Item:Q5241920","lastrevid":53584079,"modified":"2026-01-25T09:05:55Z","type":"item","id":"Q5241920","labels":{"en":{"language":"en","value":"The computational content of atomic polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7125820"}},"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":"Q5241920$A5ECF51B-7F9C-4544-BF3A-77FAE88D6547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c715a9e3922b7c3415273b3b068e5e56b511cfb0","datavalue":{"value":{"text":"The computational content of atomic polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241920$ACF69BED-7DF0-45ED-A647-2F710AB32AFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbc98094fd3fc452f4e64012a896b7c7bbf89ded","datavalue":{"value":"1494.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241920$39A29AC1-EC27-4D72-918B-4D4C49A94A81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241920$5F79E45A-BD9A-487C-87DB-7DFE4AFE5345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241920$6D750A8C-B454-4B5C-AF3C-749B4F00E0D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241920$38329DF5-5A54-4C21-A47F-E5D0DF181707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24678e93630473e7eec7097ac94735b33c441507","datavalue":{"value":{"time":"+2019-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241920$E9754248-FCDA-421C-A9BE-DBBEB95280AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3d62dd4e492d80f053e895e81f0b203c4c0ff0e","datavalue":{"value":"http://hdl.handle.net/10400.2/9415","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241920$E1C03078-E799-462D-A68F-3A106781ABAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241920$9C236570-BE12-4F6A-9866-6B41943D3BC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7159181bcdac20f02ccef9faa01baad2c66be6d","datavalue":{"value":"7125820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241920$6D53587D-C68C-4BF4-B00B-F8B2D80D582F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$90695D4B-9634-46C7-8991-186A9497DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323f972534617d6e9487c243571dd40528b24f27","datavalue":{"value":"representable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$0BC3318D-A3D9-4562-B640-EBC9C5B0B539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$F2534DAC-B039-4E47-B3C1-7BC0C668DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$3E27F915-4CF0-46F0-A2A7-CC14B17523FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f92a0a1cd69737ad35f931bbfe48a37b2973a99","datavalue":{"value":"\\(\\beta\\)-equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$C4B9D233-012E-4D67-9AD1-66FE7579664B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17554a604b94fa4cbb80dc07296772eae7435e4f","datavalue":{"value":"extended polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241920$BE435B23-0802-4A61-8258-8C37F7334658","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":"Q5241920$6516C663-629E-4B03-9DFF-2F95F19E7F0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47dce89675696ef22c33186f62dbf5d664e67658","datavalue":{"value":"W2913577730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241920$EEFBDFA1-654B-4B7D-B96B-54D5EE62BDF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"253b1ae4e6c0c0e2900d741a3269588100ef38a7","datavalue":{"value":"10.1093/JIGPAL/JZY076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241920$2BDD4201-5C44-47D1-81FC-066C3B198194","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43eb791b182327836fdf3fc2bd26e67f79d7a160","datavalue":{"value":{"amount":"+0.8057056069374084","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":"Q5241920$39A7DAD4-3B38-46CF-9046-2788C68A3A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef442f081c9fc360f125e03e3ac575e7b4fbe05","datavalue":{"value":{"entity-type":"item","numeric-id":2957669,"id":"Q2957669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2f0f4c85dca5e01adccbbde9af56ce7e8e5693","datavalue":{"value":{"amount":"+0.7480887770652771","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":"Q5241920$DEF63C49-B0F5-4B41-B80F-A18197D359FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72e33cf84810c53f278f27ef54d4498c40c3cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4704766,"id":"Q4704766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a5fd1988b326b809d6462bc578f7201c125be0","datavalue":{"value":{"amount":"+0.7458707690238953","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":"Q5241920$C297D057-8A3A-4770-B19E-28CD7E6A2F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5b95f7aea7854d1638ffbc13b0db36cc6e601c","datavalue":{"value":{"entity-type":"item","numeric-id":2778814,"id":"Q2778814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a5fd1988b326b809d6462bc578f7201c125be0","datavalue":{"value":{"amount":"+0.7458707690238953","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":"Q5241920$168AB6D7-986B-492C-B625-FC957E83F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7631cf3373a8352994c2a05330564a56c04fc3de","datavalue":{"value":{"amount":"+0.7404899597167969","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":"Q5241920$A7595408-0EF8-4B9F-A29E-D33E4E37D40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241920"}}}}}