{"entities":{"Q1014436":{"pageid":1016284,"ns":120,"title":"Item:Q1014436","lastrevid":66611301,"modified":"2026-04-12T11:17:48Z","type":"item","id":"Q1014436","labels":{"en":{"language":"en","value":"Reachability and confluence are undecidable for flat term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547810"}},"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":"Q1014436$08719212-9A03-4664-B987-35AD460AC46D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be92f0ce7a666e4786d1baf41fd7e12e45b4e595","datavalue":{"value":{"text":"Reachability and confluence are undecidable for flat term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014436$87397B15-63BA-4BBC-B189-AF62AE75A7A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00c834c697fc1a6460151784709cc5c01b0cce2","datavalue":{"value":"1161.68502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014436$6FDBA3B8-6AC1-43B7-AA3D-A03AF18C9D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6b3ab05034fe3685cdc1de95b4514260927e9c2","datavalue":{"value":"10.1016/S0020-0190(03)00310-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014436$89DFFCFD-B3FB-4CC5-A017-0ECE3193BCBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$F0434A0B-4594-4B57-85E6-9122FEBFF8D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$EE1F6531-5098-4FB6-BD09-87D3E1489ECD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014436$4ACA898C-26BC-4A4A-A5C8-4A108F951084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014436$A80A91C3-4D79-49B5-A5E6-492A1389F422","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add2d4472c342d5b72dca276f224b1a810c207de","datavalue":{"value":"5547810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014436$1CB05D01-B028-4DC0-A4B0-DA476D330582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014436$19F2BC9F-A99C-4D66-9C8D-B5A47EF21189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014436$66E89DA9-992C-4A5A-BF9C-FD158D9C2F00","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":"Q1014436$8BB14AA8-2678-4335-A111-B12DF322CC42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$98D2EEBA-FCEA-4FC8-AC47-ECAEF93F4AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$3844376D-968D-4F6F-9313-A394DAC8BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ac4d5ab6018a1510010c37ae8dc3cec6c8ba78","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$2CE8289F-F905-4E01-B493-A5E3A6E35F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c628921a243b7adae9f2b6acaa6d3b1b9fd505","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$6989CD28-6907-45F6-8168-5D9DF151C7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9700b3420b3e0cb1cb854341019f38bf9c4e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4249176,"id":"Q4249176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014436$05BA8795-2D33-495B-81FD-9AF8EB718AEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8057b9d3f4f85f83193fc46957d21b77f8e7105b","datavalue":{"value":{"entity-type":"item","numeric-id":734041,"id":"Q734041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a06b33037730630e51a061c255e0edd010135e6","datavalue":{"value":{"amount":"+0.9216089248657228","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":"Q1014436$61C0202E-72EC-4141-B871-E1081982D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4615368289abc780bafd9d9e074f2a29b2b5d4bd","datavalue":{"value":{"entity-type":"item","numeric-id":1854560,"id":"Q1854560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba633f776824acd19dbd0f0d755711a79f26aa8","datavalue":{"value":{"amount":"+0.8905025720596313","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":"Q1014436$A829395F-C79A-4544-B4A5-CC6656751EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32052bcc22a8a7974428e0beb895e1d9bee18fe","datavalue":{"value":{"entity-type":"item","numeric-id":5302902,"id":"Q5302902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f3ed4feb8b410e491c4219971beb3fcab6c181","datavalue":{"value":{"amount":"+0.878183901309967","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":"Q1014436$B1B8AA49-3C39-4F65-819A-1808D4E18CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac71daff5175aec1a07fe5a9c5cc34dd9c60fe17","datavalue":{"value":{"amount":"+0.8624486923217773","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":"Q1014436$9D96EC40-770B-43AD-A339-E2829574DBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154a232b6e6da0785d372cafefb44b0468f34d27","datavalue":{"value":{"entity-type":"item","numeric-id":5166638,"id":"Q5166638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350110802469e50302b28db4cc316da737b53516","datavalue":{"value":{"amount":"+0.8261906504631042","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":"Q1014436$2E46D7DF-F043-4F1B-B80D-A19553F72A97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability and confluence are undecidable for flat term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_and_confluence_are_undecidable_for_flat_term_rewriting_systems"}}}}}