{"entities":{"Q1257009":{"pageid":1267759,"ns":120,"title":"Item:Q1257009","lastrevid":70012752,"modified":"2026-04-13T11:50:29Z","type":"item","id":"Q1257009","labels":{"en":{"language":"en","value":"A discrimination algorithm inside \\(\\lambda -\\beta\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628919"}},"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":"Q1257009$066FC482-64B4-41C3-A179-EF0A8301A308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ba3302974a8e8b5e495c72b7f818fc83214c1df","datavalue":{"value":{"text":"A discrimination algorithm inside \\(\\lambda -\\beta\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1257009$B7F4B8B7-1D9A-4DCF-9BFA-9350087DE00F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2d84c0126107268ad14eb81abfda706fb198a13","datavalue":{"value":"0405.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$9A68442F-B6E7-4E7F-8E72-4ECAAF76B0D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ef7fcd0022f4257ff8c862d9082695594a5d83","datavalue":{"value":"10.1016/0304-3975(79)90014-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$0C4DDE80-BE4E-432D-B26A-CED7AE5E4F36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33c2149308b8c8475360e80c12db685f480652fe","datavalue":{"value":{"entity-type":"item","numeric-id":1257008,"id":"Q1257008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$A4A8FE69-4E29-4C3C-89AF-4F592835C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$A236762C-30CB-4E4E-A5E3-B4C9E7E7300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$7E8D4CC3-03BC-4454-866D-2A4F0722F5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3348006dd4c039634399729cde3f47a728910fce","datavalue":{"value":{"entity-type":"item","numeric-id":6481522,"id":"Q6481522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$D64E8EE9-FECF-4481-8BAA-4EE7E2181565","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":"Q1257009$04FAC7D0-7D20-4934-9C96-78BB3135A1E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1257009$6F54378E-8DE3-44ED-A6A8-FC5715D0E87C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$939E06CE-3854-4A1A-9980-6D2A8007BD22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c19d1c097c9475f462b3cee957d538bc11131f","datavalue":{"value":"3628919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$5C512198-9EDD-4F7B-8533-EDF759680471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ccec9035cd2f64437b7d1d2f3cdd353e770c216","datavalue":{"value":"Normal Form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257009$5D2EFCA4-7E0D-48F2-B93F-B653D964EF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55cc26fd330c71217d2e81714ef2c17485b6dc4","datavalue":{"value":"Discrimination Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257009$C7D60BA2-0CAE-4A2F-80E9-78B8C53C10AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc4f94cfe07d42dc64c33a4efe9fcf71c217884","datavalue":{"value":"Lambda-Beta Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257009$89FC05C2-AC8D-4436-B508-441323AA0DC3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0d7ffc037b4ae9c23436eaeb51a36e826dd45f9","datavalue":{"value":"Q123239568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$2669AA61-ABB7-4EC3-AC00-BE9256DE50BB","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":"Q1257009$01FA3978-F1B5-48AB-A422-5223E2134D61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18016ae25ac63d015a1e095be72ae5caa7610a1f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(79)90014-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1257009$035AD925-9C0E-4B78-804E-78D5FAC2F9FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8515b344ac4e8003cb653e6fcc341d52e04aab57","datavalue":{"value":"W1983495063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257009$3A3D9C63-921E-49F4-8AB9-C0484ECEA628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c7c5658ecd10d5bb7858b9d366315dedd456f1","datavalue":{"value":{"entity-type":"item","numeric-id":4068081,"id":"Q4068081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$3E4D0301-781B-4D16-8204-41C20A7692EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b480b7cfed9dd3eb5bb1f33cd8312667ebf712d","datavalue":{"value":{"entity-type":"item","numeric-id":4109650,"id":"Q4109650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$8EA9DBF1-DC5F-4354-9653-F5A4DFDF5014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$48B9CB1F-2C1D-4AB4-AF2D-2A85209C044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$8B3A1319-AB37-4E46-8170-A441E3D7C95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257009$4929D01D-1E57-44CA-9D13-C466DAB838DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A discrimination algorithm inside \\(\\lambda -\\beta\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_discrimination_algorithm_inside_%5C(%5Clambda_-%5Cbeta%5C)-calculus"}}}}}