{"entities":{"Q1124338":{"pageid":1135087,"ns":120,"title":"Item:Q1124338","lastrevid":69841854,"modified":"2026-04-13T10:42:40Z","type":"item","id":"Q1124338","labels":{"en":{"language":"en","value":"On the relationship of congruence closure and unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112014"}},"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":"Q1124338$D96F340E-16F5-4EF6-A674-2C3B6E81D21C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76011adc48337f1894ac51f0fdc4ee33af9f813c","datavalue":{"value":{"text":"On the relationship of congruence closure and unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124338$CC3D55E5-10CB-4203-A547-6B06900F69EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8992b5b4672fbd6a9f7f8cf020ad7126b8b39bfa","datavalue":{"value":"0678.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$E46A004D-2231-4871-82BB-B0F4322ACA80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb8054e6a8d743303024923acef1d0f1e3572e0c","datavalue":{"value":"10.1016/S0747-7171(89)80018-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$97151D1D-DD32-4E6C-A179-B5A41955C480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0dd0265ec494130c14e350640a6950f35843b6","datavalue":{"value":{"entity-type":"item","numeric-id":579956,"id":"Q579956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$B3B3E64C-E0EF-4E08-8C75-842864D215E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1837ca1ba79416e0c604108e5263c0aea5d9bf9d","datavalue":{"value":{"entity-type":"item","numeric-id":676425,"id":"Q676425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$86CC31E1-C24A-452D-825A-DD94844C0885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$46C0C20F-D619-43FF-93BD-42094EA739BC","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":"Q1124338$3C49F989-0480-4C49-BDFC-243D8B433BBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$E7531F45-5E64-4ED1-8CC4-4D255FF0D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$2C3167B2-1B2C-4A4C-907B-F04F3A2F1517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$40CB726F-A424-4371-A23F-102426A03F82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbaacd3a15c58362541486a5d0182eb6120cb74c","datavalue":{"value":"4112014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$35F112B2-8CF2-4357-8B74-13262E24583E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63276a475affc831d4a98bc4349be134cac56e8b","datavalue":{"value":"Congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124338$E065FD76-FFD8-4C0E-8A10-126AC3B02A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7f697ed86160a80d8253c0aed68f4a9935e7e0","datavalue":{"value":"Unification closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124338$EFE5EC55-421E-4BBA-B37D-0B7818B769C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f892a06c80faf7f809761faaa0df891f49910d8a","datavalue":{"value":"parallel complexity class NC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124338$C6AF6203-B4A3-4C62-A415-744BA666047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c219a0f38adc0fb2af4f140d791ac0ef8b22c7","datavalue":{"value":"log-space complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124338$1A4C15F7-D3AE-408A-92EC-B72FEB031BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124338$CD2EFF10-7C1B-4762-AF81-BC4466C76461","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"61cb2bcd4ec0e3a5c7c67074fe4318be94fab24a","datavalue":{"value":"Q57641786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$106D98E1-188B-4446-9508-41FB39852984","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":"Q1124338$7B2FE2C2-3F8D-45B4-A011-1418CD49C19E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48082887263b9d8fdcc48ec12233524d7942afd5","datavalue":{"value":{"entity-type":"item","numeric-id":1083189,"id":"Q1083189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$E8895C30-7DA6-4338-9532-7AB6DB7A8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689e79cb9366c053465644e5ffddf982ad0107f1","datavalue":{"value":{"entity-type":"item","numeric-id":4170196,"id":"Q4170196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$609F21C4-84F5-4FAB-B4AF-9A21D006DBED","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":"Q1124338$499C4A19-A77F-4560-B7B5-C3AEE09288D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$732496CE-B40A-4EC3-AF9F-05C1CDD29CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156b827ac08590a45280d67b6908c8fca5d0899c","datavalue":{"value":{"entity-type":"item","numeric-id":3796803,"id":"Q3796803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$FB70DA7A-CCE2-49D4-81A9-11D13348CA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2628ffb9e59aa19553582ac944ed7dc8d827a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5402548,"id":"Q5402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$1A2280ED-57A9-472C-8544-E4045046B2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$6D13196D-9BD0-4D11-9886-799A1C3F481B","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":"Q1124338$3F9A546B-1A91-4B14-BBE2-AA94D42CD8EB","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":"Q1124338$7A61DD0B-809B-43CA-834E-D51CE76FF2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$402F1CC3-0299-4F4F-B9D4-CB453A7525FA","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":"Q1124338$8D713120-197A-48AB-8E24-BA87D73F251E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec83d58d549b77c92d673134b5f062b4cc14016","datavalue":{"value":{"entity-type":"item","numeric-id":3783558,"id":"Q3783558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$0221F24C-E41B-4F27-947D-7A73730E391E","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":"Q1124338$D6115F96-110B-4DE0-8F7A-9FD44E4E7A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0751213ac1721d4b7bcbd9ddb031d0ca4971a705","datavalue":{"value":{"entity-type":"item","numeric-id":1145502,"id":"Q1145502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$10B353EF-14B8-43F2-BABC-F0D0B0C9A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$677D268A-0B61-4DC9-95F6-B2C0C12C419D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$E3B55927-16FC-4E1C-804E-EF47211C23D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bc93cbca953e308ba80d56d252ce03b581ad05","datavalue":{"value":{"entity-type":"item","numeric-id":4720785,"id":"Q4720785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124338$CB9148DE-7748-47B3-8249-2EC54DECF928","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5db92f7ae3fed08ebf424c9b0d6f0733684caa97","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80018-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124338$901C3E10-91ED-4511-B3C1-52F5893871CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56c415716948a111832eb0c679e191217f613cf5","datavalue":{"value":"W1964892433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124338$E575D173-FE2F-42C3-981F-D0CF2DFB20A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533a8b77e8a99e85fa42a571379c69b8c18274f3","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4982d56c87ed38f8ea2e94a52b7bccebae9b624","datavalue":{"value":{"amount":"+0.7748783230781555","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":"Q1124338$7619F4A0-10C0-4842-B834-96B8915F0803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2956acbdbe54113a2ce780f06803ca8d04c1f41","datavalue":{"value":{"entity-type":"item","numeric-id":2723409,"id":"Q2723409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a52eefb6abb9162654e41f21ce7e03666794d","datavalue":{"value":{"amount":"+0.7701517343521118","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":"Q1124338$45DF4BDD-28B0-4335-A250-6E09EB63B7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471abefce0cedf062564ac68c1e580b5e57c1c97","datavalue":{"value":{"entity-type":"item","numeric-id":1842442,"id":"Q1842442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ab4f17f6c517a1a59e7878e0dc348024edd04b","datavalue":{"value":{"amount":"+0.7678218483924866","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":"Q1124338$20CC1232-F543-4217-8183-5700C22E557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bced0ca0afd16657834f724f6cddb80ceec6d421","datavalue":{"value":{"entity-type":"item","numeric-id":1730315,"id":"Q1730315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56f2f7df8e27e1f1049450e49f3c9fd18bb425b","datavalue":{"value":{"amount":"+0.7669330835342407","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":"Q1124338$00D4C81D-E6F2-405F-B353-FE63B1041F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cb88817bc5c9233f9cd8d79f12ba2a1e7a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":1280915,"id":"Q1280915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e099b4871a77842f21184352182148c8bd23f6","datavalue":{"value":{"amount":"+0.7663198113441467","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":"Q1124338$26FE0008-165C-44BE-AD4D-EA20F7EB338E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship of congruence closure and unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relationship_of_congruence_closure_and_unification"}}}}}