{"entities":{"Q3617429":{"pageid":5647335,"ns":120,"title":"Item:Q3617429","lastrevid":50610410,"modified":"2026-01-14T13:46:00Z","type":"item","id":"Q3617429","labels":{"en":{"language":"en","value":"A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531078"}},"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":"Q3617429$C87DA17F-8034-43C4-A18C-4C5D3AAC8C90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f946ffff7c4ef76789eeb10c28a54254a83972b","datavalue":{"value":{"text":"A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617429$4C6B4C99-481A-4BFE-9D04-44C7567E0B3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62b5bea6c1d2838c36b891c440147abcac3da09b","datavalue":{"value":"1185.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617429$939FA2C7-3B3B-4F7E-A605-C7F52A447B9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7a79cbb9ce66277a93c87d06a7300a137137dfe","datavalue":{"value":"10.1007/978-3-642-00515-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617429$5394B0DA-FD61-4F1C-A0D2-C01C51D5DA38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8549565c9e3b0b712ed201be46052dd6c5636f1","datavalue":{"value":{"entity-type":"item","numeric-id":3591074,"id":"Q3591074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$5263B63B-F609-40B1-BDCC-B9EA8F1333AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7b1b0e1d72b89e90d6a4a65bcbf7689919b325","datavalue":{"value":{"entity-type":"item","numeric-id":845934,"id":"Q845934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$260D7550-544F-4A50-9260-670EFABC8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd4cb8479904681a4194bbbdb537abc2f51d9a","datavalue":{"value":{"entity-type":"item","numeric-id":418184,"id":"Q418184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$A270C818-FF5F-4062-853A-478DB4F14251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$0372F700-C226-41FB-AB01-A9131624BCE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$989F0D95-CA08-4227-BE5F-964F98C90001","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617429$D5FD08AB-636E-4363-B9B3-3AC8B294ECF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617429$AC89243D-A800-41A4-9CC3-A5E05DDA8C76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc1f79d7c28a40ce0d6cda945e9f0dcc001eafc9","datavalue":{"value":"5531078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617429$CB4980C4-73FC-4831-8B0A-D7D8CD6DA123","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":"Q3617429$6B029B14-12EC-416E-830C-DAF535D1758D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7bcd16d9c18104f9c2546a2c2fd8eb08ff17ee1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00515-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617429$F1BB8924-9B1B-420C-9A7C-7317C14B7689","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ccc3c3f54e689eeefcb94b334a62190934e50de","datavalue":{"value":"W2158027862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617429$B740FD27-F3A0-41C9-9324-35CE8DDC2606","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93330c977379fb9c207074d0459620d009b7f6ea","datavalue":{"value":{"entity-type":"item","numeric-id":4413065,"id":"Q4413065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$013C5C1A-1633-4D24-9422-0B5E643CE228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657027be469db18e4d5129ac2351e8c978dd911d","datavalue":{"value":{"entity-type":"item","numeric-id":5957056,"id":"Q5957056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$2FBAF4AE-BF1C-4709-8A59-3F3B54C982D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976e3c11c5fb6d31512ad3760f493341d4e2c098","datavalue":{"value":{"entity-type":"item","numeric-id":2766793,"id":"Q2766793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$2030945B-D52D-41E9-8DF7-EDFCD30D040A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5dbb887bf0ae818f0b745d0d082dabb69d5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3591075,"id":"Q3591075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$8AAFEDDD-40A8-4572-B31E-74575C5E8D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$2E2ECECB-5675-479A-AE11-405ACF40741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$DE9F5B90-6874-497A-9B9E-ED3E3E59DF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$FC34DE9E-9C95-4D3F-AAA2-8F6685269E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$22502500-8BFA-42B0-A86A-00E233089B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$FE84F497-CA58-4DB4-A25E-6A539426924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95485102ee6530ceab9827faad9827664e5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$D319B4D6-ED65-474D-9A88-D3E365B5A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$BD43ECA7-0992-468B-AED8-292C129F1325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$9D741F4B-94AF-4D5E-9510-8A5AC7D2920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519225c3e6e1e3c6b2e658ae8920ef5daedcdde7","datavalue":{"value":{"entity-type":"item","numeric-id":5168926,"id":"Q5168926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$6C8ACB1D-E409-4D46-AF78-6AE051B1EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$F643A9BF-8B45-4AB3-9B9E-215CE9E04609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2d7c6b66083c10f90be58f032ee12f8b3acf6d","datavalue":{"value":{"entity-type":"item","numeric-id":2767033,"id":"Q2767033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617429$9018EB61-1C83-4753-BB66-A445D6E2D0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33f70335574bd3d0fc6c8ddac756540626ab61e","datavalue":{"value":{"entity-type":"item","numeric-id":5348862,"id":"Q5348862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa4b0b7bd979851ab84aaca80b262235fdf2e63","datavalue":{"value":{"amount":"+0.722577691078186","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":"Q3617429$BA3A555D-BC18-4AD7-B0A8-8451615BAF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079150d9d2f78bda3ae431ad670120f8be60c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ecedd4a0188b2cf8f797880168a6859dcaf64b","datavalue":{"value":{"amount":"+0.7161877155303955","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":"Q3617429$7327182A-FC79-4751-A6B5-4ADFC7EEB9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68f761703e0eec59d8cc157bc8b46ff35cbd983","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da30c18632394cf6468a172ead91fd9c75c5682","datavalue":{"value":{"amount":"+0.7143106460571289","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":"Q3617429$89050BF6-F247-4274-A798-4B1C12813E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f2e6451ebce01056d8fa764ed5c182edb8dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3830518,"id":"Q3830518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ed432a551368910fd05623cbd3613f5c6182c5","datavalue":{"value":{"amount":"+0.6954098343849182","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":"Q3617429$70FAC431-0DF3-4CFD-AE18-DF03CD2E01AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0682c5d5040ee5bd747e465e6ccb095337714c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5030188,"id":"Q5030188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4524690e27000205f824bba28fb67d88bbdcad5f","datavalue":{"value":{"amount":"+0.6950998306274414","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":"Q3617429$6E394A55-84A8-4D24-AE05-120ED4307439","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617429"}}}}}