{"entities":{"Q4254682":{"pageid":6284283,"ns":120,"title":"Item:Q4254682","lastrevid":46677675,"modified":"2025-12-25T09:31:04Z","type":"item","id":"Q4254682","labels":{"en":{"language":"en","value":"Termination and confluence in infinitary term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310796"}},"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":"Q4254682$28D1FB63-C076-4289-B39E-B26ABC7B62F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adf76299e5a8b24527fb5ba7a19626fb683907c3","datavalue":{"value":{"text":"Termination and confluence in infinitary term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254682$BD3A076E-FBCC-4498-9344-5F48C68D1245","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddcc5e6414a29962201591ac42976d3cafd7452c","datavalue":{"value":"0927.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$971B8F56-BBF2-4552-85C0-958F719B4231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61514c50183c0ee232b6baa4654acec8a0df2c1c","datavalue":{"value":"10.2307/2586651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$62044327-AC50-4881-A263-26A341E7EF64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254682$C92C3230-1BA2-41AA-AC0F-70966EDFB767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254682$33405782-0DD6-48D4-BE1A-7D5F9F4EDE5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$F0E1E7BC-7C13-48E0-8356-3EBFD430C1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$D840F60A-EBFD-4E78-A648-0EEC4F058AA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ec71afb3c7e812db0615df59e84014bb63f62b9","datavalue":{"value":"1310796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$8B6200F1-DBC7-4894-BF86-74E574D9EAB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254682$4BDEA288-D0AE-498B-BFF6-75AF01124AEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b427a374f5a21d1a904d2606dc3f2813824c389","datavalue":{"value":{"entity-type":"item","numeric-id":803266,"id":"Q803266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254682$1FE26576-5A88-479A-97CB-DA9CEC0EABB8","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":"Q4254682$069C7844-9079-4045-9D3A-45C670E6007B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf6b6b051ad4a1e686289b21c2575b37330268ba","datavalue":{"value":"https://doi.org/10.2307/2586651","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254682$CAED4A1A-BAFD-4C79-8144-C4EADC2C4188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7bcb9e54957ec187f24831f214fc3953823ea8a","datavalue":{"value":"W2107879081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254682$2E979C18-26DA-4C6C-BE81-A3BDAC2A3F34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254682$584C7577-1736-486D-84D3-500CC2E0FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254682$E460D820-CEB0-4284-AAE7-20900BCD9A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254682$B17586F1-692B-4CC4-86B4-F73EE3521302","rank":"normal"}],"P1643":[{"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":"2014dbef09623e29fb81188d9cc0322a99516d03","datavalue":{"value":{"amount":"+0.844042181968689","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":"Q4254682$92C32514-D041-4B18-99A2-0B7F262C3DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b892d77db82c7a87699136cefdd2ca641548bc56","datavalue":{"value":{"amount":"+0.8440147042274475","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":"Q4254682$E261BADE-20A2-4116-A9CE-6444908FD7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa435edefb50e75e46962ef2429e735f4f67e468","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6a5504d0525e2739b0c08236848ea58be24812","datavalue":{"value":{"amount":"+0.8223444819450378","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":"Q4254682$D3DD089E-12B1-4577-8CDE-FB15DC9E7E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2e1abf50daa2e213f5b62126533a265d17e2cf","datavalue":{"value":{"entity-type":"item","numeric-id":2376981,"id":"Q2376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164f68d1e6ee627e931852233b70067968220f67","datavalue":{"value":{"amount":"+0.819355845451355","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":"Q4254682$48F0115C-3AC7-4D73-B4E3-0EDB3531B6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f6fec2d4c159b7b8d818a7a032bde98a306f91","datavalue":{"value":{"entity-type":"item","numeric-id":884993,"id":"Q884993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf20baca44aff4f8ed30b0fda917b26435016d5","datavalue":{"value":{"amount":"+0.8116363883018494","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":"Q4254682$6C4690B5-7283-4F01-A6B5-3FE77114D377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254682"}}}}}