{"entities":{"Q5387840":{"pageid":7417414,"ns":120,"title":"Item:Q5387840","lastrevid":101151236,"modified":"2026-06-06T00:00:22Z","type":"item","id":"Q5387840","labels":{"en":{"language":"en","value":"On Confluence of Infinitary Combinatory Reduction Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279525"}},"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":"Q5387840$87A57187-FBA8-4E58-A159-EF7819ECC034","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760865512394ca70d7183a3cf9640b2e1526ab67","datavalue":{"value":{"text":"On Confluence of Infinitary Combinatory Reduction Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387840$538FCAC4-11D0-43BA-9C31-E68EF51CF5B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dec29acf4c95fc73868e0cb967c8b76d5978173","datavalue":{"value":"1143.68426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387840$B2AD85AD-F4DD-44DD-B5AD-FC557F246E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11f290aa2e143ced0e26bb2ac42d8247331b623d","datavalue":{"value":"10.1007/11591191_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387840$895A627B-E23B-4B7A-BDD2-13DDD5D298CB","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":"Q5387840$E31A2B18-9744-40D7-AD5A-3CEE3E9F6570","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":"Q5387840$39170DA5-BAC5-4260-BB2D-83CCDB70C75A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387840$B9E36493-682E-4D6E-BFF3-46825D10D82C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q5387840$7D597E50-F287-429F-965C-A4010531A4BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387840$54AF39CB-BC05-47F6-9D72-6B324B739584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"086ea378fd89e82cd03feb5ee7c0fded5dc4e032","datavalue":{"value":"5279525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387840$3B282045-293E-4650-A66E-56690E2B3F20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b332eaddaba275128ab7548503cb9917b3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":24362,"id":"Q24362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387840$8FDB708C-E02D-46BE-A9AA-0F9B188E88FD","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":"Q5387840$CB748EB5-EFDB-4563-87C7-52B04073738D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249ba8b14e5370591d88784aaaab6092dc15d00d","datavalue":{"value":"https://doi.org/10.1007/11591191_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387840$24F6CD5C-D67A-4CB3-BCE0-9438AF2CB802","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"401654490884ebca11dddd7d7393bd99c965b39a","datavalue":{"value":"W2165864553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387840$24A25C52-5679-4C68-9A14-BDA74CEB568B","rank":"normal"}],"P1643":[{"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":"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":"Q5387840$26460CF9-1B2C-4B48-81E2-8525DA6808FA","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":"a869075a8cfea13192d44cbf4bfe3eb427d076b3","datavalue":{"value":{"amount":"+0.8748455047607422","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":"Q5387840$34BC6CD0-55AF-4462-977E-8897207DA4F9","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":"105cd16740502d78ba104611f95cb6a059c075a4","datavalue":{"value":{"amount":"+0.8663859367370605","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":"Q5387840$F7C1C3AA-F9E6-4C38-B199-42375915CBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d90643597556c2a1d648e2f9be6441ba81dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5277874,"id":"Q5277874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7168a2bcab3e5ab90491462860651af076fb7b10","datavalue":{"value":{"amount":"+0.8603044748306274","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":"Q5387840$0929DA20-8A4D-4C3E-B62A-71B938077F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a964916c4d752fb63af7367840073185123937b7","datavalue":{"value":{"amount":"+0.8595921993255615","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":"Q5387840$9E37D4D0-11DC-4166-82A1-4E20C80CF0C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Confluence of Infinitary Combinatory Reduction Systems","badges":[]}}}}}