{"entities":{"Q5408579":{"pageid":7438153,"ns":120,"title":"Item:Q5408579","lastrevid":51972599,"modified":"2026-01-20T16:11:42Z","type":"item","id":"Q5408579","labels":{"en":{"language":"en","value":"Verifying higher-order functional programs with pattern-matching algebraic data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282636"}},"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":"Q5408579$A3E8D3A0-8374-4526-9A04-134E662819EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f24508be102b4165b0350e04929b6c2483bde34a","datavalue":{"value":{"text":"Verifying higher-order functional programs with pattern-matching algebraic data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408579$B0247368-A7FF-45AC-89B0-C71E6FB7E7A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7831184f8760cf163d20e50305e24aa9c178f880","datavalue":{"value":"1284.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$30264E90-2198-4F06-9ECE-41E7D0C9B1A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d9bdc5869527592a73861add23aa94a8343e100","datavalue":{"value":"10.1145/1926385.1926453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$F7930A35-3166-4B0B-9982-549E6F5BB01D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"846e42a3e67aa4382b5e65a05a3ef7c4dc047460","datavalue":{"value":{"entity-type":"item","numeric-id":5168914,"id":"Q5168914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408579$3FAF68F5-E544-41B6-B2AA-791C6A8EEE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"671200b99d1f4c8388ee4d2be3fadbb455d7591c","datavalue":{"value":{"entity-type":"item","numeric-id":2396720,"id":"Q2396720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408579$FE06B577-2278-4038-84A0-5E0986D6BBB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408579$30758414-FBD5-4A87-BE15-D59C8D401B65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408579$66ABA820-03A7-472C-AAB6-88BC17336CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$63A3CD09-D11F-4B17-B3B9-608261370110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$B7894083-6C9D-4402-B272-FB772928E534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09a2c1e22a19005b63d0a23cf4c09c2c7330eb03","datavalue":{"value":"6282636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$897D655A-00CD-4087-B4EF-B9DFD49E34AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408579$4C2EFC3A-2343-40B5-A3B6-A7B5C08EDD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408579$3FF1AF2B-74DF-455F-B305-BE1E691B64A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408579$30296108-5A85-4F0D-9837-8CB6CB74DD70","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":"Q5408579$B3F3FDA1-D32A-4111-9082-3EC5C50D90CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48d4c5ed49f0f974bbe6c4a9b50ddc651cacda82","datavalue":{"value":"https://doi.org/10.1145/1926385.1926453","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408579$EE9ABCFC-A16B-46AD-8735-7AF2A099246A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"699e6a133611b7e23d4e388ae487b8e56ad6320f","datavalue":{"value":"W4252251463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408579$00BF8215-F53A-4911-971C-E2E9EEB23D1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e118cc277764627a6a4793b6eb400e439663730d","datavalue":{"value":{"amount":"+0.842593252658844","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":"Q5408579$195EE88F-97FD-4334-9BB1-988523670F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4775dc39685eb426eb0ab49ed0e31b9d41a005ed","datavalue":{"value":{"amount":"+0.8147810697555542","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":"Q5408579$2C6A47B2-C5CC-443F-90AE-592FEA5274C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487f8c86f5a5f9188677aaa27c7b93e3da56855c","datavalue":{"value":{"entity-type":"item","numeric-id":5740641,"id":"Q5740641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8317b23c2131eeea68d16510009c8adeff12a9","datavalue":{"value":{"amount":"+0.8005474805831909","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":"Q5408579$7F9EA388-057C-4B30-8428-A1BD6D75C558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727f55e516c09fc3a31ad4e9fd4e3bc0a017849a","datavalue":{"value":{"amount":"+0.778205931186676","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":"Q5408579$D2064D3D-8AEE-488E-A719-C1919E0F5EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9730363bc03c91cdc203d04c63c15559d8c968c","datavalue":{"value":{"entity-type":"item","numeric-id":3459423,"id":"Q3459423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66360f29687ffab8161340f2b5126c90c9745a6","datavalue":{"value":{"amount":"+0.7713813185691833","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":"Q5408579$2E55568E-6C5E-43ED-8E99-0B26EDA24990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408579"}}}}}