{"entities":{"Q3478395":{"pageid":5505255,"ns":120,"title":"Item:Q3478395","lastrevid":46830699,"modified":"2025-12-25T16:36:02Z","type":"item","id":"Q3478395","labels":{"en":{"language":"en","value":"The undecidability of the D<sub>A</sub>-unification problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4148070"}},"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":"Q3478395$1FA28306-BEDF-4308-B56A-919ADA72E984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be41e6f8fd515d4cac45c653b7dab12a1a38c20a","datavalue":{"value":{"text":"The undecidability of the D<sub>A</sub>-unification problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3478395$FEE84BB5-632F-4D8C-97FF-7296C3A1E5BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78d7f4d94d524e5570f5167935fc0b2d697e2a60","datavalue":{"value":"0701.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$5EEA59F6-6A0F-40B7-B583-038887DE857B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94db6904957569a389e76827cd84ad8ac3a701fd","datavalue":{"value":"10.2307/2274856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$927CCE53-592B-47FD-8681-A2CC5C200755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$6FB67062-9E07-47C9-B928-25D16AB85A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3478395$868E1C50-504E-468C-9700-9B6D87FA57D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$F06EBEC9-B57C-458A-BCA3-4537CEFB9986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$F53D0AF0-31A0-4A62-9062-029786F4E1E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce6a5138d74e71c84e5e9e3109bed55477f84dc","datavalue":{"value":"4148070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$7F5F3A74-C3E4-498A-9AD3-8A00B66584A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb9d9b3489590e2909b731161e1e53f29d64b0a","datavalue":{"value":"unification problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478395$D0C8D487-A9C5-408E-891F-554E3B6CC65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a93df36ddeac37c95c3e7b409f6d74c0df6c3d53","datavalue":{"value":"reduction to Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3478395$3C043C6A-A210-47D0-9BF0-246951676D7E","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":"Q3478395$3FF00564-6FD7-47C9-A1F6-18559BDAB1B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96b6d173e3a8c48eb3cfc4d9c6563eadfd472b81","datavalue":{"value":"https://doi.org/10.2307/2274856","type":"string"},"datatype":"url"},"type":"statement","id":"Q3478395$BC481A8E-5527-4B7E-BDE3-5138B3EF8321","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b65b4011bd4b4c52e2579a2a3311c8d16425ffa8","datavalue":{"value":"W2577911961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3478395$5E1D3B1A-4A37-4778-83F1-45DD50F192FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36616b185d46b86df03954cf9c690775b1d779e","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$2CF5FE2A-FF8C-43FD-B00F-3FF368F1FD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$68500A16-1D84-446F-A660-D8B6AC4BE4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$9AFEB1F0-E5E0-42EB-ABC4-CF39FFF27E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$05342B3B-1D1F-4E29-9EE1-AB61261937A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$1C005EDC-95F4-489F-A484-26F806AA4516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10388a21a0433090bc8fa41982aae790dd491eb","datavalue":{"value":{"entity-type":"item","numeric-id":1092171,"id":"Q1092171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$E057C532-1DC8-4F34-B56B-3450DC55C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$B33C326E-CB2B-42F6-8420-1ADE756953E1","rank":"normal"},{"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":"Q3478395$BECCE514-8AA6-46F3-8261-821E0A7044AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3478395$5B4074B8-8433-4081-A735-A044687F07E0","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":"Q3478395$4267F7CD-59DE-41DD-A824-54CD7B5B2EE2","rank":"normal"}],"P1643":[{"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":"7f745b0b725e6a30efe3b91a0428baaa75dd0181","datavalue":{"value":{"amount":"+0.94650006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$8A0553AF-62A4-448C-9232-8DC4E5DBDE80","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":"ebd2189f45e32aebc7e1676af81b4c2312ed8ed2","datavalue":{"value":{"amount":"+0.91814953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$C83ED2D9-44AB-48EC-AEB1-426CD543D1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0e2ab75c34544bd1a7171a7be3a3c4ebd5a1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215c0a353bac8dca5495b633d9c6a8c5bc4618ba","datavalue":{"value":{"amount":"+0.9054252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$20499D81-9DDB-4FB8-B85C-91AD5BC15D51","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":"23b3b41ecf15e88e941a4ab0b8521af0c8a079a9","datavalue":{"value":{"amount":"+0.90477955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$0CE442B1-2F76-43E4-99DD-5C8732613363","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":"197614310c9ee4b7fff729d356d17cdb182d6c03","datavalue":{"value":{"amount":"+0.89744496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$14F72E7B-00E7-4836-92A3-F3712960DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32d6b9d650b40bb4f5a90f869f721fb7569426d","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a527a89e2aa3638fc01255867a50ac0ea9dbd973","datavalue":{"value":{"amount":"+0.8962339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$6B76D399-98EC-49B8-8573-9EBB75EC25B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5324d2665727850e5c41647da1b2fc2f4691e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8469fd03c114efad52e9599cb76f108705577580","datavalue":{"value":{"amount":"+0.8937632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$6014518D-9C0C-4A9A-9322-DE73244F0305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb001512014a8546eb723f44ac77c4be954100a","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0636a697e6dcc7f1d8fa595596b83dbc4e33e7","datavalue":{"value":{"amount":"+0.8924087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$4C309485-7C0F-4EAC-B655-93F5D5D65E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba898bea6155fcee2418be216d03006af9eab268","datavalue":{"value":{"entity-type":"item","numeric-id":1825190,"id":"Q1825190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed940bad73c02e6747a342571d206357eaa1ef49","datavalue":{"value":{"amount":"+0.8894564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$8639514C-CB59-40DE-ABE2-1759FC911F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432b693c2e172689374734f50fcbfadb93deeffa","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a9a7d7ada99d2418072dc85a2c1acccb397670","datavalue":{"value":{"amount":"+0.88912576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3478395$B52632AE-1DA5-4407-A3ED-D72079D3B3D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3478395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3478395"}}}}}