{"entities":{"Q4168907":{"pageid":6198508,"ns":120,"title":"Item:Q4168907","lastrevid":89142521,"modified":"2026-06-04T16:28:03Z","type":"item","id":"Q4168907","labels":{"en":{"language":"en","value":"The undecidability of the third order dyadic unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3601567"}},"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":"Q4168907$A2652D4B-CCAE-4251-8331-3854D547E9AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d694a7de6e00350018781237bb90db11a9b834e","datavalue":{"value":{"text":"The undecidability of the third order dyadic unification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4168907$15F26244-CB74-489D-9B98-02791D09A2B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6317002117d9d75fc6fdb19ee7cfac9b6a6c67cf","datavalue":{"value":"0387.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$1DF80C50-3608-4E4C-A7B4-2DE6AA9103AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44079bf95aff5279b278ac84bef40a3fab1c56e9","datavalue":{"value":"10.1016/S0019-9958(78)90172-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$32C05D81-1C42-4281-8BD6-5B0B047194C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79c74649969b3acd55468d89c8998c4ca401a4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4168906,"id":"Q4168906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4168907$B10F815C-405D-4549-A2B0-C656CDC743D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4168907$4A659FD7-078F-4896-87EE-517BCAE5E24A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4168907$514B9B50-AAFC-45C1-BF1A-4B3B04B8A71B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$D4644FB7-1137-4DE3-85D8-53386D734EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$39C9828F-6183-4E23-A3D1-0FF1E81F2D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$F1E1A626-B6C8-4BAC-B7EE-94D1B56CC8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$7EEF937F-D795-4AF5-9305-855D80AA4529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$4AB97855-BE3C-42C9-A2FB-5314065D0A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c62dcdab30534531627492ab560a7deb5759228e","datavalue":{"value":"11D41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$55D145B9-D772-4C07-A50A-F0AFD0DE3826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9ee713a0845fa95f927d6e1374bad1f2e158ef","datavalue":{"value":"11U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$C931879D-DD28-4F0A-A83E-B9F41FB1B026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34c2d9b0b7de213daf3979c0789768005445782b","datavalue":{"value":"3601567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$25A2A83E-022A-4E01-B362-F3357FAADE7F","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":"Q4168907$D03E0D64-F191-492E-BF10-BE2994843BC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbe534abb8c8f4a88e1a42d2e3e83561a8bdc9f2","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(78)90172-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4168907$C2007B38-F9CF-403D-9B87-0B26CE0DDB06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c640b7e68a831725a3a35c402e5189e99689ff","datavalue":{"value":"W2081666973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4168907$80AEDC51-35B2-40DA-8CA3-76741704CD9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of the third order dyadic unification problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_the_third_order_dyadic_unification_problem"}}}}}