{"entities":{"Q2900507":{"pageid":2911232,"ns":120,"title":"Item:Q2900507","lastrevid":84918842,"modified":"2026-06-03T05:10:20Z","type":"item","id":"Q2900507","labels":{"en":{"language":"en","value":"The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059502"}},"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":"Q2900507$D6DED559-E678-4CB4-BB7B-17FAF8A733DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e6e589b0760d989274fe2e70cc59ebf1dc5b1a9","datavalue":{"value":{"text":"The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900507$B693B491-69BF-4A3F-B147-729084C14E0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1da75b463523b29ad6c1fc54313f3a27463b3e23","datavalue":{"value":"1357.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$2060C6AC-4B0C-4A55-B764-E95B093DD2D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1698b6440233d95c3e7dd0ff1cde5af03fb06ce3","datavalue":{"value":"10.1007/978-3-642-30743-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$48A2BCE8-B0E1-46BE-808D-C19ECE22856D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f37b10e21bad7b85af1c0bf53cbe5099e555565","datavalue":{"value":{"entity-type":"item","numeric-id":2900505,"id":"Q2900505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$FF4375A1-C629-47BA-897E-184C2DF89A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b14a75e0eb31c1b93e9927acbdc9c765d6d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2900506,"id":"Q2900506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$4B20BBE3-C8B7-44CE-9A9D-4BA0C85213E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3230973ef852beb18e0210d27087e5da40c072a9","datavalue":{"value":{"entity-type":"item","numeric-id":1197386,"id":"Q1197386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$68A0BDFD-8E27-4AE2-B100-BA6962F61573","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa733e1850763709bc9073c4421e2a032d1dee93","datavalue":{"value":{"entity-type":"item","numeric-id":2900497,"id":"Q2900497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$E21FF90F-FBA5-4583-8E7A-76BB6952652A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900507$FA1DC495-7D2C-4163-B729-7B1B4C381F6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$A33D65C7-15AE-494C-B146-DFF44011E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$9CFEAEAE-A79B-4787-8244-07979DF99BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$BC3333F6-449B-43E3-B1D5-A074C64EB3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$DDF26744-AFA2-4474-8023-D26FFB783E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$5A15029C-F0F2-4BE7-8D35-663700C911CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$CA5223FB-8DCB-4F10-A96E-A4FAB36CF02D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cf2a0f3a3507062e979ec213edff6af2efa8961","datavalue":{"value":"6059502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$CA69453B-05AD-4A92-B4AF-9FCCA3AD0A28","rank":"normal"}],"P1463":[{"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":"Q2900507$FF8107E2-76F6-4A8B-B117-C6C36529032B","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":"Q2900507$576AB49B-E1A4-4A0E-86DB-820F19388459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af393acc642b8f5d4d5ea3c126599b5b5eb7408d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30743-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900507$9E9B4A33-27A5-478C-9EA3-776EDAC31F58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b8d583f20c07a75b27ced4316556b74d445c076","datavalue":{"value":"W35348824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900507$326968A1-C75F-462E-871E-04F1EAF65FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a06043cabfdf1bed4266f0e66e1ffa6ee1ecad","datavalue":{"value":{"entity-type":"item","numeric-id":4570895,"id":"Q4570895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$AF1C53CC-A5DA-4060-BEB7-BAC75416207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea3add94c698268d76fb9e9bac2d76ab04fafdd","datavalue":{"value":{"entity-type":"item","numeric-id":3225469,"id":"Q3225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$CF2A2E6F-62F0-4F91-B3FA-77C1FFCF81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adb68ac53a5a0468a7cfc75b97ca696f70c0418","datavalue":{"value":{"entity-type":"item","numeric-id":4500587,"id":"Q4500587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$EE55072A-80DA-414B-8D12-17E4A70C378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$0EEFA106-6E2C-4A9A-9D1A-EE17202881EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$EFAD2192-F210-459D-9B27-E4CD033916F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036d8312184803429daed86a5f2a8c761bc71eed","datavalue":{"value":{"entity-type":"item","numeric-id":1188921,"id":"Q1188921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$FE1536FB-9E53-4242-B227-F28EE79F9D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169b2f339340359af747448063c133ed6019c736","datavalue":{"value":{"entity-type":"item","numeric-id":3395096,"id":"Q3395096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$46132CEE-7FF3-4E34-B065-FBB46AAE3AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$FA2DC027-5255-45B0-BFB0-E43F7BF98C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8fc14adb26e9a99e6be1999fdd2135bfd94a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$06EF827F-F76C-4D61-8ABF-6A091F27F14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$3B486AA1-425C-4B62-9189-21F2ACF1DBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900507$D8970C01-B57C-4785-927B-536F02BAFF9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d23da0cd0b92ce91d0e8894eeb17ba5dcf4431","datavalue":{"value":{"entity-type":"item","numeric-id":4911148,"id":"Q4911148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06178ac80a550ff9e50d70f3146f4a4dac0fcfe1","datavalue":{"value":{"amount":"+0.8743053674697876","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":"Q2900507$25C7253E-2157-40C4-8749-ECF0972828B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71e6fc498b10025d2b37f68e43fb091cbd3e084","datavalue":{"value":{"entity-type":"item","numeric-id":5712707,"id":"Q5712707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310b950242ca958330e2b588e4ade6ce547d2b39","datavalue":{"value":{"amount":"+0.7306112051010132","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":"Q2900507$4868A759-416B-4BFB-AED5-BCCF7D0422B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed8288b6b92a05749f8726fc89948efa544efb8","datavalue":{"value":{"entity-type":"item","numeric-id":1087338,"id":"Q1087338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a2385e46d0763f26c8005406021ce581494c3f","datavalue":{"value":{"amount":"+0.7011639475822449","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":"Q2900507$5DB92C24-166A-4611-9C5D-A30F3D0B590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31bc3714ed5b9f2975a9a3309538868bfad58007","datavalue":{"value":{"entity-type":"item","numeric-id":5309402,"id":"Q5309402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99c1144b24bec3d0cac500f4e90e1c226bc5b7f","datavalue":{"value":{"amount":"+0.698962926864624","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":"Q2900507$48FB9A88-02AA-4BC3-985A-8DF889AFE2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b50c05f7150fe1e53817a27e2426877f05a897a","datavalue":{"value":{"entity-type":"item","numeric-id":1193491,"id":"Q1193491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a54431f988865b4d3f4c81750d8a1a2ac54ccf7","datavalue":{"value":{"amount":"+0.6975186467170715","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":"Q2900507$C271E0FF-038F-44C5-B39C-BACB194B5E46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The inverse lambda calculus algorithm for typed first order logic lambda calculus and its application to translating English to FOL","badges":[]}}}}}