{"entities":{"Q5261534":{"pageid":7291102,"ns":120,"title":"Item:Q5261534","lastrevid":52300790,"modified":"2026-01-21T09:36:03Z","type":"item","id":"Q5261534","labels":{"en":{"language":"en","value":"Focusing on pattern matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455627"}},"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":"Q5261534$D80262D2-6614-4A32-A893-9081CD445A55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f37d8007df0ccdfcb93f94ce7aac2aeed8efedb5","datavalue":{"value":{"text":"Focusing on pattern matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261534$314697F5-F6CD-4C2B-8F90-E8D87FD5A7B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"934739d30bf4de915115674fea84ddf0e93ff2c8","datavalue":{"value":"1315.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$CEEB7D65-D05D-42EF-B0A6-1B927A666E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c80022c2a928e8b5126f868a92b543805d4c8db","datavalue":{"value":"10.1145/1480881.1480927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$22274FD5-672B-4923-B1F4-92C9F129E196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261534$6D88421D-D5C3-44A1-A9FA-F4F7835350EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261534$E8561AFC-65B8-41DB-B85E-5530F5B69FB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261534$3D435D3F-DC94-4093-8548-AD5CCC862093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$8AFB2B27-99D3-4FA7-898C-493BD20BA0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$C501EFBA-E38E-4677-AA5F-0E883CD31F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d1cc579dbacf3bfbde0bad550e5fae82ce5e858","datavalue":{"value":"6455627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$F694E844-C540-4DEA-BFDD-45A2467A46AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261534$A0DB85C6-F721-4093-AFCC-146AC154E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261534$30ECA81B-6EFB-4C87-877F-D6DDC84E5B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261534$4FD3B4C5-81D5-483B-BE67-D6A273D93606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261534$C791D761-5870-4867-B009-5694DC81A308","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":"Q5261534$C9BC55BB-BB2C-4B00-B997-FD6618F44C3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"243add225fd5decaf0cc37973608e70076d9cd13","datavalue":{"value":"https://doi.org/10.1145/1480881.1480927","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261534$AE675197-F74F-453B-AC8B-DBE869430F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7c6db3f1f8715c1dcb1f7bb27a77a54cada28ca","datavalue":{"value":"W2076578036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261534$0C7D206C-4364-4CED-AA9E-8F41CD7A70CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8715019a323fa9f02e0dd62ebe9d5d4f744f64c6","datavalue":{"value":{"entity-type":"item","numeric-id":5204321,"id":"Q5204321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bfdb510ed5f80dae0b7ff4bb0948f721c9991c","datavalue":{"value":{"amount":"+0.7426697015762329","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":"Q5261534$1C507CF8-928E-486B-ACB7-C9B711181A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e746b4fcf175c05f02e247a7dc2899a7f4f2c","datavalue":{"value":{"entity-type":"item","numeric-id":4862794,"id":"Q4862794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1919aa726438722962b8bb40ca8a61d7126ceb2f","datavalue":{"value":{"amount":"+0.7322992086410522","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":"Q5261534$26D97718-8758-4EB9-9100-3E901FF6576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf62a7cf795874bc33ca7edaaeb39b2a4801456","datavalue":{"value":{"entity-type":"item","numeric-id":1853013,"id":"Q1853013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1919aa726438722962b8bb40ca8a61d7126ceb2f","datavalue":{"value":{"amount":"+0.7322992086410522","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":"Q5261534$4F1F542A-7AC1-49BF-8615-4A863CEF345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c79d1e84983a4fe7f72515f517237482ac4d579","datavalue":{"value":{"entity-type":"item","numeric-id":2817690,"id":"Q2817690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f411f9ea799c5c0b70fc1f37cb817717264b403c","datavalue":{"value":{"amount":"+0.7316547632217407","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":"Q5261534$D58BFD7F-EAB8-4695-9169-F7F07E9CD1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06b84330c1b912dbb9ad0b61b5b4abb72b73284","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec09999d632887b2d2696321e54846617469480","datavalue":{"value":{"amount":"+0.7306230664253235","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":"Q5261534$D0E2F501-9886-43CA-B544-B9EDACE5CB17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261534"}}}}}