{"entities":{"Q1242896":{"pageid":1253646,"ns":120,"title":"Item:Q1242896","lastrevid":70428888,"modified":"2026-04-13T14:42:06Z","type":"item","id":"Q1242896","labels":{"en":{"language":"en","value":"Characterization of normal forms possessing inverse in the \\(\\lambda\\)- \\(\\beta\\)-\\(\\eta\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3573836"}},"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":"Q1242896$B1C47051-B0D9-46D2-A020-B57D02DD23BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"170a6642a744bbe2ef8518cd6b76351c14a85d9d","datavalue":{"value":{"text":"Characterization of normal forms possessing inverse in the \\(\\lambda\\)- \\(\\beta\\)-\\(\\eta\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1242896$1016D31B-51D5-4CFF-914A-14D3D684BBE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92f6d89c137f91ee942540327cf0eb18a132d9d6","datavalue":{"value":"0368.02028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242896$8871963E-1928-42F6-A4C3-E167EEA1792A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a90f98d99209f150639112236653f70dd5853057","datavalue":{"value":"10.1016/0304-3975(76)90085-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242896$3A055CDB-6C84-4330-AE6F-F4CA35AAFC35","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":"Q1242896$51D20580-2C7C-4C8C-AB62-BC17A8D72CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1242896$F4A6D627-8FB6-40AC-A8C7-1B69916C485A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242896$8451912D-9EB0-4C1F-95A3-762777989AEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f9c8fc649495b16b8f572d7b108f313abbc9961","datavalue":{"value":"3573836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242896$5BD4D74A-98F4-4640-8AC0-AC0A24C2E136","rank":"normal"}],"P16":[{"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":"Q1242896$66313D54-938B-4AD0-986D-F17B9EF11596","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":"Q1242896$858F253A-5891-4E1B-B16E-3841DEB11EDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c355ffa3188a8aa58ebc451c61120de6ed650968","datavalue":{"value":"https://doi.org/10.1016/0304-3975(76)90085-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1242896$2BA1FE83-89BD-422C-B042-B3E256513127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec275e8f1aed65a3a19ff8ae3be9a5a0f0bded69","datavalue":{"value":"W2053672707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1242896$759E1D1D-DC00-4A2F-9387-AC5CDD9E63CE","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":"Q1242896$6285F4F5-09ED-4014-A7BC-C308DD86462D","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":"Q1242896$119681D7-9410-4499-9DDC-84C3824BBB84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterization of normal forms possessing inverse in the \\(\\lambda\\)- \\(\\beta\\)-\\(\\eta\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterization_of_normal_forms_possessing_inverse_in_the_%5C(%5Clambda%5C)-_%5C(%5Cbeta%5C)-%5C(%5Ceta%5C)-calculus"}}}}}