{"entities":{"Q1207950":{"pageid":1218699,"ns":120,"title":"Item:Q1207950","lastrevid":66482139,"modified":"2026-04-12T10:22:24Z","type":"item","id":"Q1207950","labels":{"en":{"language":"en","value":"The undecidability of the semi-unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165621"}},"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":"Q1207950$0CC78E88-33BC-44B6-A67F-E196D8D08E9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a800a9b62fc9465985c9f3a9e9bbc5741ac7bfc","datavalue":{"value":{"text":"The undecidability of the semi-unification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207950$95DC6B57-E79B-43FE-9DEA-F0D43B5284D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0ab575a9277a12a28d5d71f764c9462504cd590","datavalue":{"value":"0769.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$6D666BEC-47A8-424D-9CF0-2F4C48E6D9AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207950$8EB0F8F6-08E1-434B-BA30-E8FE66C6EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207950$A83D50CB-4C28-4B7E-963C-889023CF9617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207950$A216E45A-34C6-40B1-B4DC-A6618DB490FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207950$6FEDB10C-2B45-4903-86DB-1540360C431B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207950$B0E8D877-23B0-493D-A334-587E143305F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$3F890AB4-F6CF-4A38-91E7-3B6864FDBBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$814D5B44-C387-4533-9C9C-4045EA465F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$E5298D7A-FD1C-47F3-A55B-FD09A6F62BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$6A81FF6C-B7E7-4BE1-85BF-F6802A37D86E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd6f710470c93cddc63dcf0e2813398f477252f3","datavalue":{"value":"165621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$E95A8124-B91A-4409-8DB0-BD904F708B3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3301d1e8cdde7e1f8dbf4c08187528a467cd246","datavalue":{"value":"Semi-Unification Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207950$345425FF-B808-4BD2-8E31-1CBD856EDDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207950$FAC92F6B-A83E-49CA-8C54-09D481EC5672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207950$E0B76E21-F332-4B42-B96F-FC2A906332B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207950$CCD8BD20-BB86-430F-AB4C-94D0476DC66D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9fd6b99804715d8ac09e418fc065e5c7ef18be70","datavalue":{"value":"Q61634982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$0883CA7B-DC67-49DA-B781-6FC14F142AF3","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":"Q1207950$1C6B37DA-C4CE-4989-B3F9-0B6C76AA22CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96635e331862ea9a8c3b5466891e70e4edd9b10e","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1207950$C35FAC40-299C-4855-9BB3-2C8C4EA37C50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da7ee9e9aa8012b443adfbc8f491021886768207","datavalue":{"value":"W1993695344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$50C8150C-F714-482B-B74D-81C8388AB086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22903c7a365a59513e950839a62122add87b69da","datavalue":{"value":"10.1006/INCO.1993.1003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207950$16C22EC7-C003-4459-BD1F-CC1583116850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c207fbae33f7c0feab7340c348a30fb6a9d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4035254,"id":"Q4035254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dd21486da4ebbce4de4cd945bd4a7b5a877218","datavalue":{"value":{"amount":"+0.8338647484779358","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":"Q1207950$98E9BBAC-2F4A-4A08-AF0E-FF6F4B4EF98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f6241c37db4741bc8cd0f1bf56924d96172f8","datavalue":{"value":{"entity-type":"item","numeric-id":1098623,"id":"Q1098623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0915c92ab3316e9596fabaaa35a682689bd81c","datavalue":{"value":{"amount":"+0.8328996300697327","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":"Q1207950$CE46DC78-E049-43BA-B595-2FC21EEC6AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c9cefb47efbb70d91db974839f9e5b97d14f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1077931,"id":"Q1077931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81fe06acb719af92196e760c384781ba86f46c1","datavalue":{"value":{"amount":"+0.8101586699485779","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":"Q1207950$4AF3CEB6-B74F-404B-9805-75A6E88D02D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488e481466be4f0d0004cfe9a7a1a4245bbf58d4","datavalue":{"value":{"entity-type":"item","numeric-id":3204025,"id":"Q3204025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183234ea3072b8e9b7b96af9407db10435dc70fb","datavalue":{"value":{"amount":"+0.8004447817802429","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":"Q1207950$D74CAA26-65D0-456E-942C-970B415047BB","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":"7ffd869cceedc08468d94c6ac44454014e947fb4","datavalue":{"value":{"amount":"+0.7761474847793579","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":"Q1207950$756862E4-EEC6-4076-B120-82B65BC629BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of the semi-unification problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_the_semi-unification_problem"}}}}}