{"entities":{"Q4955722":{"pageid":6985304,"ns":120,"title":"Item:Q4955722","lastrevid":47476018,"modified":"2026-01-01T20:34:13Z","type":"item","id":"Q4955722","labels":{"en":{"language":"en","value":"A finitely axiomatizable undecidable equational theory with recursively solvable word problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1449843"}},"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":"Q4955722$228E7E01-72D9-4172-8430-7FC5EC1F8054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ca8d39b53c56f1bdd8dfa894dea29a1e61a9697","datavalue":{"value":{"text":"A finitely axiomatizable undecidable equational theory with recursively solvable word problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4955722$45DEA352-60B4-433E-BD81-EDDF0B13654F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da675d2f453311d9117bca60ee72ccf3543e7527","datavalue":{"value":"0948.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$EF66E8BA-1772-4A2F-982E-EDA730FE75D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c99fca2f3e6de1ec2f281b9cd954bcc3b0053a6","datavalue":{"value":"10.1090/S0002-9947-99-02339-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$51133E00-68DC-42C5-B846-8EA6FA0A1450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50cca56c6206eec9dbd98ef9e96cdd44192998d0","datavalue":{"value":{"entity-type":"item","numeric-id":231150,"id":"Q231150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$28FEF413-8DFE-47F5-9478-DF78B62E433A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$485AB3F7-A272-4ABB-AEB1-3999D74E36A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79eddd532994bf0017a2fbd814ba901c051eaabf","datavalue":{"value":{"time":"+2000-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4955722$FD9C9E4F-9B5C-4345-8988-2FF06F33FCD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$6A3E5346-8953-4824-9E62-291928BAE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$D62E2C8D-24BF-4F13-B7AD-7C2AB5A38615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$6BEBE67B-B355-4C36-AEC9-494EC763F2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$23451412-57FA-4154-BBD3-32DAC56323E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$ABF446A3-58E0-43DB-A22B-3B74F8E92E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$3CB4FC46-30FE-40DE-A85E-916A7AFFDE6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de137a26fbe382e2c7667192065ec0c5f53ec59e","datavalue":{"value":"1449843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$DC42A6CD-1073-4A06-B79F-8E60763221F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf026f2c010b3124bc45ae27e2778e0b1c6b247","datavalue":{"value":"undecidable equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955722$59FDBC45-A135-4203-A5DA-738ABA5B5ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"754a50bfe72681f03f7e559974ed1d2124efa8ff","datavalue":{"value":"recursively solvable word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955722$4622BD1C-9E1C-47AC-9CA1-80EACF7C93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041505b57f878e103de9e75a68763eee73a5ba6f","datavalue":{"value":"many-sorted logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4955722$2E97ECBB-E63B-4EC4-88DD-AB0907F41097","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":"Q4955722$4E270F1B-9BC5-4456-83DC-4C57D9A2FBAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477c95b36c3b114f8ee0eff92c86db1f1dd27c9","datavalue":{"value":{"entity-type":"item","numeric-id":1187648,"id":"Q1187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$84FB4F5E-6736-4FFE-AF97-B20657687186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669daea431836fc2130f88ef3ca3b5dd23f748d5","datavalue":{"value":{"entity-type":"item","numeric-id":4835521,"id":"Q4835521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$CC6A2375-32F1-4596-8DE0-63F0F563FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$CD1D3140-69F9-4941-A9A5-E5BFBD0AFA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"511a8360c30b63b772a8e01af424cbf4191fa03e","datavalue":{"value":{"entity-type":"item","numeric-id":1918965,"id":"Q1918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$66E31002-652B-4DA4-9C08-6EED54D9EDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$D6BB412B-768E-44C2-9D84-DB8A580AED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$F5513A65-11F0-44DF-9755-DD53C7119094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$E86C5D3C-D5CC-4CD1-9EDE-1845006CCBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$589E74F6-CD62-49A7-9BA4-74471FC71956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$0C2A3DA5-DDF5-47C7-8A33-86FB36A60A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a70347429be666234e0cdfc2468ddab12eedce","datavalue":{"value":{"entity-type":"item","numeric-id":1187715,"id":"Q1187715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$64D1BC0D-8BA3-45BF-8CBC-68A2AB765701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f60a32046a52272cba7a2a12da1464e6b6a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1201350,"id":"Q1201350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$3B678972-0096-4DB9-BBBA-064F112D8CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7d0b09b6a62cd5d91da516bb16a936d3b4d85b","datavalue":{"value":{"entity-type":"item","numeric-id":4290004,"id":"Q4290004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$0F4FF6C5-62EF-4EA3-8632-A05308D9B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee6dea7e7bfd8f7b76432a57e7c1e052664122b","datavalue":{"value":{"entity-type":"item","numeric-id":2645969,"id":"Q2645969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$1A303478-FE95-4EFD-A5AE-5F824C3FAAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$91406EB5-ECD0-4869-B084-2BED041F4694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd8170768845ee819076d4518a19ad78615de25","datavalue":{"value":{"entity-type":"item","numeric-id":3837512,"id":"Q3837512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4955722$F69E7B48-0C08-4126-A0DE-9ED96F4355EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9903147dac2d4b5ae1d547a59973e2a321415b4b","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-99-02339-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4955722$D620AFF9-CB41-4B65-923F-33F5315AB2DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ead512629eeb04ac64d5b90285f12adb0ee4a324","datavalue":{"value":"W1744887257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4955722$463F55E7-805E-43C8-BE29-5A9D0873076C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172c960ada72fe4cbbd66d4aae48ad741e1c6be2","datavalue":{"value":{"entity-type":"item","numeric-id":4378254,"id":"Q4378254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24982041cd7bb72fb3151f844d33d26d88b04e77","datavalue":{"value":{"amount":"+0.8375610709190369","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":"Q4955722$BE13FD56-096E-4B69-A7BD-FBCD058AF4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ec3a7eac14e83f49a2dc055a586926473a2be","datavalue":{"value":{"entity-type":"item","numeric-id":4794027,"id":"Q4794027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24982041cd7bb72fb3151f844d33d26d88b04e77","datavalue":{"value":{"amount":"+0.8375610709190369","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":"Q4955722$145D4D6B-B1E3-410A-ABAD-69F24B27D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a047f62cd8cc3bb0839f3a1d6f462a8e1df5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3839876,"id":"Q3839876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5120c7a9b1977ce3b7332d40621180c347500f79","datavalue":{"value":{"amount":"+0.8275439143180847","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":"Q4955722$B9A3CF3C-7AA6-48C7-902F-567B8C7AFA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a05c0f0013bc3331823312f1afc2f993bb048e","datavalue":{"value":{"entity-type":"item","numeric-id":4492883,"id":"Q4492883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d836e03325e68acc8bbd32ea6196d1d3bd8f95c","datavalue":{"value":{"amount":"+0.7984236478805542","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":"Q4955722$8AEE7919-FAFA-4B56-BC17-23E50E3C331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13640098c8fbc8e6943b1bebe7daa70af1c2a0f0","datavalue":{"value":{"entity-type":"item","numeric-id":1771892,"id":"Q1771892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d836e03325e68acc8bbd32ea6196d1d3bd8f95c","datavalue":{"value":{"amount":"+0.7984236478805542","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":"Q4955722$FF833C6E-9337-459A-9133-2FDD33AC5FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4955722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4955722"}}}}}