{"entities":{"Q4585010":{"pageid":6614595,"ns":120,"title":"Item:Q4585010","lastrevid":53194097,"modified":"2026-01-24T10:40:23Z","type":"item","id":"Q4585010","labels":{"en":{"language":"en","value":"Convergence in infinitary term graph rewriting systems is simple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932225"}},"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":"Q4585010$75CBB8EB-221D-497E-8EB7-87AEA8770F93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82d214ae7bbbc7ea88123792c4860d4ee8617eb7","datavalue":{"value":{"text":"Convergence in infinitary term graph rewriting systems is simple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4585010$2ED7AE5A-A1F2-4BAE-B3D6-D07EF3BDE873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"502a744a966e64ba276fdf0a1f32973e25116bd5","datavalue":{"value":"1398.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585010$44B318E2-B7AB-4FB7-99C1-0B8B71C7B4A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98de94f96417ab3b62686cc8c8de7435fea32841","datavalue":{"value":"10.1017/S0960129518000166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585010$03C81287-CB08-43CE-8CBE-4EF91FDB7B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$9147164D-DBCF-4E54-B070-B88F24DC0024","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$3331FF30-2413-4AFA-80B0-6CCAA45BA44E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"060557f7388df703dd2d2d2d1dd4d6670ff5a7bd","datavalue":{"value":{"time":"+2018-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585010$31B12403-A091-4E8A-B54F-B8833BF5E5F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585010$A1A3D0EF-E5D9-4A5F-8F1F-42FAD824D579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aec86f0b317e86dd53a77a1317d113cd42c97390","datavalue":{"value":"6932225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585010$73E9FE59-D946-471F-8ABD-1D5950789C3D","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":"Q4585010$F9043A09-7950-4C76-8246-A3106F677877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e2dd409b62e49fc369785b0f2408ac43b8afcc","datavalue":{"value":{"entity-type":"item","numeric-id":5898164,"id":"Q5898164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$5E88F785-5743-4E50-8CD7-FEA38019ACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$883A7A1C-FBE7-47B2-A2C3-19AF204C68F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97357ae73dd852c1a8a9666e049a568a84a9a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$32C030E4-39DD-433F-8782-CE6E65A75C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$86A15197-3E87-4CF4-8837-790E50C834BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0986250a99e72d223fb0c8dae5bb3d9e99233bfd","datavalue":{"value":{"entity-type":"item","numeric-id":2888507,"id":"Q2888507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$FA39C25D-531A-43E9-B23C-4537D0D6370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f8bf03827d857a687224dba57b4240429c28e7","datavalue":{"value":{"entity-type":"item","numeric-id":5419490,"id":"Q5419490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$A4BD8273-6856-4B54-B0F6-609A33AAE9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$F22548EA-7253-40E9-93D5-99A7215DB2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$B39FC7CB-3C75-47DA-BDC3-49036D09895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$A556F8C8-F9A4-4F88-A5ED-B3FA05220C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$5A15B83F-7236-4181-B5FC-ED3C58298E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$1DEADAB4-13A8-4281-A2B4-A2FE9E79483C","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":"Q4585010$8BE5CBEC-B8DE-404C-B248-0CE7E6B6D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$3E93BE05-649C-4446-92F5-619C105385D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$7EF7446D-432C-4DB1-81CA-34C1EBCDD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4585010$588C1EA8-DA8B-4E93-B126-4B2EB15795F0","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":"Q4585010$EEE6478F-732E-4EF4-B8FB-6B2F5423176C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce5b94e5066c85da8493551025bb78e4e727f1b8","datavalue":{"value":"https://doi.org/10.1017/s0960129518000166","type":"string"},"datatype":"url"},"type":"statement","id":"Q4585010$B39D4638-4CCA-4F44-B9E2-36937FA2E894","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"570f142b266e71076f4f8f964c350579b766a9d9","datavalue":{"value":"W2887986604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585010$E3F0BD19-C0BC-4420-A138-8E1671DBC795","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973e1a13d24f23a6cadfa382d497a582c05432a1","datavalue":{"value":{"entity-type":"item","numeric-id":5389078,"id":"Q5389078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab6c9fd566667ff5c4752518cfffee692c0bb6d","datavalue":{"value":{"amount":"+0.9075313806533812","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":"Q4585010$CFD30CC8-13BD-4C0E-994D-90953B1B858C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e664d94900514794f7162a6f95c05fa87bba23","datavalue":{"value":{"entity-type":"item","numeric-id":2888507,"id":"Q2888507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad8a163bf900229e1e306001d93652f05ec61f2","datavalue":{"value":{"amount":"+0.907135248184204","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":"Q4585010$E37ADD42-EC42-4C79-8E67-C9E75AFFFCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55d14aed5363e0fb687ea97e0905233b016724b","datavalue":{"value":{"entity-type":"item","numeric-id":3388523,"id":"Q3388523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268ed440208c856e4f13886e21fee22f5ff06873","datavalue":{"value":{"amount":"+0.8846428990364075","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":"Q4585010$6258438D-3A0C-4579-B40B-3521B4600CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5598ee8b4b27ef75188452446c37c748b9f195","datavalue":{"value":{"entity-type":"item","numeric-id":5111897,"id":"Q5111897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c63aabe3bb9039192f800f4da3e548d0fe5651","datavalue":{"value":{"amount":"+0.8660750389099121","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":"Q4585010$82A34DD9-4B93-4C0D-AD15-89D54D24DF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488a60c2e3b2223ab85828f382c76e6a8bd7ec76","datavalue":{"value":{"entity-type":"item","numeric-id":4222803,"id":"Q4222803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c27f2403309c7ede3f5f42de777eff7fc927904","datavalue":{"value":{"amount":"+0.7963120341300964","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":"Q4585010$B87260DC-C401-4E1E-B6A3-3E0FC0C2444B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4585010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4585010"}}}}}