{"entities":{"Q671659":{"pageid":673508,"ns":120,"title":"Item:Q671659","lastrevid":63589176,"modified":"2026-04-11T14:11:11Z","type":"item","id":"Q671659","labels":{"en":{"language":"en","value":"The undecidability of simultaneous rigid E-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983430"}},"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":"Q671659$203423E1-486E-4338-AE16-74BE83CBCC81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"280085901e3d71be1c11db4f4adec2fdb2dbddb0","datavalue":{"value":{"text":"The undecidability of simultaneous rigid E-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671659$4E46A15F-E2D2-4757-AC56-2F7A6760459D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"587fa7d3d32645a54b633326466ac4acdbb0a708","datavalue":{"value":"0872.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671659$2477C180-B1F1-40A9-A4B0-2058AE224205","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c62d39af74477c802556c15c3941d6eb3cce161","datavalue":{"value":"10.1016/0304-3975(96)00092-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671659$930E0DC9-869F-4185-82AC-3B5A6AF1A3CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8267b3be2b739476dcf61b4c89d4f97117c42016","datavalue":{"value":{"entity-type":"item","numeric-id":671658,"id":"Q671658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$C3E0B56D-6CC5-437C-8DDF-2B88F36E85D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$3B6F6169-A9CD-4834-B0F2-D9773505EA0C","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":"Q671659$0089E2D8-6B5A-415B-838F-9790EAD03D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671659$CD23D64F-BB59-4AC9-A2E3-2A61D18F4926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671659$C2C097C3-F596-437D-BEF1-A6E862D9E0BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"771eb3c5c1de9ed1b9c3f98be8b79d5bb54cd9ed","datavalue":{"value":"983430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671659$FA81FFF1-EB64-4423-9E0E-FCDFE15CAE9D","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":"Q671659$DB653248-74C4-4E44-BCA7-FB6F6B49D5E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95397c983d6721cb70f4b15dc5984a75ba97fa23","datavalue":{"value":"https://doi.org/10.1016/0304-3975(96)00092-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q671659$A240F722-8C8C-476D-A464-FB082B1E2386","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"777331a917325afb20a747447f2c9e8b85a4a000","datavalue":{"value":"W2007520000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671659$FA465B88-F1FB-4EF3-95CE-2D60D2D30C7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$844B01CC-4FB9-4667-A31F-8EF1A4B12439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea89222d9022292d1ae628b55b56ffd59e9f0028","datavalue":{"value":{"entity-type":"item","numeric-id":3140630,"id":"Q3140630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$E19BFD5A-7D68-4B97-A99C-45C837D94F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e15b96a63d7af68382572c93c414025b4cf92b","datavalue":{"value":{"entity-type":"item","numeric-id":4255506,"id":"Q4255506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$C4871099-46DF-4E1D-9B37-186F0DA3E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9461a009d0db348802cd3409cfae7c2097cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":5210805,"id":"Q5210805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$3B850148-170F-4C9F-9D81-29B0BCBD9A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed083649962311e9cb36edd1af7a903443454ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3833651,"id":"Q3833651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$6F1EA0B1-E314-4E96-87AD-10AF9D8BF561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508ce1a717805f25357aee0cc5c80d75f0475557","datavalue":{"value":{"entity-type":"item","numeric-id":1575636,"id":"Q1575636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$2EB2BBDC-3F1F-4B89-A4AA-5CA34DFFE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$AB570344-0DFD-4651-A844-F21A110058CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920941013986d0fe98de8d648b55f604839d6693","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$0CEFAAA2-D3AC-495E-AFC5-E6C1CF118422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310d6b8c809632da73f2c03447619c8142494b4b","datavalue":{"value":{"entity-type":"item","numeric-id":921913,"id":"Q921913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$7AB2335D-2959-4BDB-B5DE-223D04703793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$EB2296C9-415D-42F5-B8A8-14F3C8834527","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":"Q671659$D4296A01-95E2-4023-9D68-85F934EBB168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$1FE6BBAD-CE62-459E-BF0D-694222A64D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88abc372dfaf224127922b14ddf547577ced7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3937380,"id":"Q3937380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$6E9DABCF-E6FC-47FE-BF68-ECF3EC3DE892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42400cda0b7b7dd3e21531266007666f2ed8ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5549805,"id":"Q5549805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$55995155-23CD-4013-96DB-206E74742D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$A6877757-FBE6-4DFA-B18E-39A38FAFE7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0860341377e2f8fb99d0411a6be3c556b9ef60dd","datavalue":{"value":{"entity-type":"item","numeric-id":5559244,"id":"Q5559244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$2CBBA77E-61F9-40FB-BFC8-06C90517FA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e17ba765a588f5157a31e5078c76c4c4b2598","datavalue":{"value":{"entity-type":"item","numeric-id":4109666,"id":"Q4109666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$586F60C5-7ED3-4816-8265-AD55A21B898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89023cf5c31f70be77745f13e68a549d2c3f9","datavalue":{"value":{"entity-type":"item","numeric-id":4537435,"id":"Q4537435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$83B81F33-CF05-410E-ABF3-523DFFAE1683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6097cc60e6f31bf0c0a6c0f287889f4f5c97245","datavalue":{"value":{"entity-type":"item","numeric-id":4647498,"id":"Q4647498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671659$B63876B5-8775-4350-9B64-D4D468D59B16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88eda265a188fbf1c26d6ec5dd7897033546d25b","datavalue":{"value":{"entity-type":"item","numeric-id":4364523,"id":"Q4364523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e72f8010207f5de88764ef8d7e9673bd414e93","datavalue":{"value":{"amount":"+0.95888644","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":"Q671659$5E9C295D-1913-496F-B748-B512915BDE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956df42f4de023d55206f1fd8e1ca2e51671d53c","datavalue":{"value":{"entity-type":"item","numeric-id":3838767,"id":"Q3838767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d8dadd7feafa626c5bd2a66373e1b8a76901f6","datavalue":{"value":{"amount":"+0.93742144","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":"Q671659$10F9250F-241B-4899-B380-92333D8A1BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0453a8810dda2b3e0c388b4f63039f7110f22d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1575636,"id":"Q1575636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d317f5155767dcc819f5febd5881e2a18321028","datavalue":{"value":{"amount":"+0.92568636","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":"Q671659$4D705A75-14A6-43B4-9617-FBB7354E4E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5c5bd409b15fbcc78f61fb7edf2042911a9e24","datavalue":{"value":{"entity-type":"item","numeric-id":4571948,"id":"Q4571948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76857936c3e301d66a9da3e9148df89b8d61f5c5","datavalue":{"value":{"amount":"+0.8985341","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":"Q671659$4F260B2C-003F-495D-9F3A-C651D2231E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb116d0df89c4433c796196972def7e85df3039d","datavalue":{"value":{"entity-type":"item","numeric-id":921913,"id":"Q921913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88fff0e41ff89ca220924bc1e3f924618a6505d0","datavalue":{"value":{"amount":"+0.8964487","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":"Q671659$68759199-CA71-454F-B83C-86C2CDB88C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e09e78c03182ddccc8515798a059c7aec069a5","datavalue":{"value":{"entity-type":"item","numeric-id":3454123,"id":"Q3454123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ffba1f071ed9f5752624f33bb949b833206c5f","datavalue":{"value":{"amount":"+0.89566886","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":"Q671659$F39430F2-AFCE-4B10-A957-9ACB00AD7B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca00412e2d39fc69bcc4de993d33880967df5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4375199,"id":"Q4375199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9e54191d5712905dbbd5bad25cb9942f131b09","datavalue":{"value":{"amount":"+0.89241654","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":"Q671659$D755D55D-6327-49DE-B65B-56E0FE682C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa04a907f7bdc44b74d8c54300eb25840eba213","datavalue":{"value":{"entity-type":"item","numeric-id":5249028,"id":"Q5249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55a5f70967ca6f100a338f552bd1f0b5d9647af","datavalue":{"value":{"amount":"+0.8913885","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":"Q671659$16E19768-05C0-48C4-B793-311F081C832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2092003298a8b1d9154b15e0eb131af1ecdc0e","datavalue":{"value":{"entity-type":"item","numeric-id":4282607,"id":"Q4282607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d764bc41f006fe3f6d426399f5e7abcf78044dda","datavalue":{"value":{"amount":"+0.89116144","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":"Q671659$0126E716-69B9-49A2-8319-4549DD2A5139","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":"8ddc187e698ef5852d276b3cf0b8c7541499b85b","datavalue":{"value":{"amount":"+0.88914216","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":"Q671659$29036B7E-9208-4367-B336-E393195BFB2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of simultaneous rigid E-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_simultaneous_rigid_E-unification"}}}}}