{"entities":{"Q4916559":{"pageid":6946140,"ns":120,"title":"Item:Q4916559","lastrevid":41065202,"modified":"2025-04-18T02:20:42Z","type":"item","id":"Q4916559","labels":{"en":{"language":"en","value":"Atomic polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156715"}},"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":"Q4916559$B8DF13F6-AAB2-4C00-B146-FF6207ED3F21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faceea09a5bbecd2d19bae8d8b95d720f6ea7d29","datavalue":{"value":{"text":"Atomic polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916559$0A450B11-7D4D-48D0-B509-91F6A36E07DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a439e36ed968fa8383527d842e344aac19cbb18b","datavalue":{"value":"1279.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$15F1E542-9179-45B0-8A33-DCEA6B3603ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$F004EF81-D1CB-47C2-A14A-E0547A28F5AE","rank":"normal"},{"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":"Q4916559$D3074EB5-97D9-418A-925A-49F56F5146A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb99f3d60bcebf100e17c9d7a1740ddda353a41b","datavalue":{"value":{"time":"+2013-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916559$37C8C623-94BE-4F45-BF5C-E4E19D8811C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb0d9f0e8b85177dc6d45494f916d05e0ad20bfd","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1358951113","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916559$553E21AB-DAB5-4FCC-B5E7-FB73E944AEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ecd33d0e149ecd0979c7f96d707d5e452a2b19e","datavalue":{"value":"http://hdl.handle.net/10400.2/9417","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916559$E71DB7D4-94C9-42C7-857F-07B4B2406802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$D5FCC6F1-7D1A-46C4-B35E-A106D8B04685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$1B0E25CC-9F7A-4DFB-81D6-E957D0BC755A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff61e67d05456d3ec156dfb82cf5e07b121f0757","datavalue":{"value":"6156715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$B6DFB0FF-A61D-462A-988B-413A544B122A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916559$983ACF2D-3D36-4B24-913B-680F909B0412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916559$D54FDF06-0E6A-4742-8ABF-275BD20CF706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916559$E4777E51-E2E1-4C09-8D17-27B311598838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba4e33f0037aea067ab4c0a25168dfb3ae49337","datavalue":{"value":"second-order \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916559$73D67950-718F-413E-9362-A5C797DE72E9","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":"Q4916559$9E3E8A9E-6E2B-4248-8803-D69EF96B5B7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2591391ea928f06db5e400fa49d4760ac663b2c","datavalue":{"value":"W4214703049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$08C9B9C7-6236-4681-BCFA-E5E42E0E76C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"716e4d3b48a04539d2a9f1c959b61f267f231ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1037589,"id":"Q1037589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$85959168-DA42-466D-BE47-D869E34D1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513f315cfe6bdd77e3804c44de31b1ef541afd0e","datavalue":{"value":{"entity-type":"item","numeric-id":958481,"id":"Q958481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$5A489A50-02D6-45AF-8AC1-F5060AF0B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2c283ecaaa5d345904a687c7a7b5c0128d9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5623646,"id":"Q5623646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$0333EEA9-1AD1-40FC-A1EC-CC97AB1FCC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$1248A794-ACEC-4A9D-9F4A-EEA4285BC4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$67F01E0C-4C2A-419B-BF2D-FC86B30D92DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$CC70BE71-7EB3-4B10-9581-F09A1A1EE430","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ea7661f43f1d824e2574d34b3fd4a8b438b575a","datavalue":{"value":"10.2178/JSL.7801180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916559$05EAC487-4541-41F6-B0A8-52E702EF2506","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5875ac2c5466f67d2f3ce4d63598efb6842c6522","datavalue":{"value":{"entity-type":"item","numeric-id":1799037,"id":"Q1799037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556dbbc061821ec99fab59a2a3307a9aab61b36d","datavalue":{"value":{"amount":"+0.9108047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$BEC2D6B4-73F0-4159-9364-FF29A868F359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc349519d9f106b543a4b8e79bf51ec4feb127f","datavalue":{"value":{"entity-type":"item","numeric-id":5241920,"id":"Q5241920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14e6761970027c8c68b9dd888c855ee3a76fdfd","datavalue":{"value":{"amount":"+0.90416116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$6F62490B-5FC9-4F89-A53E-4A96BFE13BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7795838457f6bfd7aee37a311c829cb505538df6","datavalue":{"value":{"entity-type":"item","numeric-id":5101355,"id":"Q5101355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd901d952278d4203f4cd0edb91749c35664cb","datavalue":{"value":{"amount":"+0.85049003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$75DD43A8-AAC0-45FF-924F-4CEA49CA35EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2da25202cf31d51bf3b5ead736f10c3ab5e6620","datavalue":{"value":{"entity-type":"item","numeric-id":5858127,"id":"Q5858127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0475e8dad14a19b682d0e989d11180984704281","datavalue":{"value":{"amount":"+0.82590175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$9BCEE271-8647-4376-87A0-8483322A84C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1347bf86005349b453e6179540bf19c1a6abf1e8","datavalue":{"value":{"entity-type":"item","numeric-id":6116310,"id":"Q6116310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b134b0b8ea005da12c517c6aa48596fdd466b1e3","datavalue":{"value":{"amount":"+0.8171576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$3038DADD-F9B7-4763-8098-CADBB34347A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b86a3f2b2a52cedde7cb82b85d04da644a7d78","datavalue":{"value":{"entity-type":"item","numeric-id":1273333,"id":"Q1273333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b3fc24658edd98b0761003df65ee7a0512c790","datavalue":{"value":{"amount":"+0.81545967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$83912D32-232B-4DB8-8FA4-AB2C269AEF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638f95fc9611252fa9854030682428233123a026","datavalue":{"value":{"entity-type":"item","numeric-id":3972672,"id":"Q3972672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7c88c41ef92d6806bb54ad6982cfa50400230c","datavalue":{"value":{"amount":"+0.8101398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$9C1A97F7-8DBD-472C-8F2A-5C3216423472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5629acbc32cad2792a6b808217644423f8de4479","datavalue":{"value":{"entity-type":"item","numeric-id":1111361,"id":"Q1111361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4566145df5f1b39c35b4f68e943043e61e213f","datavalue":{"value":{"amount":"+0.80860317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$9D48501A-311F-4217-9C7D-29D2873F0DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3905be6632933e0f4bcd86bf10d4650f0a9ef2b6","datavalue":{"value":{"entity-type":"item","numeric-id":2747107,"id":"Q2747107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0e45ae68330902a538ae22ddf916e4301cef82","datavalue":{"value":{"amount":"+0.80653375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$281F8C61-F6CA-47EE-99D4-FFF2649A6B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95db435c2ddaf968ba0cc6fb2a8b34e8c0d0e75e","datavalue":{"value":{"entity-type":"item","numeric-id":3197886,"id":"Q3197886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3380762076bb16143189994a15d4bbf7c85dcb9e","datavalue":{"value":{"amount":"+0.80642986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4916559$91D9DDE2-1B9C-463E-BD51-E33A59E5B4AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916559$EE1D0476-CAF0-403D-8850-4DEFAB2C0446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916559"}}}}}