{"entities":{"Q930865":{"pageid":932713,"ns":120,"title":"Item:Q930865","lastrevid":65459688,"modified":"2026-04-12T02:44:41Z","type":"item","id":"Q930865","labels":{"en":{"language":"en","value":"Lambda calculus with patterns"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292215"}},"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":"Q930865$ABD213FF-58E7-4FA8-8C03-8156B2BC4ED3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40d5c90f655f791f7c6438141dfc9ca9b0456b01","datavalue":{"value":{"text":"Lambda calculus with patterns","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930865$B3D006F6-A783-492A-A4A9-104309D7DADF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5a72cd5de8ca47902337a2b7c5212d281e7876","datavalue":{"value":"1145.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$E93E0C27-8EB2-49E0-AE4D-50BD9C590517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$BD78EDA5-BE87-4484-8753-7E2B6222396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$6F914731-F5AC-472B-AFE0-F03B776EB287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$B8187182-7B97-4ED1-8165-A36D6C757BA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$D6A42325-630C-4419-AFE6-CF6A8C05348D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-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":"Q930865$A7A96592-060A-4FAE-A24B-4324AFECF575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$F4AE22ED-2708-4FAA-9BA5-4127FF55A5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$767C3630-4A3D-4CA6-8BC2-3A941BC2DE0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f075bb212f6d896a7ae375a1071dd778f26554ea","datavalue":{"value":"5292215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$4236F558-FE13-4ED2-8290-26210CB975F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$AA3D7D23-F7A4-4801-A28D-5013887D897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$19193D74-CD91-4AAB-89B9-63ED4B285F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3a93a9f076fe880f91d61b81570e7004e7c55e","datavalue":{"value":"unique normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$CD951318-AC90-4000-8BD9-CC1AE062FF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbed4ed78fb8840d9eddea3295720e0d27b5914a","datavalue":{"value":"Church-Rosser","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$06897D67-C5DE-4F5A-BAD7-AE70D323CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff186bb1f05111e47d2ce429b9f13f0a8d6e041","datavalue":{"value":"rigid pattern condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$F05A277A-317C-43BB-AECE-59540785490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc52107eae4f3a883bdb60996233b6da7c80365","datavalue":{"value":"orthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q930865$B68C1ECC-299B-44C4-8FEB-0003D19AE39F","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":"Q930865$A6614A3A-7173-4977-A5FC-DE594A6A75FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd12970a4f40b652f143aa85837576f54cbb81f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q930865$D58F6AE3-48F0-4223-A113-B45EA08DFE3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcc0077105ba1950d6b11543d6620b1d632ff855","datavalue":{"value":"W2038167131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$FDE475FB-6EB9-41C9-9C4C-55129243F8BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$8FA99B2B-5A6C-4F28-9047-861CD320D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$B4E10FC9-4B0F-4550-8DFE-57FACAF5E4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dbadc4f23dde6b0ad4e1b02a7e97bfefd33609","datavalue":{"value":{"entity-type":"item","numeric-id":2778872,"id":"Q2778872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$4FA4E98D-0DC9-4FA1-BFE1-58ACCB086116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db81cf7e79e54426ef60a161c70f4ae06ee9844e","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$8A2473D2-1DAC-404B-B02C-9D2BECCA22B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b778cb5c4c68de8d6683fd399343475a87efee","datavalue":{"value":{"entity-type":"item","numeric-id":5308027,"id":"Q5308027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$0B939C73-EC02-4CC9-A675-BFE472F0D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$C9DD870B-D972-4BC8-98A8-D99BE8CA3067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a117d3801160d4f9cae9ba3bf727678dfda69","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$B8A557BF-726A-4F70-8783-B21F9D753FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$1316F5BA-5719-4C43-A955-95A9C2EA7F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$F54648E4-6FB3-4CF0-88CE-909276CCBFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca67db8d06629586fb7c3636422b5a4a1cc6a14","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$9A41BF06-088B-409D-A790-3BD5CA9F07E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61f4d746cc240c7e01e374e1c8b6bcf1fdd307f","datavalue":{"value":{"entity-type":"item","numeric-id":1262749,"id":"Q1262749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$0C142FE9-3D95-4040-BB74-DF92375E2A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e471e3c794721486f6dc1579a75ffdd9226730","datavalue":{"value":{"entity-type":"item","numeric-id":698633,"id":"Q698633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$4FD9E78E-779F-4D26-B9FB-9F7EB982A200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fac0b35b0d61d27ef8d2fd5c9d275e1aef9405","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$0B5DC9FB-69CC-475C-A9B8-DBAE4ED026D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9f2478869eb7be9cdcfbb79659d6db0952b660","datavalue":{"value":{"entity-type":"item","numeric-id":2956727,"id":"Q2956727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$FB4DB6E7-BA2C-4F83-93D1-C75B6DBDF5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$24534946-57FD-4974-80E1-A42331851699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdbaa7ea6fab2dd17ad9e41dff385c0c097d596d","datavalue":{"value":{"entity-type":"item","numeric-id":4222804,"id":"Q4222804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930865$D679C462-D683-4634-B483-82655F26E212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d38e543c988d6915e9cd1dddf0890b9dbc2bb449","datavalue":{"value":"10.1016/J.TCS.2008.01.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930865$6B95CD87-5319-4CE4-8EEE-542539B0D666","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":"8504f175da6740a70038334633758085db5edb9a","datavalue":{"value":{"amount":"+0.97766244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$898F18FD-AC39-437B-BB40-44767CC7DDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb90faa80ccafe87730c9c39562d1139e894903b","datavalue":{"value":{"entity-type":"item","numeric-id":3070573,"id":"Q3070573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64bce2db6f3acae5460110c8ee3a8083836a3f9","datavalue":{"value":{"amount":"+0.93183523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$4FDB9C8D-7852-4636-A743-3461D26E7383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76ab0295fc0467218a9f23e19a5b632991a5cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc7be367d9890c868a87828050141061b8e2ba6","datavalue":{"value":{"amount":"+0.9054077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$0ED872D8-5C5F-4D02-A54F-AF466D7F293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b6b6ff13289761a9714c0833a5ecc98be08b86","datavalue":{"value":{"entity-type":"item","numeric-id":4039770,"id":"Q4039770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5374710510587fa56df2152053f965c49ca68c0b","datavalue":{"value":{"amount":"+0.8999073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$E7FA0B99-FAF4-4DCB-A6D7-59838E4552C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596d28f353fc493c81ee47c97c99ebafcf63d9df","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c382370878ba2b20c5738b87d4f72e6dd809dedb","datavalue":{"value":{"amount":"+0.89656943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$8F617F5C-417E-43F1-8AE9-2657A2502060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f40193c6f95faa99739874a985f68c583733f2","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29714302761e8ba4b1794de678bdda85b7e22d4a","datavalue":{"value":{"amount":"+0.8929812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$3957B7FB-F75A-4364-99E0-3922F0F07809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ec7d58f70daed75028917633fd6f230ebf5ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3188288,"id":"Q3188288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdf8745a032f7ab54e9184c1f6a4bd11c733adb","datavalue":{"value":{"amount":"+0.8894323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$AE39A1BF-B156-4C6F-A197-F09FF5083EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b0c40a648092dd8d9eda1b14d9cb22325dbbed","datavalue":{"value":{"amount":"+0.8880078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$8946A089-2EB2-45BC-A02E-D046A1F109A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9492ac52367cd9c745be9207d3ea424ba311914","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55297e208ed7bce8410bf396820d55041d51cb85","datavalue":{"value":{"amount":"+0.88548976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$EA63A4E8-367D-4E3E-B486-E64522B490B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1b310e62d57f37e46737577a8814505c1c8456","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff181ffba6ce7887b205950c22e316113cbdd17","datavalue":{"value":{"amount":"+0.88308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930865$6F1B83B9-9983-452C-A3B8-078BA1F680B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambda calculus with patterns","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambda_calculus_with_patterns"}}}}}