{"entities":{"Q3070573":{"pageid":3081289,"ns":120,"title":"Item:Q3070573","lastrevid":85654184,"modified":"2026-06-03T10:43:11Z","type":"item","id":"Q3070573","labels":{"en":{"language":"en","value":"Computability via the lambda calculus with patterns"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844481"}},"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":"Q3070573$D5896D3E-76E1-4B1B-9A44-9C04D76D5631","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6d6d6ee7562245b427c7624fc76684f656990d5","datavalue":{"value":{"text":"Computability Via The Lambda Calculus with Patterns","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3070573$CAAF5F77-4715-4C96-993B-7216FD5AF37A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be50c5b342885cb72f2ff6f438df12c700b1775","datavalue":{"value":"1219.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$F6398D85-EF99-4C97-B094-B355A37F5914","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce2aedc54d8b4449d4695293b25986f78eaac2d2","datavalue":{"value":{"entity-type":"item","numeric-id":3070572,"id":"Q3070572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070573$5DC5FDA5-D3EC-404A-9EE8-961F7DB40AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff92353fb34e95f211754f35aa330860b987a356","datavalue":{"value":{"entity-type":"item","numeric-id":740208,"id":"Q740208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070573$A2D32A8F-F300-425F-AB75-1003A89C31CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9a884fa2d80273a4a078f72a8e177890f3925","datavalue":{"value":{"entity-type":"item","numeric-id":3025158,"id":"Q3025158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070573$E553FD71-6F60-47F7-8BF6-98AD151CE27A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c865e29f83d41eab21a83cdcc307154a7587e80","datavalue":{"value":{"entity-type":"item","numeric-id":2862578,"id":"Q2862578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070573$764E31CD-6E29-496D-BD4F-26E67D79E826","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00e3a9eccfe5d0e74245ac3c66cd13d7e27c78b","datavalue":{"value":{"time":"+2011-02-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":"Q3070573$B472CDC3-0DBD-4FF8-97AC-B8874986071C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd14449a7402efbe0f588ca24dc06b558892273d","datavalue":{"value":"http://www.ccsenet.org/journal/index.php/jmr/article/view/5797","type":"string"},"datatype":"url"},"type":"statement","id":"Q3070573$BFEC2528-84D6-4EDE-902C-759CE288A8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$FD82B4ED-A5C7-4230-A850-F0F2FE82040E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$C4022501-D45D-497E-94F5-909757D61034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20a59e5929be95e0f0a2cdfdc580b86b0414fec","datavalue":{"value":"5844481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$0F3B5B1A-D29F-4529-B1A2-B8C8A1EF4CAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070573$BDF8FAA6-B405-446B-AFCC-6D1AB1A213B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faaf3dca65c1f12ba2c05b64cda68b0b08c05cfb","datavalue":{"value":"lambda calculus with patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070573$984AFF46-1CC7-48E7-ABB5-BE10B9F9D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070573$FFD749AD-FBF0-4D28-8BD1-D40D6CDB9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5709a732d6a102c9a6ad078bdecdbcf9ef29cdc0","datavalue":{"value":"computability relative to a structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070573$CA3735E8-DB8B-4F39-8EFC-BBE7937570A0","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":"Q3070573$160B641F-A578-423E-BA9A-5F4A8C3E87DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fe173f0110f87d9f3e2ae4e53a535146a1d3b55","datavalue":{"value":"W2011070286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$02B535FF-D33F-4F63-892A-0F78034E5F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7979e5c984bd30ec595b1a07d6ba55b8ba18afd","datavalue":{"value":"10.5539/JMR.V2N4P157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070573$C6AB322C-7DBC-40CB-8EDA-EF3EFD29F47C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43b2971e0f053af8f4332ae40481fcc15a3421","datavalue":{"value":{"entity-type":"item","numeric-id":3025159,"id":"Q3025159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1004855732e200234ddf28a754e3af124f9a9a9","datavalue":{"value":{"amount":"+0.814066469669342","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":"Q3070573$9F50BC41-9447-4A0A-90B4-73D19718EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48cf5138ed6d167d90e9a1bad25e4a636e33e997","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d487d79325041b638fcbdda107942fef035717","datavalue":{"value":{"amount":"+0.7903003692626953","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":"Q3070573$6EAD550B-1432-4E9A-9462-5BB1D32D5CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f392ba7f408c18e111d21d18ff42ac3bbd0e643d","datavalue":{"value":{"amount":"+0.7576475739479065","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":"Q3070573$88F389CD-5914-4E87-8CF8-71724C076192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cef00ab402d08dddb62c3a35af819891aea713b","datavalue":{"value":{"amount":"+0.7425801157951355","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":"Q3070573$CCBBA7FD-8547-45E2-8552-3933243FFA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edeef39e2e6b0a098b482604d0dcdd7e2ff4523","datavalue":{"value":{"entity-type":"item","numeric-id":3599178,"id":"Q3599178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cc87195cf1d473cc9ec5b9d59d60a1ae4e3332","datavalue":{"value":{"amount":"+0.7284833788871765","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":"Q3070573$C7C66B2B-2DC6-4F13-897C-6AECE8082C3C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070573$33CE5DA7-6CE5-41FF-B7B7-5A797C173F51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability via the lambda calculus with patterns","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability_via_the_lambda_calculus_with_patterns"}}}}}