{"entities":{"Q673626":{"pageid":675475,"ns":120,"title":"Item:Q673626","lastrevid":63610650,"modified":"2026-04-11T14:20:08Z","type":"item","id":"Q673626","labels":{"en":{"language":"en","value":"Paths, computations and labels in the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985671"}},"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":"Q673626$CF4BD32A-2806-40AD-BB0D-016349AF9665","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d3a81570fbf2f89a9922546d78a1ff995557323","datavalue":{"value":{"text":"Paths, computations and labels in the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673626$1FD63FAE-2FD7-4E98-8A4D-01B4671E0048","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbff3dea1373fb4c5d0f9ce121a940797fe605b8","datavalue":{"value":"0873.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673626$E0DA99FB-A436-4587-9734-87FF4D2813A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06723f88343807e4554e6a79ecb4139b4704e862","datavalue":{"value":"10.1016/0304-3975(94)00279-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673626$65862B41-90AB-48F9-89DB-78EEB671F8F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673626$A352AEAC-7720-40D0-B6DF-E250B020ED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4fe1735c78ca8836fdfaabad4ce3df9d1388e57","datavalue":{"value":{"entity-type":"item","numeric-id":493532,"id":"Q493532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673626$094C2482-3D74-44D4-A2FA-D6F359E89F8A","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":"Q673626$D8DEA27B-52D4-49AF-8930-629893F02461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673626$D119BA9E-D172-49B1-84B3-E6DCAD1F6669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673626$6BBA49B9-6542-40A1-AC3B-56D230983607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c92dafb126474c22bd48e95c272971555112c4b3","datavalue":{"value":"985671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673626$1AE2098F-3F32-44AC-ADDE-4B89132551C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc552718f759008a57c21590c648a57c12a2bb0f","datavalue":{"value":"redex-families","type":"string"},"datatype":"string"},"type":"statement","id":"Q673626$475F9F5D-6882-48DE-8DA8-F983F0E9F2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q673626$0F9D46EB-3D82-4425-80F7-FCD7D8D69B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ea2fdbdbadee8805bb27cd51472a4ff6e6d88f","datavalue":{"value":"paths in the initial term of derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q673626$A041AD22-CBC2-400C-96A6-501B5C2E1D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb5dbb9c018c941d87d8ebd9a9c3e079d8ffa0f1","datavalue":{"value":"labeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q673626$DA7DC5E8-42D7-4203-9CAE-DC635FB1270E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceca88a29ca17bedb76139e55554b10979a19dca","datavalue":{"value":"optimal graph reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q673626$4E7AF2D7-6CBC-4432-BF33-E74EB2E39AFF","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":"Q673626$FD2F8067-2640-404A-944C-95CE1F28781D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"279a7820337ce04eddf03160bfae02a8d86ca6f4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00279-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q673626$78B3BD83-0C55-4A35-BB98-8A62781BC78F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20519cd75e5c885faeccb1fa001b38cf246c1e17","datavalue":{"value":"W2077519206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673626$85F62D58-8A3D-4587-8E9C-C22D77A064A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6efb1b95d2b7ae9940263184dc766f4ccada64","datavalue":{"value":{"entity-type":"item","numeric-id":5044756,"id":"Q5044756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673626$48B2F67B-2C4B-4F8B-B20E-9560EAA9121D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fb2cf4cd736c16f41eb6e7a209ec514c241e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5055792,"id":"Q5055792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e071f7938a6f2221318fa29c00e6e43d6db42fa","datavalue":{"value":{"amount":"+0.985125720500946","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":"Q673626$9C6A9356-E3AA-4750-9F4E-8AA892858A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2b5f17b77207f034a9145bc7a97efee798a11e9","datavalue":{"value":{"entity-type":"item","numeric-id":4490737,"id":"Q4490737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c748e356a22018708d2ca11e3d398477353a610b","datavalue":{"value":{"amount":"+0.7720876932144165","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":"Q673626$6E8CA892-2C94-4E81-AE4E-88D415DE1783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1639131882be81585dc69fe3f1251a1664a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2816e9f9c9fa244466f473a896f075ed51e0e96f","datavalue":{"value":{"amount":"+0.7702046036720276","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":"Q673626$B35BC5F6-F19E-4F44-8B0F-A3F87B64B886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b947c938a363320b06c74d7f920fdd8148f7eb3","datavalue":{"value":{"entity-type":"item","numeric-id":5269004,"id":"Q5269004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23287e6dc2e990427d95efca6de2976873ad4a2f","datavalue":{"value":{"amount":"+0.7583876252174377","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":"Q673626$8F23CC6B-290A-429C-9277-71B304A8C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4439c7def1464295abcb7fd6c387bb7b66e11d23","datavalue":{"value":{"entity-type":"item","numeric-id":5055875,"id":"Q5055875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6802de1ed4e6d89b4dcf65c1c50129422fdc7a","datavalue":{"value":{"amount":"+0.7537298798561096","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":"Q673626$950374FD-7874-4E5C-BBD7-6403842DC54F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paths, computations and labels in the \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Paths,_computations_and_labels_in_the_%5C(%5Clambda%5C)-calculus"}}}}}