{"entities":{"Q3401138":{"pageid":3411841,"ns":120,"title":"Item:Q3401138","lastrevid":88112285,"modified":"2026-06-04T13:40:18Z","type":"item","id":"Q3401138","labels":{"en":{"language":"en","value":"Infinitary combinatory reduction systems: confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664118"}},"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":"Q3401138$68079086-7913-43F5-8516-F6BB9FD0E22A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"761ff488c152d1d75eea5c59cce196b50092b496","datavalue":{"value":{"text":"Infinitary Combinatory Reduction Systems: Confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401138$5131D3C2-E050-47CB-B369-FC18033819B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"242d5793b25b53ad072eaeaa0ddb0b5a679dd77b","datavalue":{"value":"1187.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401138$8D40EC88-4DDA-4B59-8F36-27C11CF0D666","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42dd7944609c44d5f34d09da4499d5a8d41e9ec2","datavalue":{"value":"10.2168/LMCS-5(4:3)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401138$7957AACB-E7DB-416C-96DC-A4DC841C9B3A","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":"Q3401138$B115E246-DCD2-43C2-85AB-65118774E86B","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":"Q3401138$2C257609-5E7E-4B53-ABD0-F3FFCDE7A07F","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":"Q3401138$AF959FB8-1583-4FB8-A5AC-47A4CC30051E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-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":"Q3401138$60651157-3A7B-494A-8B6C-39B017FA83E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401138$12FDAE18-DB03-4C3D-865A-9F55027A8C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401138$5B46872C-9382-445B-BD76-EB01BD4D24D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"228e134d65fe115c105e65a767be999a43deb844","datavalue":{"value":"5664118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401138$53F194CA-BCF2-4C52-A9C2-FE4FCCA07FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$E85E8E32-D67A-4E50-9B08-A5B0370909AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84e59d92f7ca5a4a9bfe2976dadd042ab8bd1ed","datavalue":{"value":"higher-order computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$46331936-5B4F-498C-A218-E469838FDB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$89B741CE-66EF-4552-8549-9055E707846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$374B107C-B66E-4899-9E0C-6A6C1D088DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$CF9C1ECD-AC34-4FF0-9DA8-5FD4FBAFEDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$305D69B9-4526-49BF-8CD6-E48BD1A9D20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401138$6F38121B-F4B8-4CA9-8D40-94DED18C68A7","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":"Q3401138$51B865F8-D88F-4372-BA90-6B13BC8F9B85","rank":"normal"}],"P1643":[{"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":"af3d8674ba99dd84838c0fcf6c9b5bb8519cf6f0","datavalue":{"value":{"amount":"+0.944182515144348","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":"Q3401138$0ADDB11D-99B2-4FB1-9ED5-0F9A8202E473","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":"d50ed7a48d1133c08976cf88a810cad451b9b457","datavalue":{"value":{"amount":"+0.9011148810386658","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":"Q3401138$AE8CADDC-F421-4A6F-ADC1-620309847D30","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":"ff2626787d41ee0aa335f5414586474e53220bb9","datavalue":{"value":{"amount":"+0.9000223278999329","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":"Q3401138$CCAA15F5-DB4F-4B16-A476-DC262F370731","rank":"normal"},{"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":"84136ed8c3bd04a6f79889b4c50b2ea0721a0efa","datavalue":{"value":{"amount":"+0.8491657972335815","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":"Q3401138$6BB36221-B24D-4F0B-96D3-946325F22E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c408f2d80d25f245c16731c0d7a89641589b1","datavalue":{"value":{"entity-type":"item","numeric-id":3575299,"id":"Q3575299"},"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":"Q3401138$E685DDFD-49F8-4574-A5E6-221F86539503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary combinatory reduction systems: confluence","badges":[]}}}}}