{"entities":{"Q5055714":{"pageid":7085291,"ns":120,"title":"Item:Q5055714","lastrevid":91919552,"modified":"2026-06-05T00:24:32Z","type":"item","id":"Q5055714","labels":{"en":{"language":"en","value":"Narrowing and unification in functional programming \u2014An evaluation mechanism for absolute set abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631110"}},"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":"Q5055714$418A36CA-5FD3-4DD7-8775-D18D11993C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe44d0fb073e64f92ef19cbaa2d62193ea579df7","datavalue":{"value":{"text":"Narrowing and unification in functional programming \u2014An evaluation mechanism for absolute set abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055714$E3665459-234E-4E19-8079-CE2E8FF38BC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ffd7ff709cf3dedeaabeb9cd81b746d65b713d","datavalue":{"value":"1503.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$8F558A7A-0F78-41C9-89AE-697B4548BC67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e5dc54c137626b592cdbed2b0dfedd1537de2d2","datavalue":{"value":"10.1007/3-540-51081-8_102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$E0CE5C5E-3B81-44C6-9D2A-09035D8E9F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b6d8b91c0486acd332fd85908a73e638deb9665","datavalue":{"value":{"entity-type":"item","numeric-id":451229,"id":"Q451229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$6A71CCA4-AFD8-41B1-9300-4F4F4761E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff4d8bce5c8e1ba021e614fecf6b0e4ba061ce5","datavalue":{"value":{"entity-type":"item","numeric-id":1610886,"id":"Q1610886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$6C1CB15D-92E2-42B0-8394-A5E79F66CA05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$0E00FB9B-B5D7-4184-92E5-148B173B14E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055714$F17F0D82-1F5B-4D40-A036-E5C7C1BF5EDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$F55A91D1-E908-4B51-92F6-8D4C95162DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$18906CC9-D875-430C-A8E7-9C38C921A098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$4779E032-700A-456F-88AB-41D19F9B2732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"128d0bf0a790d287edb23ba8afcd2bf5d4df1b9d","datavalue":{"value":"7631110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$2096F522-FE8F-4010-80EE-746095416D4C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$11FE20D7-DD27-4D74-9302-AD4952F388C7","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":"Q5055714$61C876DB-EAF6-4B81-89AE-154EA077AD99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d794204088b0259ffac259d0562e450ec9524b81","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_102","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055714$DB9E941A-4058-41AF-956E-49EAFB1A09F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"936069c60bfa4b4027a62e4481fc155a270d363f","datavalue":{"value":"W1607723267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055714$8E459B6C-AFBE-4A97-AA0B-74F1F18E67A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5c649d6997030aa2756de294a13f22a936e3","datavalue":{"value":{"entity-type":"item","numeric-id":3735058,"id":"Q3735058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$76D384F9-85C1-4B93-90BE-C6F6133EF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$EE8F3391-FA7C-42D3-AC7E-0ABDA83751F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9948cde9cb912873d313b070e72a3e8980e0949d","datavalue":{"value":{"entity-type":"item","numeric-id":3210187,"id":"Q3210187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$FF981144-1089-4943-953D-225408F8B043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23df910612dba98559b3e17ba2e83a8226cc710","datavalue":{"value":{"entity-type":"item","numeric-id":5055714,"id":"Q5055714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$159244D8-8233-435A-BCC1-C469A7D1CC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9dd8b0c202e3af0aa1988754c4c1cb192e7d497","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$601B54F1-858F-4376-AE4A-014CDA92D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$257D011F-587B-453E-B431-CB1BD2A1613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fc3ac50cdc68701590cf5e25ba53d4476472d8","datavalue":{"value":{"entity-type":"item","numeric-id":2638759,"id":"Q2638759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$35BDD37C-AA06-4678-AB2A-A18FC6D56530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055714$17C55EB5-E35D-4F00-9F29-AFBD68FE2B0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e05334a5df87929eeaa7fc018ecef162919eba","datavalue":{"value":{"entity-type":"item","numeric-id":2456576,"id":"Q2456576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9ee4723adce39bcc37b28f837e4e2448aeef49","datavalue":{"value":{"amount":"+0.7974136471748352","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":"Q5055714$B85D6633-A874-4AEE-972D-E2BB0FDE6765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b529837ffed6132cfeb4b960528b16b0692551","datavalue":{"value":{"entity-type":"item","numeric-id":2841220,"id":"Q2841220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a3533d3f351c853338f943acf52695a2b2ffed","datavalue":{"value":{"amount":"+0.782194972038269","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":"Q5055714$52C97442-7678-460A-8A83-C7D9273A0ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e126cd91077f77f074c872416e9b6817a95fe018","datavalue":{"value":{"entity-type":"item","numeric-id":3028319,"id":"Q3028319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9614f726069d2110ec7eebb13fc0aa29da3b5c4f","datavalue":{"value":{"amount":"+0.7752240896224976","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":"Q5055714$9A2C2CC0-8443-47F6-B007-5629ABAB0644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef76f486fae4816d06e676520596dc33ed8cac","datavalue":{"value":{"entity-type":"item","numeric-id":2726287,"id":"Q2726287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d457c42a9a244d71c9d4639cf36485c99bd334","datavalue":{"value":{"amount":"+0.773777961730957","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":"Q5055714$DEA6903F-C6C0-416C-A20A-F6DF305B0522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c986ca4db0e9c44f7daf0ae683859ac438f0e707","datavalue":{"value":{"amount":"+0.7701275944709778","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":"Q5055714$44CDCB28-D4E4-417D-8B79-67470E0081D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Narrowing and unification in functional programming \u2014An evaluation mechanism for absolute set abstraction","badges":[]}}}}}