{"entities":{"Q2405266":{"pageid":2416009,"ns":120,"title":"Item:Q2405266","lastrevid":57610146,"modified":"2026-03-31T14:54:06Z","type":"item","id":"Q2405266","labels":{"en":{"language":"en","value":"Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778418"}},"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":"Q2405266$CDF7A1FA-AF92-4E67-B553-EF24A32B1B80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68310ba3eaa758091d7dae846ec2c2e486adb53c","datavalue":{"value":{"text":"Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405266$44B29B66-8DC1-4ECB-BB9F-9C9DB03D5EF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c0f9ffad0d7d0986ab7b86e0f858730c6969b12","datavalue":{"value":"1494.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$77A8DA4D-BD38-4589-B307-8E4AAFE265DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"103f87ebd02817a38de297a3a96694e946474c65","datavalue":{"value":"10.1007/978-3-319-63046-5_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$DF2D3A65-6A5C-49BB-BBB3-65A1487BC7E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$EF4E4BD1-8DE2-4608-9F6E-2167DA7AB98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f09e0c9b9c9775dab2ce3dac391a15bd930ed74","datavalue":{"value":{"entity-type":"item","numeric-id":2405265,"id":"Q2405265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$F01FD5A3-7BD8-4AB6-8749-2E49779833DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405266$3A2D4D88-0593-4B61-9BBE-14EDAD80F9A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$B5B13E12-B698-4BE7-A3CD-F4F635D8A022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$7C72FC99-57BB-483C-AB7E-0DC9D83A8C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77b0f58dac77f1fbdea33e9e5613a2f3138ea4e3","datavalue":{"value":"6778418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$9ACD1C2E-9BA7-4028-814E-4C8C609C3B9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$7F45C004-E719-4FB3-AC06-1225B2D9E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$162B9CF9-B842-4E02-AFAD-FDA39E9B1441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$D3BE040A-EAE0-4516-865B-F497BE35B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38554b5cf54b6ff9f3a3a5ecfc782006b66c7e7e","datavalue":{"value":{"entity-type":"item","numeric-id":33394,"id":"Q33394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$3F6E35A3-DDFC-48CD-83EE-DE37273FB3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b9f611e4fa2654fcdef78b9b33185014b910a270","datavalue":{"value":{"entity-type":"item","numeric-id":33393,"id":"Q33393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$94DAD441-0F52-4327-9913-253347018FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$2FC3CBD1-BBBD-4F13-A255-8F117A153ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$DDAFC21D-A16E-4ECD-B781-A11D1BA5BF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$400981FC-7216-4CD3-9B06-926B06130D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$255BAC31-3221-416D-A3AD-2D46E8BC7136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$0DBE680F-7899-4543-B6DE-648B9FF995C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$E4A75108-DF2B-4136-B0D3-CC9949B45390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$271852C7-CB18-4348-9531-09399FBA19CC","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":"Q2405266$F9EE0A41-F940-44EC-A347-045393691F1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56ee85cb4f6246fb0e769efc99c9f11c6dcaac69","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405266$A63B5678-333C-429C-AD3A-BC33580E8E05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e566c6a569c658dbf1c2a6f46d9727bc03d57ee7","datavalue":{"value":"W2735895925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405266$8B561497-8EED-4E6A-95B8-FFA7569F3AD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a102b7150f502c9629443c8aa80dd29f9919740","datavalue":{"value":{"entity-type":"item","numeric-id":2829264,"id":"Q2829264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9da061449a29d10ceca34e14098f050afcf4fd4","datavalue":{"value":{"amount":"+0.8645331263542175","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":"Q2405266$84800583-A4B4-4C40-AD82-94AD6E5EEBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b96dde377c50cba7f7f28c066c1819d01f115b00","datavalue":{"value":{"entity-type":"item","numeric-id":5369494,"id":"Q5369494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421c692a90583144e7efb117bc19dbb7a20715e5","datavalue":{"value":{"amount":"+0.8583418130874634","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":"Q2405266$2AD0F5A6-2698-4175-82BD-FAA903D45D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1a51a10e36cb812c421b859a331e1592d8c601","datavalue":{"value":{"entity-type":"item","numeric-id":2985126,"id":"Q2985126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795d846f5554f12918c16ca714e7d834a59c3389","datavalue":{"value":{"amount":"+0.8337551951408386","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":"Q2405266$7D1F91A4-F8B7-493F-A1A5-BF037E005E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6a8c4e3eb9750e028c99613f2c5588b434fc97","datavalue":{"value":{"entity-type":"item","numeric-id":5277884,"id":"Q5277884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6557b739159a2c3d29e32bfa21b8ec6e4e64dfca","datavalue":{"value":{"amount":"+0.8240504264831543","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":"Q2405266$96000D21-D494-4F92-8B2C-C9FBC0C5E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf024aa9c11d7a9325b0e6852ea3f518f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":5055864,"id":"Q5055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23b05bc823e993e47c5f0b8ff5906124b90cae7","datavalue":{"value":{"amount":"+0.8181259036064148","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":"Q2405266$CC547D9F-3E17-44E0-94FA-F5BB5575B21E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405266$65303548-E504-41F0-A518-EC3B7527B1E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405266","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405266"}}}}}