{"entities":{"Q5096169":{"pageid":7125745,"ns":120,"title":"Item:Q5096169","lastrevid":94266536,"modified":"2026-06-05T06:22:59Z","type":"item","id":"Q5096169","labels":{"en":{"language":"en","value":"It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571941"}},"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":"Q5096169$2D74835E-7967-4CE2-AD7E-234894C625CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a303e6506369c5328f78c0ecad6b515a7f496247","datavalue":{"value":{"text":"It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096169$9D3DE4F6-491D-4EB6-BC70-C0E4FC7CF966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c9ea84dfa8f7c3f6fccfa4151ba75b3b7b128a0","datavalue":{"value":"1494.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$61E21C45-0DA3-462E-9346-0F8D286A4E1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$D3B4F371-AF62-49E7-A548-529AAF21E5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe2992bd25f57a87782b805b3976c44134f243c","datavalue":{"value":{"entity-type":"item","numeric-id":808712,"id":"Q808712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$465B191C-ED7D-4028-AF27-B80416463D7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b060475a421a23318c909b1beea7e63f4d8ea20e","datavalue":{"value":{"entity-type":"item","numeric-id":5096138,"id":"Q5096138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$EED9265C-68F4-44DB-841D-DBB4B0EEA318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096169$074261E2-6632-412A-8D4C-EB568DC81243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$EB76E3B8-D50D-425F-B9AE-9702D09BA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$AB4061F6-102E-4C11-A237-7B5FBCF12E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$54D5E79A-C64D-4208-9828-28CE2ED11EF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c89eae9ba0223c0ebc6357c83c8030efdb0203c6","datavalue":{"value":"7571941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$EC6B8DE6-6A13-4105-A408-23C921FAE549","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096169$09A1E27E-847B-4E3C-AD6C-7FB4F8894813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840232c250b1e1458d71cfdc7fbe467b8d493361","datavalue":{"value":"critical pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096169$AB6A3C79-B21D-44F3-8C56-157ED12E3F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5096169$4025A7C0-EF8F-454C-9B2B-1FF6E7D61A52","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":"Q5096169$1AB8B3C3-5ACA-45DA-964A-7D735E3969B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6821d8bf92570a1265d30079b71046c8a303a664","datavalue":{"value":{"entity-type":"item","numeric-id":3327746,"id":"Q3327746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$3969616C-040D-4E69-B92C-C86832FA8BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$D87520FB-82A0-481C-8E11-2A099B2E7713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee6fb0bbf21effb89dc46a2d7ed6e6983009eaf","datavalue":{"value":{"entity-type":"item","numeric-id":1077931,"id":"Q1077931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$5834E53D-6588-4F4C-8B03-1898FE141879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158f6ee54e9e8160e7d30efec6a6b7e545845b45","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$7C6D2B78-02E1-40C1-8CD0-FE9CF89F78F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$41D97A98-23E9-43F6-B5BF-22153134AD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88b96adfc7b847ce3bf4c667a245057dae5c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$90982843-ADA2-4493-B613-A6ABEB888D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f516e5dc4dcd28ea889a0e6ad391d08a2cc1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":3805889,"id":"Q3805889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$FAE589B2-625A-436F-98B4-9F8843F57D57","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":"Q5096169$6C250437-EBC5-49D5-A974-8F1547C07162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caafee1206098b8a2b3ec070eedc1cfb7516428","datavalue":{"value":{"entity-type":"item","numeric-id":3783520,"id":"Q3783520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$036071C4-9EDD-4D68-89E3-62D63C63639A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00553ac092d6334e80ed96d2588d20d133dd4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096169$62711FC4-CD62-47F5-A34C-13B783F6A17C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9170a444aaf1741b72d6f4f262b2b75cf6b8695","datavalue":{"value":"10.1007/BFB0028998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096169$9F442BBC-17E2-4A9D-93B7-C68CE5634438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222158515bffeb1abac7cd545866251b2aad6530","datavalue":{"value":{"entity-type":"item","numeric-id":3696494,"id":"Q3696494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b24d86bb1e4fb5edf1685478121ee1f82e1f9d","datavalue":{"value":{"amount":"+0.7986295819282532","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":"Q5096169$E0FBB2B9-EE32-4FB2-B720-346E6218B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f347b68470cf5fad9a8712e244de42e18d5f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3702509,"id":"Q3702509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a2ce7135e347b5b6dce504a121b7984945820f","datavalue":{"value":{"amount":"+0.7849738001823425","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":"Q5096169$9C9574D8-C7D5-4DEA-A189-3AF0E3AC3207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8499977b1913d26c2b9e4b7f32e2078dd7a62c28","datavalue":{"value":{"entity-type":"item","numeric-id":3319767,"id":"Q3319767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baef60434f5d2307cfcd34d5e6a8d29edd730a4","datavalue":{"value":{"amount":"+0.7845281958580017","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":"Q5096169$B2E870DF-D5F7-45AF-AE17-449D11BE1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc64dada5b9c56808dced690d1dbabcd3cabeafa","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ce5c04702b9353ea722e8d9187016bab176d26","datavalue":{"value":{"amount":"+0.7832292318344116","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":"Q5096169$71BE166E-954C-4C53-ACDB-13E1DA7F633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8806f6611ae5db4c48eac5a76b3fc5923a94663f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdb9f7a2b4eac33a92b13821d60775956d105ee","datavalue":{"value":{"amount":"+0.7788160443305969","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":"Q5096169$17C7D145-85E7-4E17-82CD-46CB2370D23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair","badges":[]}}}}}