{"entities":{"Q688571":{"pageid":690420,"ns":120,"title":"Item:Q688571","lastrevid":63494454,"modified":"2026-04-11T13:33:03Z","type":"item","id":"Q688571","labels":{"en":{"language":"en","value":"Using typed lambda calculus to implement formal systems on a machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444946"}},"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":"Q688571$8E343CA3-EB74-465E-A9CF-87DEB8FE4545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0918ed4ba53aa20141ff2455962c433dab2b33db","datavalue":{"value":{"text":"Using typed lambda calculus to implement formal systems on a machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688571$C1352C9A-F356-4993-A890-AF472C5C94CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fac8ea222064e8bf6db424d46b900cdc36553a5","datavalue":{"value":"0784.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$A58CAF54-58A3-42FA-BEC8-32A5290A5A0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1752dfea512a02209b0e7fea0752ff1ad06e3ffe","datavalue":{"value":"10.1007/BF00245294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$628057AE-E0BB-4DDE-83C3-8804583F9F2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$2AC748D2-55BE-4CD9-9F01-043085C6719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$DA1C3E22-06F6-462C-9810-115A42E8D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$912D271A-5043-41F5-8844-037724971D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3463bc6040ec10eedd8bc84c369dcec260e8f52","datavalue":{"value":{"entity-type":"item","numeric-id":688570,"id":"Q688570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$866B5C69-CC41-4A40-97D2-C1FADC8F0AD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$768B112D-5D24-4021-80FE-B3B80F0901DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688571$E947FDFB-39CF-4574-93A1-A1AE9B14AE66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$B9F55CE5-B68B-4C4F-8B2F-2AB1A3970A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$6856AE51-093E-4E92-BA79-1D1CDF33BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$4C31B612-0836-442F-9DE6-E9DF06508CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6d8e6b587efd4c17a41d552cc06323055ac4a24","datavalue":{"value":"444946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$D11236DB-71DB-44A5-BD0E-6FE6D0C68D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q688571$C14B9C8A-ABA8-4EBF-B5AA-22DA484FD601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba03543f6eb8246f3663782c06e96c302c8beacb","datavalue":{"value":"Edinburgh logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q688571$2BC60779-270D-459B-9667-8C0AFA6FD385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q688571$7C4EDAFB-48C5-49CB-8BF3-CB762C52F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q688571$7CC5285C-2966-48F8-8A70-C34A16FF8697","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$446D769A-E05C-4D47-999A-FF9584AB1ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$D637BF67-0A4E-48BB-A238-F67E07D38621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$C19FC3DB-DC51-4F99-BA84-9F44E5294C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$F5367254-0EE1-47D5-9927-E08D64763E36","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":"Q688571$6DB6DCFB-0A90-4387-B746-79289F8350A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$53DA0C62-EBCD-4D74-BAFB-9FB6E202C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$B1349C8A-6363-4584-B4F2-C2BBA9688864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$DF21AEB3-F99B-4565-9186-B64130599297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$B1F1F299-BF8F-403C-8F48-EF7A77E1D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$95A6025A-AF34-426F-B641-2B1015CD75A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$61C8A604-CE54-4ACF-9FC9-1990933E8911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$43295613-4171-493B-9CF6-42359816D25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$4E48757F-C98F-4DA0-8FEE-45090408DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$4CA6C3EC-4024-4C62-B847-160068751306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1f9f8921b3649b10fb13e40ea38574e19ba3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032879,"id":"Q4032879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$60FEFE34-BD1D-406C-987F-77961607BC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$7E69B264-5B75-40D7-9629-5911D7B19F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$4F904438-C333-4158-8114-EF77FE3DC277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$A77AAE5B-5BBD-4DBE-A4DA-1C72DB708706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899d9c3921ddd06671114191c1b2907f2a400daf","datavalue":{"value":{"entity-type":"item","numeric-id":4001862,"id":"Q4001862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$089A5F89-320D-4495-A089-C080A2055683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$EAA40EF1-943A-4665-A64A-1C3B47BA1AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$E4939C01-AB69-4706-8300-DE7F96170775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$A53850DE-B47D-4242-88FC-EBF23FB84CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bd6fdad25e36998ceb580f40c70d0e0fd67a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3722468,"id":"Q3722468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$2D97CE6F-8996-48A8-8F19-F75354C3FEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$0CA535D6-A816-4796-B573-69FF73374D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$4736E1E4-5410-41F8-A414-30E7D8F1F8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e52b34e7a0a27283722efee4ee82ccc7985125","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$67FBE40B-36ED-4544-BE56-FEE4E273CB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$84471322-0C3D-4111-937E-77CB46024F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$65B60D36-D5BC-47D8-8AAC-8E9BA049F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$EE3474EA-8BDE-4ED3-A5FF-CB6CBCB6C667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996546e15b6fbeb64dd43e0ea4bb4b45c952f698","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$91B5710B-5568-48BA-89ED-F10AA3965BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c18f5f509fa246a01da387d8025557206f973a1","datavalue":{"value":{"entity-type":"item","numeric-id":4188413,"id":"Q4188413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$500A382E-85B0-4786-B944-609B2F9CFEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688571$F98520A7-2A4A-4DD9-9809-03482DA17F56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1959979e303c626a663ce201fb9b52c20a04901","datavalue":{"value":"https://doi.org/10.1007/bf00245294","type":"string"},"datatype":"url"},"type":"statement","id":"Q688571$FE52B54A-9AFF-440B-819F-8E422F3D1367","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0caa99e47ecaca7a209275341da6328480e53846","datavalue":{"value":"W2010273585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688571$7FD9847A-F14F-477B-B823-CBAC3446C625","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3955d4a18f216a9a4a55d420e7f725d4bf97cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3795649,"id":"Q3795649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68814752070bfb85d489b5741d6f05287e00f7b","datavalue":{"value":{"amount":"+0.89866126","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":"Q688571$6004B5D1-A4EB-446D-BE0B-4D8BCAF2D0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2808296c78d138368e61e821e9f5a75db030f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708a56d7822b1dd4742e8c1264e26776d4629cce","datavalue":{"value":{"amount":"+0.8986395","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":"Q688571$5EC5B8EE-503E-4B92-9BC1-5CB86E20958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e8c1dceea20d5bd28a5edda639da0c349c0790","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e53768dd18d6d58658dc1c9aa4527708b4928c","datavalue":{"value":{"amount":"+0.8973373","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":"Q688571$A9C731BC-229D-4F68-99DD-C64272A54A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f481db7330b9d1d55641ce4046167ec02e6d95b0","datavalue":{"value":{"amount":"+0.89623344","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":"Q688571$6C2088A5-995D-4ADA-8FFF-CEDED4381604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd36c4ef364df121f76ddcb51fef9f536c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4317827c753b565fe99a9645854a0ac0a3644f9","datavalue":{"value":{"amount":"+0.89510286","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":"Q688571$9C222256-8556-416E-AB12-41A870D2DAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3bdcc336d3cbaf72159e278f1acc8157aa3b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883111,"id":"Q2883111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3164dfe92d588f55ad2dfdb08b0490b00cd59e","datavalue":{"value":{"amount":"+0.89406884","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":"Q688571$0B7BE590-578C-4D59-9601-892ECCC9829B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8134ca0a3198d2d4940e53fb3a17695b6784e462","datavalue":{"value":{"entity-type":"item","numeric-id":4490735,"id":"Q4490735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"549fcf4438c575d8301ace51cac40b65abe4228d","datavalue":{"value":{"amount":"+0.8912612","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":"Q688571$95FA7AF4-0CFD-48F5-BC94-862F1E22C926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e52d3833339f83c7228deedb1125e465286767d","datavalue":{"value":{"amount":"+0.8901193","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":"Q688571$B9584ABF-B5FD-4AB9-8DBD-18D4A9032447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b30e4f3842d948c7dd52ec1d3eb7631905e9db5","datavalue":{"value":{"entity-type":"item","numeric-id":2841304,"id":"Q2841304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece1bd7430011dc75980bf22fffb7dd432028bab","datavalue":{"value":{"amount":"+0.8890453","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":"Q688571$B1829A79-0DBC-4A19-A199-F4F8CA6A3EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dae860becd9de9724616bcd11df5c39516101a5","datavalue":{"value":{"entity-type":"item","numeric-id":5316622,"id":"Q5316622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d264440e4351599970b551792ed58b1c4d6890a","datavalue":{"value":{"amount":"+0.8887948","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":"Q688571$075B48E2-BDAD-4902-B7F5-839AFFDF8482","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using typed lambda calculus to implement formal systems on a machine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_typed_lambda_calculus_to_implement_formal_systems_on_a_machine"}}}}}