{"entities":{"Q732008":{"pageid":733857,"ns":120,"title":"Item:Q732008","lastrevid":50779322,"modified":"2026-01-15T03:46:01Z","type":"item","id":"Q732008","labels":{"en":{"language":"en","value":"A direct proof of the confluence of combinatory strong reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612513"}},"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":"Q732008$DD51478D-9000-445B-935F-EACCACA8BC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce50b55ffbcb6276f74f4da6f3558feffcb5102d","datavalue":{"value":{"text":"A direct proof of the confluence of combinatory strong reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732008$5EF75D9E-2274-4C95-AE28-711AF968E4BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77ec05ce626b4e0cef5a76076f1360de9bd0297f","datavalue":{"value":"1187.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732008$3F81CA44-1B96-4695-B68F-3AB06348B1C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$5398C37B-E53C-4FA3-AD1D-E891793D8FE5","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":"Q732008$7FA41166-1005-49FE-940C-125F65D8D16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732008$93067889-A526-45C9-BAAB-D72C1B5612E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732008$4E17CE3D-2110-40C0-AACA-C20E28935CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aad0e14b24e5eadf7daad02a248bac3f3c2bb1e","datavalue":{"value":"5612513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732008$75B5CF91-D646-47FE-A1CE-34AC039E387F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q732008$A6DA7BB1-7388-4E65-9423-A0CEE70A86F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q732008$1781C113-8DDD-4A4A-827A-6A16A2C0CAA7","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":"Q732008$C1E7C383-4D87-4A5E-8764-FFBCD511528D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49463b59730d4cb77567b9e9d1154fdf6540e0a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.04.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q732008$429C43B7-309D-4542-B159-E9A975653F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14cfa3c3bb509101ebea86f8c44a22d6c548a9ae","datavalue":{"value":"W1963536278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732008$14DD117B-970D-4B26-86BF-7FE9FF41EA87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d610cd6a06b6c0401b04d6f90b219240e708af6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$77731110-7DA4-458E-97A5-F1B0B064D148","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":"Q732008$6A18A08A-1A96-4235-BD91-00ACE2E3606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$EAD1577E-C645-4216-8A82-83021383EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$003A8C4B-D7C1-4AB4-95B6-CE9845BB4039","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":"Q732008$4C7E4584-6636-441E-B271-F0D2E5B7F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201ae9d8935cabb012c84f4af38b1beb79f23c2","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$DE6BFD1E-58DF-4993-9C1D-4A046AC6C2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55df57038e612ae33f89fa719efa760e3e6cf271","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732008$58654957-27F3-4BFA-BDDC-4D3FB3D3BE9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"179c5432a1637b0b4b60ed76fef69e56c0bcbe52","datavalue":{"value":"10.1016/J.TCS.2009.04.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732008$29EF71F0-22EA-476B-ABD2-E321A3F77D9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab27d8a541602ffb3d78a9ee028720b387b8131c","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43861a4baecf8bb927f29fd02261f725ab2301bb","datavalue":{"value":{"amount":"+0.864820659160614","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":"Q732008$5B7006DD-ED20-4F1A-BC8E-F006DECDE0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7ffe128daca6bbb2d1301cc5a1e16c7870111","datavalue":{"value":{"amount":"+0.8417590856552124","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":"Q732008$19E488F4-5A2C-465E-A244-5A2922DF59E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87f4ed35631b6cf4938f9886c0be250e460dfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2352459,"id":"Q2352459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa324d265ef7b57d065a7dd52fb12fc48ee9476","datavalue":{"value":{"amount":"+0.8145374059677124","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":"Q732008$91BA34D3-4F7F-467A-9FE3-3FFDB9B198D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b948aff9f9105d83de0c86ac7f3e858d09e082f","datavalue":{"value":{"amount":"+0.7793100476264954","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":"Q732008$76893F38-26C3-4F5A-B3D7-A70F90DF36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0605157bb78324dc8bac9aab07d107abcb8c7d","datavalue":{"value":{"amount":"+0.7787641882896423","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":"Q732008$AF28A221-89B5-40D0-9D12-0B042C4240BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:732008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:732008"}}}}}