{"entities":{"Q5167846":{"pageid":7197418,"ns":120,"title":"Item:Q5167846","lastrevid":94394795,"modified":"2026-06-05T06:42:05Z","type":"item","id":"Q5167846","labels":{"en":{"language":"en","value":"All-instances termination of chase is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312322"}},"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":"Q5167846$CADEEE6E-2DE5-4CC2-AC57-D24EC5FC14D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3636402bcc04e85561b13addfbc0991ca0d6abd","datavalue":{"value":{"text":"All\u2013Instances Termination of Chase is Undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167846$1A60857D-9BFB-4153-B462-AE71B0FC581E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4339a1fc724a64e1994a03eae2810d89abd9601d","datavalue":{"value":"1409.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$E1DE2F79-0B99-4EF3-AEE0-3D5801891BA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"049872d4b1336024624c008aec2b51fcc613f575","datavalue":{"value":"10.1007/978-3-662-43951-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$E1D4DA91-9B09-4DB8-8048-0FB78DF4D05D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a03543608b6ee23736e0438615a2b1e6c76d879","datavalue":{"value":{"entity-type":"item","numeric-id":314823,"id":"Q314823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167846$2EFA0AD6-D908-452E-B9F2-9E4C1973607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167846$63DEAD0A-790B-4846-A190-D178B29CB64A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167846$74AED7CD-5092-4B7C-9152-C6CF10FA886D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167846$851DBFC9-E9DA-41E5-932F-1915E14659FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40fa1770670cf8812253cff779ab15ed1af31b3d","datavalue":{"value":"https://arxiv.org/abs/1401.4840","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167846$C285A547-87B1-488C-9A21-6856535B0E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$B65083FC-53E5-4766-B6EB-19A53A76E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$536C50C1-BF41-48A2-ADA9-4FBD2995172D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"112b8775739b91ac795212e32da04bcda4fd51e0","datavalue":{"value":"6312322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$22B4AAEA-3751-4DFB-B79F-C1E697A6EDDF","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":"Q5167846$CF69F9B2-C21D-4F26-9691-254A2F2F0540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92d6883f03f39bb2e6227cbbdba68918e8767f88","datavalue":{"value":"W300076026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167846$CCCD7602-42ED-4202-8D58-7899E78E1C49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723a9ac74594ef6b305bea36d7f255a471cb4e60","datavalue":{"value":{"entity-type":"item","numeric-id":2035470,"id":"Q2035470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517ce7d513b468762ba93e3b398d006fccd9089b","datavalue":{"value":{"amount":"+0.8782646656036377","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":"Q5167846$25015647-8684-4FC4-B667-03034DF4FFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450eb594818e95f4243cdf0227b216fee2d112b5","datavalue":{"value":{"entity-type":"item","numeric-id":4637897,"id":"Q4637897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc84d5887944e51248a5165be6eaa7b04bbeffe","datavalue":{"value":{"amount":"+0.8510675430297852","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":"Q5167846$0CD44DA6-4823-4D4D-9C31-0DD12A0E689F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5307a21f9810694362af5056ba8dae775ae855a0","datavalue":{"value":{"entity-type":"item","numeric-id":4957206,"id":"Q4957206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548af16317a5df4c3edf21195a37f707388d159d","datavalue":{"value":{"amount":"+0.8321993947029114","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":"Q5167846$11ACA38B-2185-45AD-A989-8FB3EDAAB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eef48117ad6848c6f6c3794a8749259b35fc4bb","datavalue":{"value":{"entity-type":"item","numeric-id":6104760,"id":"Q6104760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba12f1cb934d78e8aecf4f5bf6f2584e75c549d","datavalue":{"value":{"amount":"+0.8139853477478027","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":"Q5167846$0B6BA5B9-BE99-427D-BC52-43CA0A36EDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f385913631fe76cb6493d2d42c21d6511f5017","datavalue":{"value":{"entity-type":"item","numeric-id":6104757,"id":"Q6104757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0b73e97a20866bab1d10823f690ac6edb23abc","datavalue":{"value":{"amount":"+0.7788461446762085","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":"Q5167846$2A08CA19-431A-4082-BA3A-DCFF5537DE9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"All-instances termination of chase is undecidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/All-instances_termination_of_chase_is_undecidable"}}}}}