{"entities":{"Q1147232":{"pageid":1157981,"ns":120,"title":"Item:Q1147232","lastrevid":42909106,"modified":"2025-07-15T22:42:45Z","type":"item","id":"Q1147232","labels":{"en":{"language":"en","value":"New decision algorithms for finitely presented commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702960"}},"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":"Q1147232$E0379F25-0B12-4583-AD18-87B5202DE3D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07968e35ca02563f4a34a416927f91279a30b85","datavalue":{"value":{"text":"New decision algorithms for finitely presented commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1147232$EAA1514E-978C-4646-B124-55D2776F3D83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"607c8a950855e81b6e5b817136e03b99e253ee3d","datavalue":{"value":"0449.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$33B8B543-E05A-4DEF-8F6A-486445286900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9598d27d5a37443e425054af77fca357f664514e","datavalue":{"value":"10.1016/0898-1221(81)90115-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$D76DFAA8-AD39-42E3-9FD9-D66ACEA84A0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0455e5a9fc65e4eea81f0e8b0b8e46c7ab74bd02","datavalue":{"value":{"entity-type":"item","numeric-id":1147230,"id":"Q1147230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$0FD7869B-CACB-4C81-90A7-5C2FCF606394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a874160f72b1a68f4669e67c89de5a37374ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":908691,"id":"Q908691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$9565C55F-18E2-4C42-B678-F70AD9026DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1147232$D80D8E83-B14F-419C-AB4A-890D4703CD6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$CB2E7B11-A1BA-4A41-ADC7-3DE5556110E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$FEA6BFA8-F69D-49B0-8F0C-8D0A8591762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$A0A04856-1187-46AF-B9BB-CA1EFBD6848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$5C4FC301-14B1-48A4-9C3E-B89C05FBCF40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"072d70873b7d637cdc8654bc3dc9bc826580f5e2","datavalue":{"value":"3702960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$FC41FF6C-82FD-430C-8AA0-713634837B9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147232$B9C675EA-61EC-4EAA-A45C-6492F2DEAC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef15d1d03016799d620aa8510a4b19c83821cec7","datavalue":{"value":"finitely presented commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147232$21FC3036-5E1B-4F50-BC0B-F6534A95B5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6082e1c99895a2b8a7209db0169ba528dfff5cf","datavalue":{"value":"uniform word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147232$71D21324-5DD7-49F3-9C93-92FA992F01FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6243320e10e379e389d35b5dea236f3db6aa686a","datavalue":{"value":"completion procedure for commutative associative term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147232$14E79C17-4A62-439C-B134-781039439B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfad1e1d3e0c7af4b57cae1dd0b2e233d8ea4965","datavalue":{"value":"Church-Rosser term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147232$699D9F3A-2DE4-4D4E-BF22-913B882FF99F","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":"Q1147232$3316DDDE-47BE-4B9B-B585-5426544F49AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1831ce59ab32b4abdddd7929ec9232cb85a3d5a6","datavalue":{"value":"https://doi.org/10.1016/0898-1221(81)90115-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1147232$32FAB7BD-6DF0-47EB-BC81-5048EA92F872","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"116e5466553dc91686a16a461173f10467dc2875","datavalue":{"value":"W2099954293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147232$FE273A42-D549-4848-8894-7E9D8834ECCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$ECA46823-9CA8-4F16-A8E5-09E84631D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57dada08276bdfd975413149fdc809775588d67","datavalue":{"value":{"entity-type":"item","numeric-id":1147232,"id":"Q1147232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$62B5F174-A95F-4E71-91F8-2CB0955227D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d43769941d07a62a29365f201e64dc2b50e565","datavalue":{"value":{"entity-type":"item","numeric-id":5805025,"id":"Q5805025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$DE7F182B-1C27-4E22-BDE7-3820307CA41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$8CFBCF5A-6AB0-4612-9C9E-F212CB37767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27e220d7a2b7b7f58b01569908eebb3e9767a39","datavalue":{"value":{"entity-type":"item","numeric-id":5725265,"id":"Q5725265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$CD668DFA-7D25-4572-82D6-EE8611292C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b47195d11f0d909598666ab3f2b009fe12073b2","datavalue":{"value":{"entity-type":"item","numeric-id":3896523,"id":"Q3896523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$F94287E9-EFEA-4BBB-854F-69ED791DFF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66318f3f2bcc90eec296186783e061e35ece9920","datavalue":{"value":{"entity-type":"item","numeric-id":2547964,"id":"Q2547964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$C53A7393-B525-473C-8727-4BE74A075E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36dbd750a1ddc9cbc22dcf5a4cd8fdb21a3d2631","datavalue":{"value":{"entity-type":"item","numeric-id":3869335,"id":"Q3869335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$2A8D3EA5-1C0A-4E64-86B2-8D689CD347E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$9EC49CC5-1BD0-4E91-AFE8-1D8B0C89A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$A40DFD72-429D-4E4D-9CE2-B42BF3D4DF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$A209EB4A-2EB7-4BA4-8897-74165BE5AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6478aa1b7eb3d424ad93f4c3d82f501fa89a04c","datavalue":{"value":{"entity-type":"item","numeric-id":5515383,"id":"Q5515383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$B7ED6CF5-9086-4AEB-8FF6-2350BF875DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752a9feaeefd3dfb07a9686325f5a2905b91a4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3869404,"id":"Q3869404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$2ED2E3F2-66CC-4882-A33E-122167CEE4AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147232$8ACD4857-7E8F-4FC8-9FBD-75645E3F7BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1147232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1147232"}}}}}