{"entities":{"Q6496624":{"pageid":14075397,"ns":120,"title":"Item:Q6496624","lastrevid":103419251,"modified":"2026-06-06T07:20:11Z","type":"item","id":"Q6496624","labels":{"en":{"language":"en","value":"A Critical Pair Criterion for\u00a0Level-Commutation of\u00a0Conditional Term Rewriting Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7842295"}},"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":"Q6496624$9421D72E-353F-4AF9-8E8A-14CD9B264BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"742e8b3f0f3472e017b22e0ffcdf1fa9a6a19cc4","datavalue":{"value":{"text":"A Critical Pair Criterion for\u00a0Level-Commutation of\u00a0Conditional Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6496624$F67FAE61-63D3-4A52-BD95-26BFB264BEA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93b13115e1eb01476c6e22fdb2e6756263e18f96","datavalue":{"value":"10.1007/978-3-031-43369-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496624$BEE9421E-C48B-4431-ABF3-B4A5A2F0195F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4196320b30eb992f979a9c250552bff6328ba14c","datavalue":{"value":{"entity-type":"item","numeric-id":6496622,"id":"Q6496622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$FCB0D247-D84A-465E-A5E1-F54B97EB6F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e86812f616cf8204393a743ea1abdcdc5bbbc1be","datavalue":{"value":{"entity-type":"item","numeric-id":6496623,"id":"Q6496623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$7C600A69-8595-4429-A352-720FB95BEE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$A421F542-53F0-4DE5-A16F-2F518CA637FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfe8f812c44973320a5b5393ac1a99b462a2ece6","datavalue":{"value":{"time":"+2024-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6496624$22EAC7A0-8CD8-4712-BABC-7613BABC8A74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496624$B2D8C31A-8A44-4C0A-9AC2-52E548D50B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f015f6b41a7185df44d5ac74aa36545776b3007","datavalue":{"value":"7842295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496624$09ABEF5E-A0F7-4CC9-B7E7-37A7DDE50C57","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":"Q6496624$9F07936B-91F1-42BC-AEDF-1D5470812A32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e1c9c18725283d9ce708e2a2296395195ca247","datavalue":{"value":{"entity-type":"item","numeric-id":2180238,"id":"Q2180238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$4C5F1C28-592A-453C-B663-A1366E82DC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$BFA7B284-3E75-47E5-B3FE-3A8C07E23AD7","rank":"normal"},{"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":"Q6496624$587A4D09-FA63-4FAF-A147-1CCAD249E4A5","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":"Q6496624$9F0394C7-3BB1-4183-B467-2EC983BDC1A8","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":"Q6496624$1145431F-348F-4FC5-B407-C984B4E73E03","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":"Q6496624$FAF11A4A-AB0D-4F38-B735-D02772B5A90E","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":"Q6496624$7AC741F1-6D97-452A-824A-B36339BFBFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$31DB93C1-090B-4F01-817C-FD6F9794FE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebe330482a25481526c9eebf18b5ee31078c61","datavalue":{"value":{"entity-type":"item","numeric-id":5055830,"id":"Q5055830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$CDB75312-01CF-4EE9-8010-D268A994E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$A9EB35ED-26A0-4661-8BA8-CCF27F24D2C5","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":"Q6496624$7ED05F17-564B-4C31-B385-666414098979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3d2c1359c849b24d107069d06f1318ee39af4","datavalue":{"value":{"entity-type":"item","numeric-id":2518609,"id":"Q2518609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$BAFCF471-EB13-446B-BC3B-4491FE1F6BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27794eeffce4bf0bd1a5c3cadef3ee24d0346726","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496624$3D6A2252-3909-4C93-AA9F-20A20508E79E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d6f42f52d0e470da5862c55d4c2ad971a79eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5881180,"id":"Q5881180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c3751f2a04ded695ade76841aa125ff8a7cb88","datavalue":{"value":{"amount":"+0.7918888330459595","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":"Q6496624$D5834545-5BCF-42AE-B7E7-93075F4D92A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46145f225bb86a72f1220d39b897090d42801d68","datavalue":{"value":{"entity-type":"item","numeric-id":5055830,"id":"Q5055830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c523cc5a790e791015bb61d7144c9d10d9457f3d","datavalue":{"value":{"amount":"+0.7886450886726379","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":"Q6496624$1AB7D60B-C4F3-4AF7-A0E5-1FE859195578","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":"6ce9cda9d2a4fc69d8caf241578fd40161789852","datavalue":{"value":{"amount":"+0.7880236506462097","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":"Q6496624$D418A58C-69C5-417C-A278-01710E639720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f583811da6cd9156619d5ac3c9812ba42c67d99","datavalue":{"value":{"amount":"+0.7822425961494446","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":"Q6496624$284671D7-A562-4A64-A84A-3B27B93C4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22166a6f863f3d93e30ac50b27836a39500db44","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0db4de2a66ebc4f6e2ab96a17cc5760e6557f4","datavalue":{"value":{"amount":"+0.7797499895095825","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":"Q6496624$81EE1827-3F40-4530-8693-2F70EBD1A4F9","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":"Q6496624$54BBD153-B095-4A7E-98BE-3184FC64D331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Critical_Pair_Criterion_for_Level-Commutation_of_Conditional_Term_Rewriting_Systems"}}}}}