{"entities":{"Q1726351":{"pageid":1737092,"ns":120,"title":"Item:Q1726351","lastrevid":53360855,"modified":"2026-01-24T19:47:33Z","type":"item","id":"Q1726351","labels":{"en":{"language":"en","value":"Confluence and convergence modulo equivalence in probabilistically terminating reduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7025928"}},"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":"Q1726351$05EAFAFF-138E-4240-BF5C-7134C5C3CCD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01dfc5968e5ae1768f4cbc2d43aec7119f1b22a6","datavalue":{"value":{"text":"Confluence and convergence modulo equivalence in probabilistically terminating reduction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1726351$A139C6BE-86EB-4544-AA98-44EEDA4CBB88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a79c53d4e605db7c2607dd5173a5acbecb39a861","datavalue":{"value":"1452.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$C0294BAC-AD4D-4F92-A279-916191E0C4EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a66ecaecdcc42dc00098785a9b2d82e89f3b00","datavalue":{"value":{"entity-type":"item","numeric-id":511018,"id":"Q511018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$DE6A8D59-EE73-42AC-974A-3F93515D18F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f838000dc0dc31708cae6bef19dddb5287f25b7","datavalue":{"value":{"entity-type":"item","numeric-id":511017,"id":"Q511017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$840DE8F1-6502-4981-837C-7DE33CAD3A8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$64A92637-DFDD-42C8-9750-C6667DD34C2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2abc0aefb7bc0228c8adbe9d8dd479925c1b7f9","datavalue":{"value":{"time":"+2019-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1726351$0C6E040C-22F6-4D32-B737-A0305B146997","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8127679a227606eb31c1cdf6e347eea0388466e6","datavalue":{"value":"https://forskning.ruc.dk/da/publications/29664f90-c84d-44cb-ab15-044e1a6edf78","type":"string"},"datatype":"url"},"type":"statement","id":"Q1726351$8C7F50CE-C685-45EF-93C0-0D2333D37F1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$73C2677F-1905-4382-9E14-7797197F4E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$AC57FE50-E409-4CCD-832C-57330E3107D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41e15fc1c7fc7d7a14eeaa4b239b8b5b4f79ffec","datavalue":{"value":"7025928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$091CAB3D-4D42-4BEF-8194-A9C35C257D4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35133f7451689b4ea3f6cdd1e0ba9dc5792dcac9","datavalue":{"value":"almost-sure convergence modulo equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1726351$9484B50C-A62E-4B74-9428-309C24860FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87d1ebee38a636f938ab7eddfda06ffbcfc3d3c","datavalue":{"value":"almost-sure termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1726351$41F0AA6F-C780-4E60-9B9A-B7B267C7DBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586e8f317c17e123ff4bca5a3e33babe237a94ae","datavalue":{"value":"probabilistic abstract reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1726351$35E75B04-ED22-4569-A522-0162E4CEBFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e0c8947f635446b508acb2e3b70c0046cf3e82","datavalue":{"value":"abstract reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1726351$C34C76B2-F58E-4D2D-8AF7-ECC5F35DAEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7245d16ec7ccfb2d0f3d2fbbcd05bccd6cfc8d5","datavalue":{"value":"confluence modulo equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1726351$7F751FB4-85EC-4876-85A6-29BD0F167DF0","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":"Q1726351$6A1472E8-FCB4-496F-AA2F-A1E91AE3EA63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85eeb1fe0d9dd8b28b2fa320f1622ef2e279a2ec","datavalue":{"value":"W2902618432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$BE536D97-CC6E-4AB5-9294-EE68DEF5E40E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89b7faea47cd47238ee85a214d2c7f7871b69742","datavalue":{"value":"Q125525914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$1BFBA949-8BFE-436A-B1A2-D9F2FC97DF98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$6DBF6E83-29AC-4806-A7A3-37F74D470A23","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":"Q1726351$3743BC05-9970-40BD-A27F-57D94A98512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$583C07AE-4B90-4E1D-976B-BD754B330B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d60c16ce12dfb2b7801e9859ff9da5737abcde2","datavalue":{"value":{"entity-type":"item","numeric-id":5055761,"id":"Q5055761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$A46A9D15-413F-4841-8FAE-B90BBAB1CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75b40d958d87f1718efeb1e4e68aa3026222efb","datavalue":{"value":{"entity-type":"item","numeric-id":1671150,"id":"Q1671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$9A3B41C0-4CC4-454E-ADBA-0C243131BE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da243cbfc0d1b21b693c2d3e7acdb1031eb76ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3639651,"id":"Q3639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$2BE35034-3B5D-4C4E-B2CC-8782496CF15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0e2d46ba2c0a8bab16d5fe1ee2aa5f11c2dfac","datavalue":{"value":{"entity-type":"item","numeric-id":2949698,"id":"Q2949698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$D6237258-6ED9-4B76-891A-8D1880BB30EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbba79cfd28409585b9d1f99cf477681648add8","datavalue":{"value":{"entity-type":"item","numeric-id":511019,"id":"Q511019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$BCA1F897-10DA-41BF-9A6D-4A4FAB022464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$64617257-B311-4CA1-BF6A-ADEA5FF855B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c877c04c541a7428908ff8a8974c05cf812abc","datavalue":{"value":{"entity-type":"item","numeric-id":4808751,"id":"Q4808751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$6105232C-74A9-4688-BA0F-7E5CB1389D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9843162a59fa35da49ca001c2249fefe442d3264","datavalue":{"value":{"entity-type":"item","numeric-id":3527308,"id":"Q3527308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$74417840-BC08-4E2E-97A0-0169AC3013CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$AE8F5233-BCB0-4295-8FA6-458E5926EE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3530d65a695b6a5ae1e632bd935e719513daa1","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$C1AC4972-CB74-4340-8E40-0B845713A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a61c95bc674f0573d406ed37aa8bab9bc414cc","datavalue":{"value":{"entity-type":"item","numeric-id":5089021,"id":"Q5089021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$F3C03216-E624-4900-9B18-A1913007609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d34eafbda89a6378a15f4884978feb2dba9a51","datavalue":{"value":{"entity-type":"item","numeric-id":2333318,"id":"Q2333318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$1BF468F3-1A85-4BB4-B6A5-77951D4E116A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4a451232f3eb7958f112910773763ea8023e52","datavalue":{"value":{"entity-type":"item","numeric-id":4909326,"id":"Q4909326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1726351$80A3AA7C-2E62-4FB6-A1E5-A291E3D28B04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e40336b0b3b505e7dab0c0ccd4ca498806061a92","datavalue":{"value":"10.1016/J.IJAR.2018.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1726351$185AC8AD-90E2-4A4D-B162-BD7D48AFB0FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e813a572a8d92235f1c32785ee8fa7bc5ae63d52","datavalue":{"value":{"entity-type":"item","numeric-id":1671150,"id":"Q1671150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8991dcc6bd49e522b92db4b98d7e32c645b66a","datavalue":{"value":{"amount":"+0.9309515953063964","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":"Q1726351$6C72A4B6-917C-4775-9F2D-DDF22F0CD0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc87aa5f921ba446626bc6f9ecc69658b14a369","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2332df8084b00f91cf6c74c9461791085207e21a","datavalue":{"value":{"amount":"+0.7747042775154114","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":"Q1726351$2006254C-2AC2-4673-BEE8-40E06BAFC976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624f151825fcc7a29898b32e9a0f9e52145bb83","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494333fb0545acb266f41e90c9770ee0617ae441","datavalue":{"value":{"amount":"+0.770728349685669","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":"Q1726351$F8B21C1D-8EAD-4BDB-85C5-82D26A12A9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8935f09cc8b2522b89e571c69e6f6a231b442f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2333318,"id":"Q2333318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ef30ca7b56d613a42e3700de0b421022fb14c0","datavalue":{"value":{"amount":"+0.7529537081718445","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":"Q1726351$10E49098-C372-4C3A-834A-65F120A6419A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3227006ca64fbafff61ebd42d18f42173e0eec53","datavalue":{"value":{"entity-type":"item","numeric-id":3000663,"id":"Q3000663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4451dc928cedaf48c23420a5e7187dde4204faf","datavalue":{"value":{"amount":"+0.7442585229873657","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":"Q1726351$4E6E93A8-27BB-4391-B492-3F98B0FC811C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1726351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1726351"}}}}}