{"entities":{"Q3575299":{"pageid":5605203,"ns":120,"title":"Item:Q3575299","lastrevid":51046265,"modified":"2026-01-16T09:17:39Z","type":"item","id":"Q3575299","labels":{"en":{"language":"en","value":"Infinitary combinatory reduction systems: normalising reduction strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761678"}},"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":"Q3575299$0101110D-81C5-4D41-AD7E-16907D21B417","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ce8272d130e67b1cfcbafea1254fb4356fa7bed","datavalue":{"value":{"text":"Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575299$89D9DCA9-8A48-4E21-A48F-9901FF32F820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2e304eff80bfe03509ff40cb6ec032a14bc0749","datavalue":{"value":"1191.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$FE961EC3-3F40-410F-9842-1998D6B72AC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23a2eb6166c1df522f166d0d6f3af313c12240ac","datavalue":{"value":"10.2168/LMCS-6(1:7)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$39A95A67-2B33-404F-8953-B1B8A07227D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575299$C3B6ECE1-F536-4C43-8E98-882E94F9EE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575299$5693C96D-85CE-48AE-AE6E-8B98D9B18C0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575299$347B0C8B-7F03-4D97-9B7D-65054632F582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d086622a6099e52a8742dbf9fa8cb5d40a375fe1","datavalue":{"value":{"time":"+2010-07-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":"Q3575299$BB319978-5987-42A2-87B6-EE230B9F8E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$309343A4-BB86-48A4-B2A2-3CA4358B0A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$0311C6D1-52F0-4237-8571-708528E9E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$736ED7C2-622C-4D25-9AD5-CDA8CEA74DB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa7296f005332403651fb4a3daadbf39eaecd5ed","datavalue":{"value":"5761678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575299$CC1A1A33-5F3F-4AF3-B4EE-4B0E626D8510","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$0321C9B2-340D-44EF-95EA-4AB75C079E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84e59d92f7ca5a4a9bfe2976dadd042ab8bd1ed","datavalue":{"value":"higher-order computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$13131D3B-BE3D-42F0-B62B-AE228C29405A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$A839910B-4400-4221-984E-9F13476C75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$8F322917-31CE-4127-8D71-464F3FD1BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$35E5202A-4088-4145-B8F0-1B4591E3E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$E2609E10-8A82-425C-8226-CC45569356B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575299$6EF6FA9F-138B-4DCB-9A1D-72C2F287ADEC","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":"Q3575299$833A27B1-2636-4218-AFBC-E5F8C72277AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024b93cbb3d0b66b9df981be4b3b3ab99ff353a","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83749abff1d7c9947787ba58ae72dba328bd3d3","datavalue":{"value":{"amount":"+0.917252004146576","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":"Q3575299$54F6222A-D9DD-476D-8930-7D2539860A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0821a595469763fb5d4d0995df4c5e7a0e1616f","datavalue":{"value":{"entity-type":"item","numeric-id":5703868,"id":"Q5703868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5a40efdd814b9232c840c2695bfef481041b34","datavalue":{"value":{"amount":"+0.8762608766555786","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":"Q3575299$751E1453-5D9F-4F49-8801-7F80EFED652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ec33acb7b55be819500ab623c4b176570b9079","datavalue":{"value":{"entity-type":"item","numeric-id":550248,"id":"Q550248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257631001b862b5938f4fd3efbea2cd684fd64a4","datavalue":{"value":{"amount":"+0.8567268252372742","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":"Q3575299$7FC60D0F-C1A4-484F-888F-2BD4CEC2A081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7efbe295023f85a518478030ca13aebe3c12e4","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f791188b64e9f98467f57491deb6d056f5fe8c","datavalue":{"value":{"amount":"+0.8477426171302795","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":"Q3575299$559BD572-E927-43E7-A66D-4C10D61EA2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbaf0d3e1af855baae00d620cb6996a42ba6672","datavalue":{"value":{"entity-type":"item","numeric-id":5387840,"id":"Q5387840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c12773ec9b5a42dd85996767b507083647878d8","datavalue":{"value":{"amount":"+0.8026630282402039","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":"Q3575299$2BCAA222-006D-4906-B4ED-2B8ED22BBA4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575299"}}}}}