{"entities":{"Q1150586":{"pageid":1161335,"ns":120,"title":"Item:Q1150586","lastrevid":66255978,"modified":"2026-04-12T08:34:27Z","type":"item","id":"Q1150586","labels":{"en":{"language":"en","value":"The undecidability of the second-order unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3715503"}},"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":"Q1150586$A82DC877-932C-485A-9420-5CBA72562F2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"393074a36ab12934fb6e13e443708ca539e62c9a","datavalue":{"value":{"text":"The undecidability of the second-order unification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1150586$AC2BA911-CA38-4D8B-BB62-CBE4373FEF2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66c54e49a8bf4e3c6e7b201eea4b95cfa1c167b1","datavalue":{"value":"0457.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$9E255406-4FC0-48FF-BA33-F9B6D49F99A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22bdc48ceb67fe8060c2148f78f9e7f8bb7aced1","datavalue":{"value":"10.1016/0304-3975(81)90040-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$05531EB2-8C5F-4127-B717-81420F2069CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1150586$DC894DC3-7E60-483F-8131-161060CCCA3B","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":"Q1150586$2C87FDBA-53DE-4704-B964-3F28FCD9719E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1150586$84C62216-E389-4251-AC05-5506218B6D01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$8CCE6B3B-9372-4E4B-A3DA-EACB2679EE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$D18D7CD0-737A-499A-B1CD-BF22E08D3653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$1541D2E5-C5A7-4B91-A112-4E66B8A501D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$172CA271-8ACA-42C9-A32A-3C8B4FF012C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e17c94fa382dcf12dedb491011b6537b562989b7","datavalue":{"value":"3715503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$305A7C3A-6BD1-4FF6-92FD-CD056203F4F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a1feef6825ae3b6a0e063b4d2e7e61c3f775d9","datavalue":{"value":"common instance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1150586$5F937071-E2D1-44FD-A864-6A4CB771C27C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4822925c4f60ca26f46766d618989ef94997e03b","datavalue":{"value":"Q56092435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$AE225CFA-1060-4B22-9F10-47C17F43FB49","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":"Q1150586$565181E6-23FC-47D8-A8FC-BB60317D8318","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bdb4c70d656f4c419d14b26de6aa9ed1b29a066","datavalue":{"value":"https://doi.org/10.1016/0304-3975(81)90040-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1150586$E1DB5D2C-0F88-4E10-BAFE-1CD102563239","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b4b84965e2fa6bd762e58d5d109e133633f9edd","datavalue":{"value":"W2059054133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1150586$78395D2A-EBD7-41BE-9796-E9AABEB03FFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1150586$ACA7A156-3678-42F6-AE52-38830BC95F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1150586$A116AE67-9DEE-495D-8347-1936413E2680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1150586$172D2655-2F2C-476C-A89F-EF48CAD438C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1150586$CCE4A332-C7BC-48B8-90FE-C7662B706D38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fdb8073091664946083763324b0df1304a6fd6c","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdbd04182c0f3992f7f469a12635c9cf559b303","datavalue":{"value":{"amount":"+0.8530778884887695","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":"Q1150586$8318A614-A611-4FA9-AE73-8D423BD80B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f007a07ed807fcdb7e509c5c3ed234cefdf0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffaadc6c9919f7e4482090aed67788e60bd8205","datavalue":{"value":{"amount":"+0.8434589505195618","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":"Q1150586$7522503C-8C99-4A56-97F0-80C1F13A964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8f4d79320c18b6f5d1887751379fb0b65e9818","datavalue":{"value":{"amount":"+0.82573002576828","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":"Q1150586$A26EFD45-4614-4F01-BC64-B17D9081FA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38185a4cd4199620dcff157573877299dc774e3","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d596a03987cced9efef9c58b2e805206a2ee5bea","datavalue":{"value":{"amount":"+0.82502281665802","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":"Q1150586$C903B008-FE89-4220-9E10-E50C585E9F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79d87a6748a7d0eb77aaaa71becfaea221c5b5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3478395,"id":"Q3478395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb5f616b01d5cce219f5fde33e9f59b06afd57f","datavalue":{"value":{"amount":"+0.8132239580154419","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":"Q1150586$A6D2C620-575B-488B-8BA1-D6A6E95A7241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of the second-order unification problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_the_second-order_unification_problem"}}}}}