{"entities":{"Q844204":{"pageid":846052,"ns":120,"title":"Item:Q844204","lastrevid":64766496,"modified":"2026-04-11T22:05:00Z","type":"item","id":"Q844204","labels":{"en":{"language":"en","value":"The reachability and related decision problems for monadic and semi-constructor TRSs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659932"}},"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":"Q844204$E8396721-08C6-4539-BF69-9794CA0617EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b8a14e20f18a1aed3387272f97ede187c826a71","datavalue":{"value":{"text":"The reachability and related decision problems for monadic and semi-constructor TRSs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844204$29C9B295-23AD-4CBD-9994-D5E48B93F444","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52b18c45e6e8fbe99ce0ab904462334245d5ac92","datavalue":{"value":"1343.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844204$E96DB2A7-D6A8-4A0B-BB4A-2DC3FAE0C9DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b66253fc9d0dede6c2deecf9c5d43a5504734a5","datavalue":{"value":{"entity-type":"item","numeric-id":844202,"id":"Q844202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844204$012BDD64-05C9-4ADB-B8D5-C3419EBDCEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844204$CA9ECEC0-BC33-4E8B-A7C1-DC99932CE98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59d5ece89c99086a089fb6d15db1cc056e1717f","datavalue":{"value":{"entity-type":"item","numeric-id":844203,"id":"Q844203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844204$1DB8C88B-805F-427E-BC2F-CF44758FE9F8","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":"Q844204$DD227A84-0B3D-470D-A372-9D55EDDEE302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844204$FDC80B23-4E09-4C45-B2F8-EABD7BEC1D12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844204$60A65A9F-82A7-4AE4-B9A7-AF25F1EA5F8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbe03fe3d6247ac17e0c6668404c15a5fdb8bc1f","datavalue":{"value":"5659932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844204$649348CC-5029-4FD0-8E3B-835F94A55FFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q844204$57480899-CD48-4987-B850-D6611D44DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q844204$6DE9759F-0536-46AF-81AD-CACA3F24B53E","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":"Q844204$6E1BC38A-29FA-4F9C-9ADF-682A6495DE8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca9a7103777c5edb2a9eb8801bc2c4c5798f656b","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.02.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q844204$BAB4259D-655D-4917-8C9B-352DE9F8AC55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7281791793d2142e02312a130595b219d22a72e","datavalue":{"value":"W1964897824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844204$1955A8A9-B51D-42C3-8127-9A8D23771BD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"926e1c124ce65acb98298900b42930980762fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1014436,"id":"Q1014436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844204$CB73E71E-C564-41EC-92B4-6EA0B3990100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c744ac842daa3291322ad19f5608e67d17c552","datavalue":{"value":{"entity-type":"item","numeric-id":5901574,"id":"Q5901574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844204$B682B3ED-E4D0-4B48-9905-CE51AADB4A7E","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":"Q844204$BD652F80-3AFE-46FF-8E0B-345DCC300122","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c35191b4ba344c8d5b48d01d1b2db7641617a77","datavalue":{"value":"10.1016/J.IPL.2006.02.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844204$AD84493D-83F2-4B06-956B-186F40D77411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b663e68e637a8c9dadb7b377eea0bf39969e1b57","datavalue":{"value":{"entity-type":"item","numeric-id":5901574,"id":"Q5901574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a4cfab94b8c6fa23a771c6e2b821f7344ded38","datavalue":{"value":{"amount":"+0.8243281245231628","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":"Q844204$EAD27279-BBC1-4DAD-9E21-73FB96B5DEFA","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":"b29f551c24f97eaeaa431f0c7e86f18e068a35de","datavalue":{"value":{"amount":"+0.823824405670166","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":"Q844204$DF32DA2B-0AF6-440F-8668-BB4ED0AEA88B","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":"536dd74ee4094d6dc4a9ea05a048948441de90f1","datavalue":{"value":{"amount":"+0.8179969191551208","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":"Q844204$495E57F4-918C-415C-987B-AAC34D739BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410088a2dec17dc7a9293fa9c6658bbde1db538d","datavalue":{"value":{"entity-type":"item","numeric-id":5055767,"id":"Q5055767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d288ffec88adbfd5c2319569d35eb944584b5f6c","datavalue":{"value":{"amount":"+0.7925076484680176","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":"Q844204$1F8AD1FA-69C0-4965-AACC-323162CAAF1C","rank":"normal"},{"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":"d8de96404ba3bf76419de7a0c69b704f6eb10fc2","datavalue":{"value":{"amount":"+0.7921728491783142","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":"Q844204$707BDADD-A98B-49FE-90D1-335534494DF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reachability and related decision problems for monadic and semi-constructor TRSs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_reachability_and_related_decision_problems_for_monadic_and_semi-constructor_TRSs"}}}}}