{"entities":{"Q6856015":{"pageid":20632729,"ns":120,"title":"Item:Q6856015","lastrevid":84259979,"modified":"2026-05-14T07:59:14Z","type":"item","id":"Q6856015","labels":{"en":{"language":"en","value":"Confluence of conditional rewriting modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161615"}},"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":"Q6856015$499B76B8-FAE4-4AF8-A01D-D715CB505A16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26e36451a936cc1ab10ec6c84c8ae691705436c5","datavalue":{"value":{"text":"Confluence of conditional rewriting modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856015$55EBBDA9-A2BD-4D43-BC3B-1A5EAB54A546","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cae9e3ffd9799db6c25a8686793901f40cab9043","datavalue":{"value":"10.4230/LIPICS.CSL.2024.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856015$432631B4-7026-4973-82E9-4A9345257D51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$22488477-02BA-4475-A7CE-3B2514B798F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856015$361BE0A7-962F-4B43-833A-2F3628F78949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856015$18413479-08E7-4A0A-8860-098C905C6733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856015$32D59CCA-9C51-4F23-B0A3-A754BC208BFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e3ace121951f7b7f2ef58ad66d9d9832ff8fab","datavalue":{"value":"8161615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856015$B25BED26-1ACC-4541-82D1-1AC7AE70E2CC","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":"Q6856015$C7E7FAB8-EC01-4E7F-93D1-735DAAA67BB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856015$8860DD51-77FD-4B39-B998-6A05C5C6ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856015$740E3A23-C3B5-432E-891B-83BED664D877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856015$7DE5E962-A2FD-4B4C-B8BB-B1682B12519A","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":"Q6856015$BA12DF1D-706F-4B98-8F26-FEF5E1363519","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":"Q6856015$32CBE04F-2F4E-463D-873A-797665C25624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$69A78710-6D8D-49A6-9FB9-3A600E0F0962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$4CBDEF19-516F-4360-9AB3-F4C89D8C2C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630196765e23a48a0f7120cd525c10258da6f13","datavalue":{"value":{"entity-type":"item","numeric-id":2305421,"id":"Q2305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$4549FFCB-C183-4A20-A0C9-A23DF323C341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16258d9a3a703db616d63050ff5a071f95880252","datavalue":{"value":{"entity-type":"item","numeric-id":5049020,"id":"Q5049020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$253A6893-1853-4098-8E67-E1883B013D02","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":"Q6856015$956A2AD5-EFE6-41A7-8D4B-C58C65C8CC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$1F10BE0F-B879-4880-A9F0-FD060E0BA4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$69DB38ED-EC95-4354-960C-3EF231875E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$CDD5BD03-EA03-4FDE-82A5-4A307E4E175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$AD1F826C-CCB5-49C0-A254-1DD17671B4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b0bc9d3659e8f2b5629b306693b5858611998c","datavalue":{"value":{"entity-type":"item","numeric-id":6151615,"id":"Q6151615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$8ECEC076-EE8E-450F-BBB8-FD79E1BCDA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$9EF4613B-F67E-4B27-A8AD-9B625AAD6BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$BE466240-ADD5-496E-9F93-A30F4D2D3251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$58AFB279-505F-4019-9D13-FE4B1FB57C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1503f29dae7b866dcfe74c37fb3ccc4700ab33d","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$016E6B89-7923-443C-A5F2-859989C4C076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$4766CCD1-E7DB-4425-AB2C-B455098A4AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db57d83c4539b5e1e312a9885e87a573f21cf309","datavalue":{"value":{"entity-type":"item","numeric-id":5562604,"id":"Q5562604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856015$D7591C24-8645-466C-B22F-80455B6A57CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence of conditional rewriting modulo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_of_conditional_rewriting_modulo"}}}}}