{"entities":{"Q1127320":{"pageid":1138069,"ns":120,"title":"Item:Q1127320","lastrevid":42894850,"modified":"2025-07-15T19:36:32Z","type":"item","id":"Q1127320","labels":{"en":{"language":"en","value":"Makanin's algorithm is not primitive recursive"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189636"}},"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":"Q1127320$DC132AA9-ACBF-49B4-96DE-00EDA7785B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b82f8af02a9ab4a7621d380e882bfc7a53fed9e","datavalue":{"value":{"text":"Makanin's algorithm is not primitive recursive","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1127320$23318C29-986C-45F3-B8BE-7F660ECBF58D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aef3e185630cadf95a58e9a442b15e2237c4581","datavalue":{"value":"0908.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127320$8BC20EDD-C2A6-453C-B160-F4741A2806A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c00b09259e3ab57634a19715da2bc00737f35261","datavalue":{"value":"10.1016/S0304-3975(96)00321-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127320$C5B6BC35-5ACB-404B-A7D3-2FD8DBB0EBEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"731f33d7f4093f2df7341c98bbfda1e288a8cd74","datavalue":{"value":{"entity-type":"item","numeric-id":1127318,"id":"Q1127318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$42F03680-2EE7-46D8-8122-4951D4F5046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b26410f96225891c328a54facf6542f45ea37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1127319,"id":"Q1127319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$254A8E0E-AC90-472F-86F7-F23517161653","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":"Q1127320$789CE990-F1A7-4455-873F-AEF421670CBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1127320$EC0C1648-0028-4280-8314-2F273E63AE0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127320$B93AB0DD-0507-4927-AFBB-3A568DA3862B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"129e3d67b792823c3e48e1470b6d492532fe4062","datavalue":{"value":"1189636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127320$044F1CF8-3769-4A91-914E-BBB24B4E27F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493bb8b4fd596fb13dccbb6591ff59b76fd70175","datavalue":{"value":"Makanin's decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127320$69FD31B4-6CA2-46DA-9472-B2033EC1EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7832e9e3df5f6d4e22e0396ec4bcb4c37c743","datavalue":{"value":"equational satisfiability in semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1127320$A960161A-25DE-4551-A2CE-65AAACAA733F","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":"Q1127320$E43A4CDE-CDB1-4151-932F-0DB27BEE1142","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed432e48419c329dd9fcaadc072f6a166f773f93","datavalue":{"value":{"entity-type":"item","numeric-id":5916475,"id":"Q5916475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$C34DD3FA-8FB3-4C83-B37E-670C025E3A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0239f5ab1f34f2adc3a44965184c030579249f8","datavalue":{"value":{"entity-type":"item","numeric-id":1081695,"id":"Q1081695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$675D94A8-0FB2-4768-99EA-BC02AB156069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bf4606e610fbe75ced44da4fb436394937a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3474892,"id":"Q3474892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$D57B72EF-CF7E-4070-A03D-73D15D82835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3942848ee724278d5a9b2db9a6394edd43fac9d7","datavalue":{"value":{"entity-type":"item","numeric-id":5607228,"id":"Q5607228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$5C75FDB8-3258-4A4F-9636-00E35942CE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53274a48f751273ebb62a6dae652b5d7d28ef15f","datavalue":{"value":{"entity-type":"item","numeric-id":6114505,"id":"Q6114505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$237481A7-F9C7-4FC7-98DD-0A56E63FB7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c54f33d6db3b82c4cb7e4ec7066092bee067d1","datavalue":{"value":{"entity-type":"item","numeric-id":4371685,"id":"Q4371685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$763C776D-036F-451D-9896-F86C0630955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f926832bbb9103ef09a6b2c31c6bff14af31e91","datavalue":{"value":{"entity-type":"item","numeric-id":5686240,"id":"Q5686240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$0CAA0F3C-BF32-4063-A71C-07A28CE64BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$F9A14216-0B8F-4015-BADD-717BA4E1380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8c690ecf6b6186d6b91f08edd0eb8003f2b83c","datavalue":{"value":{"entity-type":"item","numeric-id":3043354,"id":"Q3043354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$600E8EB3-7FDD-44F9-B1DB-20D3909B4BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d2d0ee29032a983d5b2c3e5a3a733f5fff96ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699893,"id":"Q3699893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$CDC38C79-3027-4270-8668-BF7E620B45D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6743832806513b495c15b8d3c3fae8c97120cdc","datavalue":{"value":{"entity-type":"item","numeric-id":797700,"id":"Q797700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$385617DA-5B86-4B06-B735-7C8D7337BB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$A0DB5DA4-407B-4B74-8FFF-ED571C7616EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecf8d4f69418d010f9bf7005e68349ca1e4cf29","datavalue":{"value":{"entity-type":"item","numeric-id":3701619,"id":"Q3701619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$64AA43BF-144A-474E-BF65-B82806F3C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd5fb1b51412a0727f36b0bbfd69b4b1de3cc14","datavalue":{"value":{"entity-type":"item","numeric-id":1319389,"id":"Q1319389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1127320$B6889557-243F-43EC-A7C3-BEB684E09416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9dce2fdf5921691d5d7f6d45e9f1015b3d3c6e4","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00321-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1127320$351C1EA2-42A9-490E-8B98-A161888A39DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1257ae69de1a2dd882eabe71ae2b0bf99e2d14b7","datavalue":{"value":"W1969654785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1127320$3A10C930-915E-40D1-991A-548EEA4F52D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1127320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1127320"}}}}}