{"entities":{"Q1325846":{"pageid":1336596,"ns":120,"title":"Item:Q1325846","lastrevid":68466804,"modified":"2026-04-12T23:53:52Z","type":"item","id":"Q1325846","labels":{"en":{"language":"en","value":"Decidability of reachability for disjoint union of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567725"}},"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":"Q1325846$43783424-6EB9-48B4-8BE4-749369421695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6352c2cecb316a82526ec256a995ab9fb34bb112","datavalue":{"value":{"text":"Decidability of reachability for disjoint union of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1325846$C5011203-5DEA-4955-B047-381DCA5DC514","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa501174d040603a94b94c7d9622cf39b85ddb3f","datavalue":{"value":"0805.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325846$FD168D41-E295-4A77-B286-1A07140BF594","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2b6d84fa82a96fe1d4a875e459b015134b1905","datavalue":{"value":"10.1016/0304-3975(94)90267-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325846$312DA8E5-667B-42F0-9358-2756CD41A87F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab112dfb8093cddbb43a84b0bba5453807b1110b","datavalue":{"value":{"entity-type":"item","numeric-id":1325835,"id":"Q1325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$C69CEA1E-3BBB-40E4-9EAD-64CABF6C1F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"362b7e6218d0e22c164b1427bb669f2e03c30fd6","datavalue":{"value":{"entity-type":"item","numeric-id":462478,"id":"Q462478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$1339ED68-B61C-4919-B0E5-D394600F8323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$97F67769-E841-40D6-A4EF-D4B9B7CF098A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1325846$DC2A1E2D-B4AC-4628-8324-7BFCD8ED62BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325846$4236A408-31F8-46A3-82EC-75FD2B9DDCE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"845ab3536ccbd89b1174f9b211815c62ca7a0170","datavalue":{"value":"567725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325846$E8DCA762-4689-4CA0-AB35-50CDDE77809D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325846$37554AE9-4622-48DE-AD49-024097913BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325846$3871D1B6-DBE6-42E5-984F-DF3E9CF4A915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325846$8F0E8E47-60BF-446D-B018-302BE8B9224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325846$336499CF-BCBB-45E6-93E4-13A3B9F40636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77607f04ed95d28a1ad4d4afdb69c831a149570e","datavalue":{"value":"constructor systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1325846$654F835B-A125-454A-B3D5-309D875DCDC3","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":"Q1325846$B7C57C46-9219-4C29-B9E6-8AB344F837CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"810421518fda8495b40f4602d8b2b69b5af33e6d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90267-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1325846$E2082E33-4D11-4007-833A-7CFE22FACF67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9f0ab486477a63c394a7407404ac04525c4ea54","datavalue":{"value":"W2099310349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1325846$285E04F2-4C18-4F06-8649-6060AF3AC792","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"937911e42f68d251c82fa9be54759bda8aea4ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1165842,"id":"Q1165842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$188E99AC-98EA-437D-A7B3-FAFC59B4DA6D","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":"Q1325846$4F4E792A-7EB3-4F4D-81E5-75139539D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ce2d6a06e1b5fad6f5127301a6dc996f08010","datavalue":{"value":{"entity-type":"item","numeric-id":4692463,"id":"Q4692463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$A72449FC-BE5B-485C-B247-EDA4067B46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$8893257D-D2B4-4C6B-9C0B-99EA043FACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50218b590a67612dc4d37376edc843b8eff24d94","datavalue":{"value":{"entity-type":"item","numeric-id":5941203,"id":"Q5941203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$8C0322AC-4433-4409-9C5C-72C28A50D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$DAE688F4-859D-4929-8B38-84F40669D8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$49072D51-E84D-406C-A00A-8FF741B77F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$B98E1432-7F9F-4EE1-A412-09A60893C016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$F9ECAFAD-A5C6-4CAD-BF8F-9C46629E4B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fcdf09b2e5e83a2568ad6dfe66132bd375837a","datavalue":{"value":{"entity-type":"item","numeric-id":5055759,"id":"Q5055759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$D4D92AEF-A136-4782-AFCE-7D65335D8D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afeb0f83cd312b85fe56fb7478df5d39cdcc16d7","datavalue":{"value":{"entity-type":"item","numeric-id":3780429,"id":"Q3780429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$50C3CAF4-0FE7-413C-867B-2C97EBFAB822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$C06C3A6F-DF4D-44E2-A817-830E25E17E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$74D4D834-B1A4-4211-B612-7D2E3D1C6E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$4306B08B-D87D-4420-8FEE-97930426C368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1325846$E9C4F56C-9732-44D2-8127-0184A8FE3AF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1e19c3d632023ac38e016e86cf8ee20a8ea283","datavalue":{"value":{"entity-type":"item","numeric-id":4916227,"id":"Q4916227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f9fe1fc9bb2c67d3e37184642536ddaea737dd","datavalue":{"value":{"amount":"+0.8085955381393433","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":"Q1325846$10335D36-638F-477F-AE9C-436F01BB85B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb67da2f7899ea403519cb305029fbc7762a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3590971,"id":"Q3590971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c831804a66d9b9822f01e30d78f9234234678ab7","datavalue":{"value":{"amount":"+0.8081690073013306","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":"Q1325846$81761B59-CEA0-45D5-8F86-1EEADE849A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dee92571813aaa6f9f98433b5a32516b6365c9","datavalue":{"value":{"amount":"+0.8051270842552185","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":"Q1325846$6515D566-0D72-4E1A-9D37-7E9CE2427A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6b2c1645bd8130acddd4ec8cd643244e39f6b7","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aca75740b1af875083cbb41107ef141d22005d","datavalue":{"value":{"amount":"+0.8036537170410156","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":"Q1325846$C19488E2-B9DC-41E7-882C-741AFE68A27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82e6dd60dd8152e60e1477754107dc95eea9ab2","datavalue":{"value":{"amount":"+0.8018032908439636","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":"Q1325846$88F34DAB-AA3B-474D-A3D6-B10CEEDBACC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of reachability for disjoint union of term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_reachability_for_disjoint_union_of_term_rewriting_systems"}}}}}