{"entities":{"Q6987756":{"pageid":21429546,"ns":120,"title":"Item:Q6987756","lastrevid":84013421,"modified":"2026-05-07T22:26:07Z","type":"item","id":"Q6987756","labels":{"en":{"language":"en","value":"Left-linear completion with AC axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036513"}},"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":"Q6987756$F86FCBC5-74BA-4753-B4FE-7E4F6875E3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b99c87dbd904db719d3846e87ac78d2cd202b19","datavalue":{"value":{"text":"Left-linear completion with AC axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987756$F61CAAB2-A487-4327-8C9F-F55725ED9818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7757ac42268d68d2b0e58385378438291e2b7d","datavalue":{"value":"1571.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987756$A7233DA5-1100-4E6E-83D7-CB9F88F7C945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d96317723c30a2388c1f7ebdb22bbe210930a98","datavalue":{"value":"10.46298/LMCS-21(2:10)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987756$655FC428-D16B-4763-A72E-FCD28E85E675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c14e9066edb670f410f158c8aad9211d48f52e4","datavalue":{"value":{"entity-type":"item","numeric-id":6492758,"id":"Q6492758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$A4DA7B7A-9678-4F7D-ADC4-B5FBEB5D8977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbf80f7e67c864eea20bacda65f1ad6545214beb","datavalue":{"value":{"entity-type":"item","numeric-id":352957,"id":"Q352957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$5CF3F389-194D-4AF6-A46C-EC16052E075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$5EA86EE7-A816-4804-A369-EE3B77AE501B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$70C8A098-4F53-4B7E-A27F-17A190FFF626","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987756$1288B6C3-ECFD-4470-8852-0DD90B05DD96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987756$8D7323B4-8B72-461F-8B0C-2BD0CF9A886E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987756$D195BCC5-4D11-49B4-88B4-C5AF26313E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39a8025c2213a3da8f21a27fe5121285eed20891","datavalue":{"value":"8036513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987756$9C14E54A-318B-42B8-B348-57079FA1F596","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":"Q6987756$482D9A14-9616-4240-8842-69A129D5BE88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987756$AD7AE02E-DD34-4C4E-9748-817A104028AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138e1d6a8c8752f13f056b5d0a28db61a30eeb1d","datavalue":{"value":"AC axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987756$480A5D26-E699-4F25-BC64-D7E4B85F2732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987756$FDCF5BDF-72CF-4C16-8A24-CC6B92FCD327","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":"Q6987756$B3FB661A-718A-4DF6-B3AD-928DB2A56B92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f68d0b3ba5d1aa0c2f3bb1333e9ae7de4bca10","datavalue":{"value":{"entity-type":"item","numeric-id":6987756,"id":"Q6987756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$D7FAC0BD-B970-4994-9BA9-4EE09066C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ccf3fb199ee5558c5d00729186a10b51da3f09","datavalue":{"value":{"entity-type":"item","numeric-id":4698534,"id":"Q4698534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$28B2048B-15A5-4C7C-8CA8-24A77D279495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$79D6D618-3608-46DC-8FAE-387544229A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa3cb4eed92e572c0b080c767bbb92340713510","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$CC892394-7305-405E-A297-FE7CC6CAF4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$A46AC9A4-CDC6-410F-A0DF-6AC8DC8A8B08","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":"Q6987756$35291BBE-1619-41E3-8DD1-A6409880336F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc32522e0062cccf7ff7280961b0c091134e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5901563,"id":"Q5901563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$3723A492-08EC-445E-82DD-5F82BA05CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$CB6C202C-049E-4C2A-BF93-246F123C58B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cc4f7dc3b6f23d799438b73bf0775d1ebbb4ef","datavalue":{"value":{"entity-type":"item","numeric-id":5881280,"id":"Q5881280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$87BF7090-B133-4728-A61B-23EE77DD287D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$010C91B7-E9C5-4331-92EC-AE28B7321F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88396b42ef215a0d760413177404b48a411db9d5","datavalue":{"value":{"entity-type":"item","numeric-id":773751,"id":"Q773751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$3FB319B5-1A08-480C-BA48-A606B65B4447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274736e3c02109cf273cdf7bf9017ac1fe6ca469","datavalue":{"value":{"entity-type":"item","numeric-id":2958383,"id":"Q2958383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$A955791C-FE81-492F-859C-7F4E53AC67C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d91f6b54ea1732541feaf142f2b5adeceb370f","datavalue":{"value":{"entity-type":"item","numeric-id":5049021,"id":"Q5049021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$95CDB0B4-EC27-4209-9748-782857131223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b662cdedd274fd3998d5cf1e8c439192e2b5118a","datavalue":{"value":{"entity-type":"item","numeric-id":6159916,"id":"Q6159916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$33142D9C-B0DA-4F3A-86AC-E6FE43A16B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce757064dfe21d0d1ba4275c47d9a7d60bb19a9","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$55BBBAAC-9089-4C48-BC06-44CD1A6FD326","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":"Q6987756$53DDD803-B24D-480A-AC7B-C6C7B5797339","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":"Q6987756$74BB976E-3F91-4A9D-8DA7-5ED614A2E327","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":"Q6987756$46791051-9299-4451-87BA-42F127CB1A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cafbc2d85d46d1118f546505a693afaff05b05","datavalue":{"value":{"entity-type":"item","numeric-id":5389074,"id":"Q5389074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$CBE73987-A263-4D28-B2CD-3FDFB75332BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a00e564510c152430ba9f59c7b7c4f0c9042fc","datavalue":{"value":{"entity-type":"item","numeric-id":1106657,"id":"Q1106657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$A2BDACC5-979B-442E-B2DC-5CF9BCB2443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$8E91FFD8-1AAB-4AC7-A946-A8B2DC2D2518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$611C7EC4-F184-48AC-B9F4-A766F412F69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f029f25ce66f1e8b3294e6cdf267f00f417ca7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1836978,"id":"Q1836978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$15BC7C33-2E52-4024-824E-173E723BC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968e3a53b98a258a8caaf8b6a00221a31c43ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":6492759,"id":"Q6492759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$8062813D-AC48-4BDC-B93B-E2ADA88D2134","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":"Q6987756$688C0002-8C7C-41E9-83D1-19C06B083032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611e0993b6e5cac5b0d471278df2e4087c67523d","datavalue":{"value":{"entity-type":"item","numeric-id":4942621,"id":"Q4942621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$08515B25-A015-475E-AC14-1DF949C4289B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a03213b095a350f4bf2d8dc4d804066ee4390f","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$C5A22F1E-1140-45B3-AB1A-E60CDCF928DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49866e8a93fc3788517eba6459943fa8bdc4229c","datavalue":{"value":{"entity-type":"item","numeric-id":3454089,"id":"Q3454089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$71FB49F5-D81F-4EEB-A1C7-2C221AD665EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899b3951cc1052f519270945fa364ec760c367c0","datavalue":{"value":{"entity-type":"item","numeric-id":2908523,"id":"Q2908523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$1438A088-230D-4AA8-AB9E-1D25E9235964","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":"Q6987756$606E7F7E-58E6-4D97-899B-0813D7E20B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$53594A08-5DB0-414B-BFB8-44FD0F9E2CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8029319b1bfb09ab3adc811bbf68483a77195262","datavalue":{"value":{"entity-type":"item","numeric-id":5089002,"id":"Q5089002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$981280DA-33CB-4EED-BEB1-9EAA0CCFD816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f70660b63e864dd443f57eb834948fa554e561","datavalue":{"value":{"entity-type":"item","numeric-id":5200044,"id":"Q5200044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$216D533B-42EA-4A72-8EC8-9AF6FEB8B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4eb4cceef46d50a471beb7e05be5acede978f33","datavalue":{"value":{"entity-type":"item","numeric-id":2958393,"id":"Q2958393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$54B1AEC6-FDD7-4D3D-8D34-0539C10CB8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225ffa9eaedc07f47854bb203744bea12533ee06","datavalue":{"value":{"entity-type":"item","numeric-id":352956,"id":"Q352956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$AD8D7077-83D7-4877-AF28-B63F18795A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60759639915f213cf6f47415adfbdbc33f70fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3527302,"id":"Q3527302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$838FEF17-F922-42E5-A2B0-706F229DA9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315fdba4d6814f7d1aad814689d11cc07946b461","datavalue":{"value":{"entity-type":"item","numeric-id":5170837,"id":"Q5170837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987756$B34BC8E2-F417-4F67-BAD7-0D2E0A2BA588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left-linear completion with AC axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left-linear_completion_with_AC_axioms"}}}}}