{"entities":{"Q6560168":{"pageid":14171323,"ns":120,"title":"Item:Q6560168","lastrevid":55692415,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560168","labels":{"en":{"language":"en","value":"Simultaneous rigid E-unification is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869524"}},"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":"Q6560168$63F78080-877B-4BD2-89C7-EDF407328616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8952907403f10f264f2a8b55ef44bca5a313b058","datavalue":{"value":{"text":"Simultaneous rigid E-unification is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560168$C3F97B28-D705-4CD5-BCB6-F2D0C11C35DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08135596c113642f753dbdd5d171becd08844280","datavalue":{"value":"1541.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$4359F439-8A7D-4BC5-9FB9-84E073A1E6EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b428302da4e4eca085d0f321d1342225a3b9d876","datavalue":{"value":"10.1007/3-540-61377-3_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$B3B37B26-4AB8-4F2B-A1D4-E19F151E9E6C","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":"Q6560168$A3693A56-F619-45F6-A27D-090C913DA4C3","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":"Q6560168$AC633AAF-C00D-430F-B568-305FF561132F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560168$E3E09899-4ADC-4A8A-9614-5D550EF5B338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$79E1D36A-C63A-4405-A8D4-2828B06CE8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$80B9A819-24CC-431D-BFBA-EBD3D7E77B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$51AF9CFD-1F49-475F-9B00-F5C8DB041D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$889480A3-032E-4975-B104-A607E687B081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82cb7c53bf383ba949f9aa50a0598de80f910be8","datavalue":{"value":"7869524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560168$D87EE243-22B3-4B15-9019-93C2FF8B3E0A","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":"Q6560168$3C2DC112-124F-4F3E-9464-F7700B08A090","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":"Q6560168$AE81B38E-B166-480A-BAE8-6D6751CB38E8","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":"Q6560168$062BECD6-7C2F-40A5-870A-8166CDEA2BD6","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":"Q6560168$8AB46846-4464-48CD-86EE-F67F49F4E8A2","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":"Q6560168$54F006C3-B8F9-4B4A-BFC6-8212588611B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$39DEC7FB-B3F3-4622-9511-18A1131EE45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$5D0DDDF5-8E5D-4BBA-84B0-8AEB37A948CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4883090fee4a18fce37441e60e7576f14bdf3e01","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$4012F084-A853-4AC2-ADAA-AB430BF755D6","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":"Q6560168$2DF743FD-2946-4746-9F70-D699C43B35F7","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":"Q6560168$1DDCB5F6-5485-4A21-BADD-013BB2B8EE7A","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":"Q6560168$16CADF4A-C9E8-457A-9296-D8AF312C25D8","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":"Q6560168$B5388F86-564B-4F6E-B308-6A491D09B1B4","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":"Q6560168$7C4FFBF6-E6D7-46AE-A723-A8E04EEFB55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be11bfc2fc4856acd4c3e89f44d30be75c70991b","datavalue":{"value":{"entity-type":"item","numeric-id":5581621,"id":"Q5581621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$EC82FF44-83A3-44E4-8F56-2A44C14B2D34","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":"Q6560168$4200787D-3716-4949-9EA0-A225FC536604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0dd8f8517af3bfb30cb74ae8d68c97c0014f1a","datavalue":{"value":{"entity-type":"item","numeric-id":5581594,"id":"Q5581594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$D5E67FBB-A7AC-461B-A4AE-53D5B0ECDD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$25DA5B49-1162-4C01-BBDA-A22343A0A095","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":"Q6560168$85C722E9-0203-46DB-B0BD-1C3E3BAD0AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425b0be5c41c0f1de02b395feed2fa46e277680e","datavalue":{"value":{"entity-type":"item","numeric-id":5638280,"id":"Q5638280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$17179761-11AB-4C37-9A7B-05A79E79416C","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":"Q6560168$1FCEB43E-7816-40E4-B3DE-43B834BA10B3","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":"Q6560168$C9AA0FD2-4A50-4E46-8BB3-ED9AE00BB3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560168$9AAB19A8-01B8-474D-AA78-05547AE3FDCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2b6846de4fed4ad457da4792188d08e352b183","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d888748d76a3d97b07c3b2dd1fd064dbb0807d","datavalue":{"value":{"amount":"+0.9645053148269652","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":"Q6560168$74D5A8CC-0F0E-41D7-B1C9-1152D0BD9467","rank":"normal"},{"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":"eb10458a64fa803e9692a1ee9f21a3e2b24f270b","datavalue":{"value":{"amount":"+0.9140039086341858","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":"Q6560168$B7AEECEB-694E-49A2-9D5D-7E4331C82960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a1b3b067a55453e538e63d390e7f2fad3e740c4","datavalue":{"value":{"entity-type":"item","numeric-id":1961709,"id":"Q1961709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c022e9096dd04afec153ea916b34491eb078eda9","datavalue":{"value":{"amount":"+0.8853150606155396","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":"Q6560168$E637F584-C470-46F0-BD83-C0F6ACDD4511","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":"31e99a9b09d9565dae4b428b57c4c89e18327b0e","datavalue":{"value":{"amount":"+0.8719819784164429","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":"Q6560168$91D13CEC-E167-411C-A6DA-90B70E2526F9","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":"cec89aa89ae4c3833ddd0bf80fa38765f3372435","datavalue":{"value":{"amount":"+0.8698132038116455","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":"Q6560168$E637761F-4BB3-45F5-AD0D-4350E9CA84F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560168"}}}}}