{"entities":{"Q3714048":{"pageid":5743954,"ns":120,"title":"Item:Q3714048","lastrevid":50581229,"modified":"2026-01-14T11:27:33Z","type":"item","id":"Q3714048","labels":{"en":{"language":"en","value":"Axioms for the Theory of Lambda-Conversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941500"}},"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":"Q3714048$93BBEC54-5C2C-43DF-8FC3-D88C9A576FA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5a7239d11bb4cee7fc6ce6845785229086c8d4","datavalue":{"value":{"text":"Axioms for the Theory of Lambda-Conversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3714048$65F370B7-EC96-4337-AC28-B2971312F257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a0bc56675290593ff980deefa341436feac9817","datavalue":{"value":"0587.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$06D026D6-D471-4D64-B5E4-AB0391592D16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"826fc84992931c295e2b8091933a8aeae2279d50","datavalue":{"value":"10.1137/0214028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$6AE57FA6-8193-46F0-B537-AA15A03D4619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af8c7e1f886763003a4594dfedac8f97f2a4fae","datavalue":{"value":{"entity-type":"item","numeric-id":1185008,"id":"Q1185008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714048$C69F089A-2135-4AA8-AD92-78325224841A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714048$3A5398BA-081F-4945-A4C2-A57363623ABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3714048$5F707F25-4853-4591-952D-3C38072A0666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$4FF869D1-E9DD-4FE8-9429-8D8E0B44E446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$FBF91D13-9F14-4271-83C1-67F96E07462A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0948fcc3ebb64a60dabebe9fd70ee7635c6a9db","datavalue":{"value":"3941500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$CB4B74ED-2606-4D9A-A643-DAF95B89FEC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714048$6392DCA7-45B7-41C3-A23E-22C650426D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0510a54f9083ba9eaebe3af6f0890f08384fd83","datavalue":{"value":"program for computing normal form of lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714048$ABB83F79-4D4C-45FC-AB98-1EC93DEC62BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714048$392A6729-34CF-4611-9E26-E379A0F7475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57aa8ea572db498fd691a6b2d91cb7b640710b6e","datavalue":{"value":"replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714048$2929BBFE-051B-4EFF-A520-1FB279472EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714048$F630C776-1D0F-4AE1-B26E-779D76B5BF41","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b2d14ffaccecabefe695ea97a4711cc03346be1","datavalue":{"value":"Q114615486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$BEB78DA8-DD5A-4A1B-980F-5E282474525E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89bbc4b4e5b092a38027744fd9f8d8e56f12182d","datavalue":{"value":{"entity-type":"item","numeric-id":37579,"id":"Q37579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714048$23EB4358-E12C-42D5-91BF-50E4E8846AAD","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":"Q3714048$6D59961A-0D1C-4CEF-9DB1-3CA4121F3ABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51191a6721427c0afe675d41ef15c6fd2f9e3145","datavalue":{"value":"https://doi.org/10.1137/0214028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3714048$ECCDDADC-FD20-465B-A3C9-93C8C0E66B3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a801c7b2d13821335b804231a17a0b9512109fde","datavalue":{"value":"W1981336276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714048$0C53884C-52CB-4A5E-9377-42D5685F7CC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4710ab823047963dca88071ab76a8a2caaf6530","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448e9af60599aaf8da6da350c1864d59237e002a","datavalue":{"value":{"amount":"+0.90389675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$12795557-4371-489D-897F-586CFD409EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc2e7220520971cc32d52ecb120acd3aeac839","datavalue":{"value":{"entity-type":"item","numeric-id":1194107,"id":"Q1194107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d67d5429c83ea51232f49a4fa3093177650a6d4","datavalue":{"value":{"amount":"+0.88393164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$0117FCF4-B68E-479C-AF2E-79A40BAA82EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5722df4c5ab8490f725600e05ead44033b03b40f","datavalue":{"value":{"entity-type":"item","numeric-id":6065511,"id":"Q6065511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e925501cf5a6ee2cc5d74892970a300dbfb51c","datavalue":{"value":{"amount":"+0.88270384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$C98315F2-753D-498D-8255-D31AC3A624E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6e28e198e7f0c2e2686b0d35dc61587ead36d3","datavalue":{"value":{"entity-type":"item","numeric-id":1283777,"id":"Q1283777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995721be54bd2f5b7e792e4d2fd6c1cf243ff591","datavalue":{"value":{"amount":"+0.8810224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$6066B10F-707F-479B-92CF-97B8D2DB0A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3cb34c6b4243158dfe92a5303191b3e4a140a7","datavalue":{"value":{"entity-type":"item","numeric-id":3086781,"id":"Q3086781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8396daff1b9a324c304435a780b19d3d5f566d17","datavalue":{"value":{"amount":"+0.87737024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$5ECF3866-2E91-45D6-A821-B6DED7E7B31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a21bb47bf679758cc0c8ddcaec699c672cd830","datavalue":{"value":{"amount":"+0.8726257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$671D339F-34D8-4366-A246-F890D23DF8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7989bd58b0d52282e0155bc1479443b12b00c9","datavalue":{"value":{"entity-type":"item","numeric-id":294781,"id":"Q294781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57a35142fe98f57943a0a1cf8244deced5db66d","datavalue":{"value":{"amount":"+0.87242603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$22866149-486F-45EB-A343-51EEEA532BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a8a7f2e453a153435dc68d2eae0d14c5c65ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794668,"id":"Q2794668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31103879818fa64b521cff56de44cd00765ebf07","datavalue":{"value":{"amount":"+0.8717319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$B4FD6012-A816-488E-A4AC-4FF6080A4CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a379345f94b5932f8470dab9ad0a149fc8c8284","datavalue":{"value":{"entity-type":"item","numeric-id":4500179,"id":"Q4500179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e587191ca2f4106a799456520c8496ee01dd67","datavalue":{"value":{"amount":"+0.87035066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$5D3463A9-3C22-46C8-BF58-697A1A84CC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53dc038534cd5f365e08fd3e0c58a28eb3e40dc","datavalue":{"value":{"amount":"+0.8702057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3714048$FBFA3A10-7B4B-4242-8EB5-7F2082076AE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714048"}}}}}