{"entities":{"Q5747888":{"pageid":7777439,"ns":120,"title":"Item:Q5747888","lastrevid":92879681,"modified":"2026-06-05T02:59:40Z","type":"item","id":"Q5747888","labels":{"en":{"language":"en","value":"An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785575"}},"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":"Q5747888$736A0CDC-F7F3-4AE3-8079-A0EC6519F4D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09c015976ba446e14f28a7ea7d7e87ad82130d74","datavalue":{"value":{"text":"An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747888$66D37E8D-BF5C-4C30-A6AF-DB1E8B64B6D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35d8c13d61b9ac3b340c0851cbf823137a1111fa","datavalue":{"value":"1294.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$5698A28F-8EC9-4611-BA39-0ED220604D7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb0892b337ca7ff2f265eef4d0e5e969f7634003","datavalue":{"value":"10.1007/978-3-642-15582-6_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$9C2A9483-5F51-48BA-AB53-D67948710511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ef45ca402cddc8564f93d85757f108c3144fb2c","datavalue":{"value":{"entity-type":"item","numeric-id":313979,"id":"Q313979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$E6BF46E9-0F00-4EC4-80E4-81C7A3AC851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aebaf485d21d0daa2aee049d81471e99fc05c8b","datavalue":{"value":{"entity-type":"item","numeric-id":246421,"id":"Q246421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$DCE6AD1F-EE2E-4168-A031-82490BF2A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedde1d3f535e2614e4884ea9598d0705867c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":277214,"id":"Q277214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$6E138C5C-F879-4543-BADE-B05A7CFC24F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$D363A2AB-4604-4ADE-B09B-93A43E676BCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5945d2a448b067a1cf2f5ac3296fac055bb088","datavalue":{"value":{"entity-type":"item","numeric-id":5747846,"id":"Q5747846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$AEE05899-C72F-42FB-BB2A-A03C4C63C057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747888$095BF10A-3B37-4A63-B72C-24BC91C635D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$8ADA0D02-5794-4CF4-80D6-D52973D24C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5acd82496d22aa179ed7948314f87d646a2926b","datavalue":{"value":"12H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$92CFD95B-E19D-48DB-A24F-467E021A289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$64DC557A-B740-4F35-A316-C9E99908ACDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c842deac8c8b7f6eb2fd563c24a9fc940cb3a05","datavalue":{"value":"34B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$E0E7246E-319B-4FED-8329-9104BB386017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20f31931667991697a771bdb91a9fb5e06b89325","datavalue":{"value":"45J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$4BFA5E0E-E5E4-4F14-B0A8-A9B96C30DB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$4BF7577C-02B2-49E6-AACE-3AB010017C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$77F0CA2D-4A5E-447A-B79D-527F310A02EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3c21ab5e10f1de1cbac5227f80b02defbdf08c2","datavalue":{"value":"5785575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$A4F9E1DF-32E6-4868-B4FF-0D237885C9F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747888$3F550329-B645-4068-9110-D41E998F5287","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":"Q5747888$B250D409-6720-4924-8870-C8277F27E1D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5410d4bd4fc97d03715928fad3e6cb8f82884e1f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15582-6_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747888$854B8ACE-131F-4D42-BE21-E66FE8EBA8FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"995f63d27295fc918f524be21bb8a187824e1924","datavalue":{"value":"W1569658558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747888$A58BC23F-A7EB-44B5-B7A6-CCFF283FADB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd892a143356a3b3320749c2404bfc8f84955e3","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840111c4937ce52299b1e9bd78d3f5ec4f79c3f5","datavalue":{"value":{"amount":"+0.88275826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$DD76B9C0-B709-46FC-89DE-F78F3262879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1af317d7402ddef83cd453c4bb9ba47ac16b45c","datavalue":{"value":{"entity-type":"item","numeric-id":5879266,"id":"Q5879266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f2f2e9212772aef1d392987634e135b89db717","datavalue":{"value":{"amount":"+0.86920035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$4F61FE25-8EAE-41D3-B3C4-28E62952A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7285990d705aafc8a4da1f28c2bbb1d9dfc93","datavalue":{"value":{"entity-type":"item","numeric-id":5170807,"id":"Q5170807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048b0da554f50b1899f42a153c03f3af6c65caee","datavalue":{"value":{"amount":"+0.8545341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$91D68094-74F1-47AB-8B0F-294C06891B13","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":"a1bd152fc6a5bd498c30f090069d12f1ad6e00e5","datavalue":{"value":{"amount":"+0.85105276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$3A3A5AA8-E04A-439F-8B0C-ED1B490CB3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5dbeb3e27a8042e47f6871e1e381323afbd19d","datavalue":{"value":{"entity-type":"item","numeric-id":5277876,"id":"Q5277876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8cdf8f5ef9964107aed411be2c166a22aa03336","datavalue":{"value":{"amount":"+0.8475559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$B56485C5-8586-4D74-88A4-DB6AE4AFBA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea5dadae5630418a05af055b27cb215dd77ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":1111012,"id":"Q1111012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8062f41d8cbd54baf5905ac34b0334fe56095e5","datavalue":{"value":{"amount":"+0.84542465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$7E4C903F-71E8-42A6-B6FE-64C1CEEF03D5","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":"21cd25201cd9548bb151a629cc73a32b4dc119d4","datavalue":{"value":{"amount":"+0.8423993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$891DF480-EFE8-4624-B379-8DF8E509D4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3e13ec7d137f01950a39a61f32d43b8a63ecab","datavalue":{"value":{"entity-type":"item","numeric-id":5419491,"id":"Q5419491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c168854f8e5639100adbd5d719ed75c8b07b6539","datavalue":{"value":{"amount":"+0.8419645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$2110A3AB-B658-4F50-8023-00F5F1A6ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f83a51966cc561237692e3085722239f180377","datavalue":{"value":{"entity-type":"item","numeric-id":3806799,"id":"Q3806799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4557534cc0a14530a719577c74cd690f29088543","datavalue":{"value":{"amount":"+0.8415061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$DF5968E2-949F-4A3B-9DF7-02CA2784EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f54df1bbf11efb4735293287eca9f501744a1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1101209,"id":"Q1101209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e894168b9a93c68d06cc6bcd642c77d12eeba260","datavalue":{"value":{"amount":"+0.8414031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747888$6DD38352-F470-4791-8629-D85EE0DDB28C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra","badges":[]}}}}}