{"entities":{"Q2841250":{"pageid":2851970,"ns":120,"title":"Item:Q2841250","lastrevid":83819015,"modified":"2026-05-07T12:04:06Z","type":"item","id":"Q2841250","labels":{"en":{"language":"en","value":"Knuth-Bendix completion for non-symmetric transitive relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190943"}},"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":"Q2841250$0027F03B-CA55-4231-BA92-8457385BFA11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6051223e2d8fa4a01e38f6b7ba49a4186c4e0469","datavalue":{"value":"1268.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$B27948CF-8911-4517-8517-5B804B9929C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ac0ecae4ea48ef631f202186cd0e4badf5a884","datavalue":{"value":"10.1016/S1571-0661(04)00296-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$E3F716BB-6837-4B95-9FAD-EAE21CFDF17B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$7609B2EB-DE92-4840-BEA9-EAC9B700738F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$C40696FA-813D-4753-B868-A957C62210C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841250$8528B5E0-C085-45AD-9203-7D3BA0EA2880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$1B198E81-9F33-4008-A529-11180B28C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$37368BAD-09FC-48A9-BED4-ADE06CA377D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca02acfdd22519144955952d4dbd17bc4b2c508a","datavalue":{"value":"6190943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$7989C2F2-A747-4CF3-81BA-E81B9D09B685","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":"Q2841250$EA167241-FFD5-4B65-A13E-6F9AACE5FC74","rank":"normal"}],"P223":[{"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":"Q2841250$CC22C463-C729-4D04-83FF-5013C7D54B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$DF2836A9-D0AD-474E-B17E-0A01D4D8BAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a004dbf8a2099552df8ccb6767e2b7030d87c","datavalue":{"value":{"entity-type":"item","numeric-id":4938606,"id":"Q4938606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$150F6860-696B-49E1-8699-F2A2598C2917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5739371eef1d1f3a4bf80c59a2d9262a8f94902","datavalue":{"value":{"entity-type":"item","numeric-id":1350495,"id":"Q1350495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$ED963F20-D059-4B84-A35B-90B46083A76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$F38A02F0-70CC-4EC7-A363-83E66164755E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$2E3B9C53-A79E-4A3E-9322-D64625023A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$6F5B456B-62F5-47A3-AFA2-F74EA4A3EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb7b27229264ff13d0a94284936fec48f5f21fd","datavalue":{"value":{"entity-type":"item","numeric-id":674746,"id":"Q674746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$2A529A2A-5091-4F09-B5BE-699FFC91B07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$90E725E6-2C22-4EEF-8746-0B7964213F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e22c6727cde108467b21a3d36c333bfaeabac4","datavalue":{"value":{"entity-type":"item","numeric-id":4840650,"id":"Q4840650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$0412745E-93DD-49C2-8DAF-4E2D34EAD304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa6ccf4ab4009dc03e758ebdb3d7a7fdd76e7b2","datavalue":{"value":{"entity-type":"item","numeric-id":2723902,"id":"Q2723902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$C88B7646-9BA5-49B6-913F-174833C5EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafbd9b1341df661b11b96d1e0b028a33170bb2f","datavalue":{"value":{"entity-type":"item","numeric-id":2778885,"id":"Q2778885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841250$BB80412E-612A-4E4D-959A-09AB5E4926E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fd40efb7a6e043392eac5bef2faa6d4f0e61561","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00296-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841250$C0765569-7563-4074-A538-8B6548256742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ef47c2ca383b0a203004d70e18ff47ff48d69e6","datavalue":{"value":"W2070304550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841250$EBC8E2ED-5446-4F6D-85F8-9E250B17A9F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4394babb35832f5230c078c472b211cfc3f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":3325075,"id":"Q3325075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99625ad94f5e55754e24b3fac930b40b147aea9a","datavalue":{"value":{"amount":"+0.86203885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$A037EDD4-C57E-4A74-B274-6726F38AB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d920c5687b21d8e6eed4a006ebc349f82c106b6","datavalue":{"value":{"entity-type":"item","numeric-id":5899320,"id":"Q5899320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e078d88969b8a0d6e5ba84cfdd76d632748f746","datavalue":{"value":{"amount":"+0.8597684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$103FBB5D-4259-41F7-8862-4F24A8227183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b80ae72552fe355c6d62c8e6e6500eb145a21","datavalue":{"value":{"entity-type":"item","numeric-id":3806800,"id":"Q3806800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1516203bf0febda1b328bb010e5eca84ab4003","datavalue":{"value":{"amount":"+0.85675144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$3491BC14-1BF7-4D6E-976F-2B7045FB7619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60c57ae1c3e22279f985146b3ecc25292e5939a","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb241fded6fe5d7b72ec31e98318bf6a3e8a3988","datavalue":{"value":{"amount":"+0.8556386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$0AC800C4-E685-49F6-953D-C62158841DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693e508be9c7f14dc94a934afd43ee0943a8d3bc","datavalue":{"value":{"entity-type":"item","numeric-id":4916210,"id":"Q4916210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2360ef81b69fa589e1dded667ae2bc1fd31d0442","datavalue":{"value":{"amount":"+0.85242057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$19767ABD-C4D6-4711-B49E-B7757F3F48E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88a4c8426548476533bf257c9703ab16bb53b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1810859,"id":"Q1810859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394522beba25f7a0fb407127e4c7381912e5cd8c","datavalue":{"value":{"amount":"+0.8499119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$119870AF-9A75-4A04-A902-89B7F061D928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bbbf9d95ec6e484d6cec7feb284558813a56cd","datavalue":{"value":{"entity-type":"item","numeric-id":5881277,"id":"Q5881277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d275fde2d1e046127b3acc5feecc7571f1d0974","datavalue":{"value":{"amount":"+0.84634584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$E37BADC8-BF54-4F09-BFD5-0B1976D37DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6faba0c33d0d012b458107ff038de207e2041f","datavalue":{"value":{"entity-type":"item","numeric-id":4227881,"id":"Q4227881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e9eb45a77cdb95122bdbb60e4d4547b3849e62","datavalue":{"value":{"amount":"+0.8441468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$C620126E-B336-4BEB-8946-2EE9408FFD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d88b6c0e576c87447c074da4e0022a9001e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":6114511,"id":"Q6114511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0994c1bbb088ef8bdd8255d684465aad090f8198","datavalue":{"value":{"amount":"+0.83971804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$B70535D0-9B9E-4357-9615-C44C8708DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1e93a54b2f3fccebf4009faae2b8573c236bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e1b31bc9bd0bb8a4fedc463a20e3403989c0c7","datavalue":{"value":{"amount":"+0.8391992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841250$9585E713-9458-470C-BC6F-BA2CB8F67249","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f150ee45b6db334e0cbef7cad8cc11290bb6a78","datavalue":{"value":{"text":"Knuth-Bendix completion for non-symmetric transitive relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841250$F7D63021-382D-44C4-97A2-3521EAAFE1BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knuth-Bendix completion for non-symmetric transitive relations","badges":[]}}}}}