{"entities":{"Q797702":{"pageid":799550,"ns":120,"title":"Item:Q797702","lastrevid":42698762,"modified":"2025-07-08T14:38:26Z","type":"item","id":"Q797702","labels":{"en":{"language":"en","value":"Imbeddability of recursively presented inverse semigroups into finitely presented ones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867594"}},"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":"Q797702$640DA18C-13D2-4009-B302-7021BFDA6403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c39531532a8c949cdff0ce67eae7afbd8ecb37eb","datavalue":{"value":{"text":"Imbeddability of recursively presented inverse semigroups into finitely presented ones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797702$759103CA-BF4A-4B69-8F44-816A23DC597D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56b30f12848baeadc1f0b6afa6973aec3e761fc0","datavalue":{"value":"0545.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$E54E6A7E-0BFE-48A5-9450-80C407C46FEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b75f07fd6f3442c6abce7f7f2b9494f0739f51eb","datavalue":{"value":"10.1007/BF00971458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$84C0437E-C788-4392-9C33-53F27E4298CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc4a39e33209ccc9cd02fed78403d801827222","datavalue":{"value":{"entity-type":"item","numeric-id":797701,"id":"Q797701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797702$112F8301-C0D2-4AE8-A7BB-AA4B4C89BEDD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797702$337E44D4-2E83-4F3B-8C63-68C4A007B9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797702$F1C67FC8-D38E-4AFE-BA47-7110DE077732","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bd6fb111ea522313b3a5d032644463dc932bf7f","datavalue":{"value":"The main result is the following: every recursively presented inverse semigroup can be imbedded into a finitely presented inverse semigroup.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797702$46F2FC2F-18D2-4ED0-8755-7230C47C4A05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$23E6BF09-E0CC-4845-8D65-06BEFB05557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$CC20BBC3-10E0-45DB-9445-6AC20D4671C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$2141CA64-F3AB-4F17-83CD-E49B48D21F4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a60b2f91cea745e41b09e92430884cbe3b4a043","datavalue":{"value":"3867594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797702$9BE270BB-2B96-43C0-80CA-B036989D5D1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7742ae4e8a11fef4f22808a860eb77c82dc320","datavalue":{"value":"recursively presented inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q797702$40F75CE9-832C-4188-8B51-A86A5D7DDB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e64e2cfecc24dc8cee271bf493f0dd235df0f75","datavalue":{"value":"finitely presented inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q797702$19F74BDA-06CE-4D6F-B608-9967E79D4B44","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":"Q797702$8EAA7BD9-998B-4887-8A20-4426D18ACCB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797702$065FCDA6-0162-40FA-A4F8-F3AC54A227AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797702$8ECADC7C-8C3E-4FEC-AC14-F0A70DEA0837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6abb2e4f94eadc3b2f403c6b0d70e5f46d563df","datavalue":{"value":{"entity-type":"item","numeric-id":1225688,"id":"Q1225688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797702$83C6D0DD-9D71-496F-A1CF-B23764E6513D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:797702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:797702"}}}}}