{"entities":{"Q672060":{"pageid":673909,"ns":120,"title":"Item:Q672060","lastrevid":63452583,"modified":"2026-04-11T13:15:51Z","type":"item","id":"Q672060","labels":{"en":{"language":"en","value":"Towards a proof theory of rewriting: The simply typed \\(2\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984758"}},"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":"Q672060$634D1B89-55F2-4608-919C-A5AA3032AF15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feaf5dd0ab5f9e70d85db0a8e4f8bf66c8d75544","datavalue":{"value":{"text":"Towards a proof theory of rewriting: The simply typed \\(2\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672060$72D0553E-2CD8-4C5F-927B-CD25D50850A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e153a4547984af753f89d47da63a78cd454eb88f","datavalue":{"value":"0874.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672060$DA367320-1F3E-41FB-AA78-3B52498F02A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac33949826e02b7e95d99409e2e448798eb1e01","datavalue":{"value":"10.1016/S0304-3975(96)80713-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672060$A567DCB9-6C50-4E0B-AB64-E3895AF01632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e17216e2f8bcac48f5ab3214aaa298d15159914b","datavalue":{"value":{"entity-type":"item","numeric-id":672059,"id":"Q672059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$A0E3EF9C-30DC-4D56-8CCE-E13BA739CE36","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":"Q672060$F6D1B035-7E27-4BD9-B35C-36F0D781AFB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672060$E2149F4D-30E4-4F3E-A2F2-3F529FEEA25B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672060$C788AB41-E5C3-4DD4-80E2-689E523E7CC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee21cf15806587dae9fcacbea84f6c8d711ac8bc","datavalue":{"value":"984758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672060$EA3D712B-5EBE-47B4-AD52-896B1B3EA805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b4a80c0d2d3fc3e72fc314df0a13ec58ba66c8","datavalue":{"value":"simply typed 2\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q672060$5A599BD8-E29B-477D-BE48-B7660BE22F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q672060$AC0D6548-3840-4495-8075-F271404F82A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q672060$E9460B9F-1087-41BC-8BBD-DB6171FC0891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q672060$B388A298-15CE-40BF-A1DB-8B3B51809B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27bbc2f6b3a552f8432bb67c5bfa8dd95f047fb4","datavalue":{"value":"catagorical rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q672060$B33E3778-9DE6-428D-AC9D-178EBD715FF6","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":"Q672060$1F65697F-F8C0-4BD4-AF27-960E11DB740E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$47D2C07D-078D-47DA-B3E0-0A7F89567801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$D05C92EB-DADC-43FD-8601-8F2BE26AFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$4D725CA0-3AC4-49FE-8B56-0CCCF3ED1044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$120E1D48-D93B-4823-BBFE-0773FC61C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c252405abd976dcaf3cbe6a893c67bf7aa0b754b","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$8BB82CA4-2D4A-4546-90B0-295CD2EC4713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbc1c92f9569f25eda43c06e11022416e14d982","datavalue":{"value":{"entity-type":"item","numeric-id":4632448,"id":"Q4632448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$60CE9E86-1633-47FD-B1BA-B3A61717A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$E4040386-FC6D-4A63-8669-6D086FAEC509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$0B3B1421-18FF-4BD1-AC9D-FD8260FE79C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$4F09C0B0-86C6-417A-9C40-CB7DE3835330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$4FB7EDDC-D3C9-4E16-9ED5-0B17E219F2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$517A30AC-9DB7-4B14-A351-22844D9AEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fccf929221ed0af9043006d25d894f4e7300d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3815296,"id":"Q3815296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672060$81F2889E-42DB-4F70-83F7-A7EBA167E47E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ec62fb12f0b31aa2f9d52b5d565b9fa20dbb9d8","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80713-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q672060$05B030CE-A56B-4426-9353-3754F25FBBD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"213569e250fe7a81a96a74a9704a8e95bad846a8","datavalue":{"value":"W4210699837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672060$BDE5EF44-7B52-4968-A018-F6F99734D936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ac706391279225e81770873b926e13e28c5669","datavalue":{"value":{"entity-type":"item","numeric-id":2703689,"id":"Q2703689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b14249134b5cd4b8e1916598d1fa5277f107d4","datavalue":{"value":{"amount":"+0.91795117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$3B0FDDFA-3ED9-4528-A55E-CCFAC5B85421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5253d63068f0492e8edf6f9c1394dd180fa6fd4","datavalue":{"value":{"entity-type":"item","numeric-id":5327450,"id":"Q5327450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bf2c4c3820bebe8488e2a330ac702296c77179","datavalue":{"value":{"amount":"+0.91781133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$98B32ED9-C6EF-4D4A-964C-889A1F723ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfabd3949f71cc18547cd03d46a84d0d4f8b819","datavalue":{"value":{"amount":"+0.9065448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$55178FF9-603E-4CA9-BBB6-83678D7F109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e32f7a0c56fbd935f12d906c40b6b3cb7d6fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":4323124,"id":"Q4323124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a24b4d1c8b86f9ae68d3d0c41ebd90064cb7a5","datavalue":{"value":{"amount":"+0.90488684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$41DD36E4-7686-4ECB-B4BB-661DB23FE876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42797fc209eaaddb74c3306a25952bf259efdce8","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0f82ab63d2d8ada064d11e057e369c3ecd6d41","datavalue":{"value":{"amount":"+0.9019482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$F58E797E-2DFF-4B87-A3A9-8F4054EEF5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c5b0b6db984dc322e3897f57dadf3c6b0db5b2","datavalue":{"value":{"entity-type":"item","numeric-id":5875894,"id":"Q5875894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b77e74a4777d28ce6558e1cacb4446e4677a08","datavalue":{"value":{"amount":"+0.9007195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$49AE8BC3-0F31-40A6-AD8E-97F5785271CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a2ca6131a8be67d6d7a798a6c4c5afc140c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d8bd7546df68effc43d72e2e445b81cf75e6c1","datavalue":{"value":{"amount":"+0.90034556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$C933AF28-ADE2-49B1-83DA-4EAEC32230C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af841dbaac1c030960b977a72d80d9d1f04996","datavalue":{"value":{"entity-type":"item","numeric-id":2708310,"id":"Q2708310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7554f90dae60860751bd12b8bb3f004826763a43","datavalue":{"value":{"amount":"+0.8985168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$D1CB51AF-B72E-4674-B2E4-87A9F1735BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058646d40eea54dff616bf851aa7e35dc98f1a49","datavalue":{"value":{"entity-type":"item","numeric-id":5015362,"id":"Q5015362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84aa387e877d0c81fa97617c58e51b70aa2c2b87","datavalue":{"value":{"amount":"+0.8966291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$A666492C-277B-4CC8-8E75-3F9C3DCD6FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0897f2bfb12099cb1bbec7eb650bd13e6d20c35e","datavalue":{"value":{"entity-type":"item","numeric-id":732057,"id":"Q732057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12735fe9691188282bd253a932aade213854dcc6","datavalue":{"value":{"amount":"+0.89612526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672060$6F0F76A8-4B44-4732-BB33-6BB5C942669E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a proof theory of rewriting: The simply typed \\(2\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_proof_theory_of_rewriting:_The_simply_typed_%5C(2%5Clambda%5C)-calculus"}}}}}