{"entities":{"Q921913":{"pageid":923761,"ns":120,"title":"Item:Q921913","lastrevid":65371641,"modified":"2026-04-12T02:07:51Z","type":"item","id":"Q921913","labels":{"en":{"language":"en","value":"Rigid E-unification: NP-completeness and applications to equational matings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4166917"}},"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":"Q921913$778B8DC5-8060-41B9-95A4-4A3BC03E5039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a1afaa0340b7b310449dba325452c75f80dc448","datavalue":{"value":{"text":"Rigid E-unification: NP-completeness and applications to equational matings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q921913$E9837554-6F61-425B-AC96-E751B0B03DD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"611d18fdde0d54464a0726118b9b98b709acdf13","datavalue":{"value":"0709.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$B96388A0-DB85-43AD-AE40-C00E0354E96D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4edcaea610187a43c55546fc1e7116f39bc9eb07","datavalue":{"value":"10.1016/0890-5401(90)90061-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$1F50DA08-02C9-49D8-B0D3-B096A9DDA237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$F3706C8C-37E4-4B0C-AB8C-1CD4AE5906FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08806ac259b69338711fcb06260641ec2a055681","datavalue":{"value":{"entity-type":"item","numeric-id":685536,"id":"Q685536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$F8DD982C-34F3-4ACD-BEF2-4B2CF52A7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$2EB8BF38-395B-4F24-A170-BA6C239AF2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$D111D34C-B369-46FD-B3B1-8578F158E224","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":"Q921913$B11C1768-0855-4A42-96C0-7DB3D451639C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q921913$4EE26F47-B8F7-4AAB-8422-DD21AAC9F51F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"200768bddfe5ff6383d242a0ccfe26142efd754b","datavalue":{"value":"The completeness of the method of equational matings is preserved when unrestricted E-unification is replaced by rigid E-unification. By showing that rigid E-unification is decidable, the authors eliminate one of the reasons for the undecidability of the method of equational matings. They also prove that rigid E-unification is NP-complete and that finite complete sets of rigid E-unifiers always exist. Finally, they discuss some implications of these results regarding the complexity of theorem proving in first-order logic with equality; for instance, the problem of deciding whether a family of mated sets is an equational mating is NP- complete, whereas the analogous problem for languages without equality can be solved in linear time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q921913$85939173-6F0B-46E7-8329-A74EBE4F6ED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$706A9462-1B04-4B0F-A3F1-2F5F14474697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$7ADBA974-9BEA-435E-B40A-FC725E6B4749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$75E16F14-3C92-48BC-B732-B7AD9E4E0543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ef210d027e6fd7bc3ef50dafd9c2e6a2e5bf94","datavalue":{"value":"4166917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$F12D9596-E7E1-4549-BD9A-D717F5BCB27A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q921913$BCAB6638-4B06-45F4-A8E3-26A95236BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88058816abaeef4e62531e1536cf83313e8d2a0b","datavalue":{"value":"equational matings","type":"string"},"datatype":"string"},"type":"statement","id":"Q921913$7CFD487C-5EE3-408B-B8EE-5AF191557EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q921913$85D696A3-EF9E-4231-AE02-BC91570A0910","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"35cee68d146815d9623fe8edbb3f784c59be43d3","datavalue":{"value":"Q29392267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q921913$338FB475-2533-47F2-82C1-AA8C97D1E509","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$3ACB4862-C6E2-4A44-A9A2-C75FA93BF2BB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$D368DC20-A069-428B-B9B8-2EA226E4EAF4","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":"Q921913$5314486C-5FC5-46D6-8C2A-26FA56BF97E4","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":"Q921913$F100203E-BE47-46F5-8CC9-8960D1B18BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$CEDBD279-CF19-4529-8DF7-7818EFB64C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c356a12651cac369d6e17f0b17c42b6cc1c2e97","datavalue":{"value":{"entity-type":"item","numeric-id":2549322,"id":"Q2549322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$25AFF27B-A9EF-40AC-8B4B-E6F2A3EE6F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$4B09CFC7-FBF5-4255-AC98-B4E5CDFA14D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$7E718010-1DAA-448D-A333-BFF12298A868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$4C295908-8B25-40B6-9AEC-BC76D418186B","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":"Q921913$BAF2BE3C-AF8A-4D12-A336-67BA568DAD5A","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":"Q921913$6354B475-07E4-4A75-9B1F-79EFE92AB000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$91EBA9FA-ED00-4711-BD94-082EEF52419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a1395b86023d2276d47d7e6921ea762d79b440","datavalue":{"value":{"entity-type":"item","numeric-id":4764112,"id":"Q4764112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$0EF892AA-8D75-44B1-ACEA-D958FBFC71C6","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":"Q921913$331E89AE-24BF-4EA4-8F99-A2463DA9936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$642529A7-DAAC-44C1-8F69-1EF19B091D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$52504E9C-9251-402B-B99A-A66F02CDBB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f029f25ce66f1e8b3294e6cdf267f00f417ca7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1836978,"id":"Q1836978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$C7828B91-27DE-4F6F-8F40-C0820DD7981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$914A0955-5033-427D-99BA-ED973C54A095","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":"Q921913$FE5A2344-23DA-405B-A0B0-C18C38105ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q921913$B0E8016F-EE8B-419B-8095-3F091383FAE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833e8e0f00263c5abbcbe67732c6e2af666995f7","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9401a027af4fabecb9d8e0682ec10730e5b63b","datavalue":{"value":{"amount":"+0.92117953","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":"Q921913$04731613-0BD2-46F8-ABE0-7D0E0E3FB250","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":"d6cb60296bc47002f4a1f5607447ed5cb865f5b4","datavalue":{"value":{"amount":"+0.9092973","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":"Q921913$B95F56C0-4CE7-4E33-B8C2-456637E6B485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c597d2a417ecc8869ae2023a5d8bab6d13786f","datavalue":{"value":{"entity-type":"item","numeric-id":3455762,"id":"Q3455762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d35ea6fb9b1502f9c793bc814c4335ac074bc7","datavalue":{"value":{"amount":"+0.9017989","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":"Q921913$2589BC62-9DCB-45B5-B487-3E051123643A","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":"e551373487ff80217e3aba81e6d9d7b0814eb1e6","datavalue":{"value":{"amount":"+0.89698875","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":"Q921913$80C7AA4D-FEED-44C5-A59C-6DB984C2F1A6","rank":"normal"},{"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":"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":"Q921913$167C92B4-AAB0-409E-9EDB-87BDD754ADBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f052c08e59890fdb5f50fea23a7520df68f3d12","datavalue":{"value":{"entity-type":"item","numeric-id":5210805,"id":"Q5210805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505bb4c593f35a3713b6874cb1b68ad80b908a32","datavalue":{"value":{"amount":"+0.8904377","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":"Q921913$90765BD0-B79C-4411-9F9B-182A0CE1893F","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":"4c5d89c0ed596b4933427ea6a5fa7ffe6980174a","datavalue":{"value":{"amount":"+0.88066024","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":"Q921913$1AEB611B-96EE-4DCF-BB4A-938A85C1551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dc31ab08766faa6d598e4aa48f7f0fcebf8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891bfbd683e59b51425db5b6719775713303a773","datavalue":{"value":{"amount":"+0.8781535","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":"Q921913$7243867E-C38D-4C71-98B2-F5D299E5EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07780356ce8084e8f413eed8f443fab3f293fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3716322,"id":"Q3716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49fd16f23863386c8c7c19d28bad765cd5a06d6","datavalue":{"value":{"amount":"+0.87680304","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":"Q921913$236C966D-54FF-4B66-852D-12632C5E584D","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":"5451e4bff3d43e8f2fe606d10d95f8f2e94a77ec","datavalue":{"value":{"amount":"+0.87618005","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":"Q921913$1055B2E7-9C77-44ED-A167-57B976D65075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rigid E-unification: NP-completeness and applications to equational matings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rigid_E-unification:_NP-completeness_and_applications_to_equational_matings"}}}}}