{"entities":{"Q3558344":{"pageid":5588248,"ns":120,"title":"Item:Q3558344","lastrevid":50972555,"modified":"2026-01-16T00:56:28Z","type":"item","id":"Q3558344","labels":{"en":{"language":"en","value":"Least upper bounds on the size of Church-Rosser diagrams in term rewriting and \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703524"}},"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":"Q3558344$C3874C2D-3229-4CA2-BCAE-ED019ECC5283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1482c9ee4e961ff25c4a79ae78d1a7ea9e5477ac","datavalue":{"value":{"text":"Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558344$0B237C58-12B0-41F8-B5A8-4B6BDF1C7C6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a805e4b420cb295cf761e2cfee806128554758ad","datavalue":{"value":"1284.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$24ED9B99-2E19-4C3A-A3A3-E0B498C2A6B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccfbf9ee79b92847812c579f59f98eb86cc21cb3","datavalue":{"value":"10.1007/978-3-642-12251-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$2A76AAD9-515E-488A-9632-40F8039BDED8","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":"Q3558344$90AB124E-5045-46C9-9D54-14C7034BF810","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":"Q3558344$50E97A26-FFD6-4C5D-A7DC-DAFDA05988CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$475CF741-03C5-443D-B4EF-233E546748EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558344$ADA5D87C-1FDE-49E1-A82A-AE7C7EC7962A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$C258794E-81DD-45B8-903D-FC7F9DCE964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$C47D1A25-CD3D-453C-9C0F-087DD3DD866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$5589F80F-4B64-45CD-A3CE-0945F0AA67F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45846a798c843935a411fcbad8684b6be638799e","datavalue":{"value":"5703524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$EE1F43A7-E747-44CB-96E0-0526A3DC89D3","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":"Q3558344$0D63C503-B8DF-4BBB-BDBB-37B5FFFB0222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89d040c775f22cd179f0bacf293a1991fe54e9c7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558344$3C014F44-59DE-4D7F-ACB5-C7715C78C4FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f414a8db4a0637c83135b4cb9fc3552f455b2948","datavalue":{"value":"W2077032343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558344$7F47AC5A-0E3B-4AE3-9DA8-7D3E2677E1DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$7AD4ABDB-86CD-47A2-AD33-125D7897D98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5cf2d41d3bdd3a2e1e9bd55a8cbe561b025c53","datavalue":{"value":{"entity-type":"item","numeric-id":3735687,"id":"Q3735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$35C421AD-D332-490F-9842-C995F91413D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4dd3e4b55bac69ca9da0c22482356d27ee0943","datavalue":{"value":{"entity-type":"item","numeric-id":3644753,"id":"Q3644753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$FCB7C5D9-B3CF-45C7-B62B-C86BDF12697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff17a798627af9c8f071fcc5820b749b5d74c98","datavalue":{"value":{"entity-type":"item","numeric-id":1007225,"id":"Q1007225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$FD5DB87C-CAFC-4DDD-9E24-787A79C409AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$5170CD07-EB4A-446D-80F8-66AF0F3B06B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e6c95b6912f96f545c6ba61ec5be5438844811","datavalue":{"value":{"entity-type":"item","numeric-id":4265595,"id":"Q4265595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$630440EF-5DE9-4791-BAD2-EAB778374A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93b9ef61c0084a0591467148bf9b4a4d3b982a9","datavalue":{"value":{"entity-type":"item","numeric-id":4501151,"id":"Q4501151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$D4299105-5717-4CA3-B617-6990843666EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$04252A82-39D1-407E-85BA-5703570CE042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$E9F71046-908D-4A0D-AE7F-59D78825E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$F6D8DDA7-B714-4F4B-B25A-518C48D70A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$F2489591-87FA-43A7-88DA-6136BF19A839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$DD591813-46D8-4F46-BC7A-864564AC2B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$0543B73A-2F06-42F2-BC44-69D065CA4F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45a5ccff7799ef1ef32a13fc5f4bb5fdf5f4d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4254636,"id":"Q4254636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558344$370688C6-156D-4A09-9CF2-87A57E3F8193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b05f543be1711355d1b1f6ed4693a555af5db50","datavalue":{"value":{"entity-type":"item","numeric-id":2946720,"id":"Q2946720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98022d59fd03263cd906dc1301e14f94f83f1282","datavalue":{"value":{"amount":"+0.9735884070396424","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":"Q3558344$98BFD367-4004-412B-9A74-FAABFEE9B8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07af855b64d64b1c0af7b7f7b20b7de0d3c6b92c","datavalue":{"value":{"entity-type":"item","numeric-id":1627965,"id":"Q1627965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a603839d0d5e61506e0a019431a11cb8fdc6ead0","datavalue":{"value":{"amount":"+0.8014345169067383","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":"Q3558344$AD6D4AFF-2FB7-4A0E-84CA-102EF88FE08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f29af4044ceb1ddebebc183cb78a28de1c32e5","datavalue":{"value":{"entity-type":"item","numeric-id":3478392,"id":"Q3478392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7031e23f1bddddb0e9d279590f1501454847d7","datavalue":{"value":{"amount":"+0.7539353966712952","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":"Q3558344$42039035-7D1A-4702-9014-BB8BB60455CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf7f13ae1397d42814b47f878ebc055c03bbab2","datavalue":{"value":{"amount":"+0.740592360496521","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":"Q3558344$BBB0B7E1-3401-49D5-BA8D-5C3E1F28BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1479344032656739c350d0c18b681ddbcba39c","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a06aad40566365bc34899f67d8213f1e44a94b","datavalue":{"value":{"amount":"+0.7392233610153198","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":"Q3558344$208E0652-9C4A-4B5D-964C-1A5FDF0D19AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558344"}}}}}