{"entities":{"Q407556":{"pageid":409323,"ns":120,"title":"Item:Q407556","lastrevid":42431750,"modified":"2025-06-27T14:00:49Z","type":"item","id":"Q407556","labels":{"en":{"language":"en","value":"Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018481"}},"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":"Q407556$A53BD8EF-DC3A-4DF2-BE9A-A92897459757","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8724b212a5a82f350b52d02eb50ae7d13e0952b4","datavalue":{"value":{"text":"Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407556$51FFB557-DB0F-48C2-A393-32783E1E2BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2a2e3b5380ad5d5c1b2c0b1025e28096f35c840","datavalue":{"value":"1234.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407556$CF58A9E1-6844-4D52-B734-82661AB3BF00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$2D10B22E-FACC-40B7-A929-B3A4212D13CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$E6110338-F2A8-4940-AE9C-F257B3CEE872","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$DD79C015-9BF4-4EC4-B688-8F3D5A9E280D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1770c1bb6bb89dcd261dc8678413c0c987eaa3b5","datavalue":{"value":{"time":"+2012-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q407556$D94ADD05-F1D1-40C0-926A-AC52D86FCC91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407556$9ADDC1B5-BDA3-4B45-AE70-3FE213D0504D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dea9aa182f1ece004c19f152be380084b5e5df6","datavalue":{"value":"6018481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407556$696710BC-ECB1-4F8D-9B9A-847157380D39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q407556$8F1154C4-2C23-4F2F-86AC-7D2D4155DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q407556$22D24699-D50F-4FB2-8FAE-1A50FF64528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q407556$5E362295-D418-484E-929C-48A99F3A44AC","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":"Q407556$37936820-DD9A-4715-9802-72B3806D435F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfa5d23bdceeb0062b70ac360f5146220444ccbc","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.06.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q407556$B48138A2-12F3-4E4E-A4EB-8394DFF94F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e648184f53944efabe5fa6819a61a5828650e96","datavalue":{"value":"W2167541995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407556$7697014C-2389-43B5-918E-6ABE6DBEE076","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"facb68a3f5c3aaa7972b89a35e2b0770a73aace7","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$A64E6B7A-6C06-4B4E-BD04-E59BCA4B80D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3faa2fe777bdd3b70d1a845f296c9eabeb910","datavalue":{"value":{"entity-type":"item","numeric-id":5878911,"id":"Q5878911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$1C6A692C-382D-4593-9373-BCBF21287F42","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":"Q407556$A1078B20-BCD1-4F3F-94BD-7B979A85390E","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":"Q407556$1CACA30A-B3BF-4116-8F25-23996B22ADF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6ebe546bb22deea94d20817802960459c534e8","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$7F2C26C7-BD76-43D1-84AF-9312B7AE28D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2d5d639516971267796ffa6fec41921dba4da0","datavalue":{"value":{"entity-type":"item","numeric-id":4645811,"id":"Q4645811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$D9D6E3BE-B9BB-499E-BF80-5560BE625213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef229f46b1a67fbc06f4fb8e5f730e9c4cf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4594227,"id":"Q4594227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$7FA03394-BA55-4E2A-8710-9A3EEBD0471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$5BEFC88E-53BD-4B00-8BFE-DDB734BD48FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729f611656ef61d6b81eafa6db0f67fcd38c4f94","datavalue":{"value":{"entity-type":"item","numeric-id":2873677,"id":"Q2873677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$763B4F44-0BE5-4857-B331-1470195A2B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$54B57FB2-2FD2-47BE-BB2D-405CE41E9BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52a4f5dd25dc9b4775fc73952d95b0c6b8eb57f","datavalue":{"value":{"entity-type":"item","numeric-id":4705622,"id":"Q4705622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407556$E143D6C9-0563-44BD-ACE7-D0CB09986841","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d43726215af239d0dd26f72205103750f32e0b4c","datavalue":{"value":"10.1016/J.IPL.2010.06.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407556$9B00404F-D24B-43CB-B3F0-3DC87CCB7C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:407556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:407556"}}}}}