{"entities":{"Q5302902":{"pageid":7332476,"ns":120,"title":"Item:Q5302902","lastrevid":96022115,"modified":"2026-06-05T10:15:02Z","type":"item","id":"Q5302902","labels":{"en":{"language":"en","value":"The Confluence Problem for Flat TRSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492005"}},"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":"Q5302902$E27C4D3B-69EF-4175-8521-7BA2E57DA77D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c075c9afcf73a4341901dd73864f24868266f6ea","datavalue":{"value":{"text":"The Confluence Problem for Flat TRSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302902$5B003327-91B2-4272-970E-C3E9B9507549","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d45463daf323c4a3d745488fc95bfbb363639cc3","datavalue":{"value":"1156.68433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$13159CFE-7E31-41DC-9E78-6268BF11AC54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f81d59902f2db74ef377b7a1ab2bd362c431e72","datavalue":{"value":"10.1007/11856290_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$F7ECC0D4-0A19-4A02-AB59-9F9011C22266","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b66253fc9d0dede6c2deecf9c5d43a5504734a5","datavalue":{"value":{"entity-type":"item","numeric-id":844202,"id":"Q844202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302902$E4F6801A-B420-4E34-B8AA-44FB4C258592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302902$4DF00B06-0492-4180-9A61-6011840EC79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302902$B6E6570B-56CF-4630-B89C-8D832230CF1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302902$1987DA9E-B899-4257-8F8B-A81E68778686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302902$4197A429-0FA3-4C4C-8FCB-A0EF6AD3EA3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39c34d0c912699b2c4bc7fa829a6167ab89e24b","datavalue":{"value":"https://hal.inria.fr/inria-00579010/file/MOJ-aisc06.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302902$17D692D2-C709-495E-AD08-2807B72F021F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$D81577E5-968C-4F3A-8629-C4DFA3AF3345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$AC4212BF-1E5A-4B07-A017-7E33FC53B36D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc9ff34285d92170b4d3394e9d566d611b0b7d27","datavalue":{"value":"5492005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$79CB3AD6-B2A3-4665-86E7-50D953F4D030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c75076aec4388885343fad864fb9ebaf756494","datavalue":{"value":"Term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5302902$F333C572-403E-49B6-9074-960CB3041C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2571cc633497ba01f5c4c2c7acca9ca7fe19f854","datavalue":{"value":"Decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5302902$F0BEBAD2-C776-4CA3-99FD-6F90B62D0D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebe36b1d4dd3172f1079b04a0839e06050a872","datavalue":{"value":"Confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5302902$97639408-9624-4395-99ED-C89E33015F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e45f9cf58bd4fe41b3c1c5b6120c17e008e0b2a4","datavalue":{"value":"Flat","type":"string"},"datatype":"string"},"type":"statement","id":"Q5302902$55A82D75-18CF-47DD-AF93-EB01E6992C37","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":"Q5302902$16A896BB-CCB4-48CD-9C9F-D427448933EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a45b9f40c054fc8a5e6438cb1254455f3c2a0eb2","datavalue":{"value":"W1499960275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302902$1F19D407-D1B9-412A-87BB-38E617C6C095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8057b9d3f4f85f83193fc46957d21b77f8e7105b","datavalue":{"value":{"entity-type":"item","numeric-id":734041,"id":"Q734041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254409a8e12bd8e1cf9e9d4e04437a462e8abc5c","datavalue":{"value":{"amount":"+0.908344864845276","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":"Q5302902$E7EBAEC9-3728-4CF1-8319-B37DA1D13DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6b2c1645bd8130acddd4ec8cd643244e39f6b7","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f3ed4feb8b410e491c4219971beb3fcab6c181","datavalue":{"value":{"amount":"+0.878183901309967","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":"Q5302902$86693121-BEE3-4B5B-B96D-17F3A1E68B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5c5e9c98b5a3a42b26f0e9f4937346d2329bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5267423,"id":"Q5267423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4013c430334d7f8ed9fcd37f1c286cc15f5a91bc","datavalue":{"value":{"amount":"+0.8620427250862122","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":"Q5302902$EBB2F2CA-C6F2-4E6C-A016-BAAD60F96437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9eeb1e17c825a1a3a496c5c7d18529c312c8ba","datavalue":{"value":{"entity-type":"item","numeric-id":844204,"id":"Q844204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29f551c24f97eaeaa431f0c7e86f18e068a35de","datavalue":{"value":{"amount":"+0.823824405670166","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":"Q5302902$3552D810-C308-4403-B393-B41C07306E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340086969523cb2c3ee426b18857c383b402099f","datavalue":{"value":{"entity-type":"item","numeric-id":5277699,"id":"Q5277699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c0811baee70b3483619307386c9a003c220470","datavalue":{"value":{"amount":"+0.7797776460647583","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":"Q5302902$22B4B8AB-D0CA-41B7-A3FE-A9E4F04AD40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Confluence Problem for Flat TRSs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Confluence_Problem_for_Flat_TRSs"}}}}}