{"entities":{"Q6124949":{"pageid":13259256,"ns":120,"title":"Item:Q6124949","lastrevid":55628311,"modified":"2026-02-17T19:58:38Z","type":"item","id":"Q6124949","labels":{"en":{"language":"en","value":"Constructive many-one reduction from the halting problem to semi-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7830374"}},"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":"Q6124949$1381A2B4-5CE4-45BD-A151-CA12AB2F00CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ce65c56afa1906ba893a540ec6c1d1df610eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4637690,"id":"Q4637690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124949$FAF234E4-59F7-43B8-BDE5-9F3577C92D2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0aaef9e7e62e4d5052aa36b93d814a95d302adc5","datavalue":{"value":{"time":"+2024-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124949$F4FF7685-4286-4447-BA9B-253BFFFD169B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124949$7076F3EC-E334-41DD-88C7-CF6309A35BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36147bf2fd102e94d35533b99f466a0f6c494450","datavalue":{"value":"7830374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124949$7B41BD05-9E83-4455-9F18-D2E371721DAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124949$B9BA6229-BD9C-4389-939A-15BF8F3D2CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124949$354E72C8-2738-4862-B3F5-1C7A43A5D2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed3d4d4d9a22bdf4e6fd0873d2198e6c20a0bac","datavalue":{"value":"mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124949$C23C8E2E-829B-4569-B096-1989FD9EFB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124949$F6D1E82E-8691-486F-9C10-595AC5F95298","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":"Q6124949$96871532-C7DA-47BD-BCA5-D77F535D17CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ea46ebace8212e09f91a88a8e86ed4dda43334","datavalue":{"value":"10.4230/LIPICS.CSL.2022.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124949$3C857A41-8791-466E-90F6-BA846568AC5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921f9f5739970e96e507f62d5fb50b9e262c7b5c","datavalue":{"value":{"entity-type":"item","numeric-id":6137845,"id":"Q6137845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131f25b8f404c53a43f44f66273752407c7e58a5","datavalue":{"value":{"amount":"+0.9667400121688844","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":"Q6124949$65BBE387-223D-4162-ABB7-CBEA1B2AC57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345a23c3869bfafb8eed5d17b432ae196016e837","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91759dce3505d8c68378fdf87beb28f7ef1d59e3","datavalue":{"value":{"amount":"+0.7946188449859619","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":"Q6124949$E71D7328-E278-4589-B0D9-ABBC313BEF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5f7943065f1055918d5cce586bf44f3463a723","datavalue":{"value":{"amount":"+0.7548809051513672","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":"Q6124949$5FBA8FCD-BCC8-4178-A4E5-9E7A87C1AECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e0c9d7eb391dc19d080e6ba053dcab2f39fdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3819992,"id":"Q3819992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e887925d9237f898d3cf37f15ec479b582d8c7","datavalue":{"value":{"amount":"+0.7530630230903625","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":"Q6124949$C6442B26-6B89-4E4E-AF6E-8820E8758B75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6124949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6124949"}}}}}