{"entities":{"Q1129255":{"pageid":1140004,"ns":120,"title":"Item:Q1129255","lastrevid":69707220,"modified":"2026-04-13T08:51:34Z","type":"item","id":"Q1129255","labels":{"en":{"language":"en","value":"Equational unification, word unification, and 2nd-order equational unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190296"}},"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":"Q1129255$893B34CD-B27B-4B74-A126-A7BD08011EE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"499cb92ea768c174de199bb97c352ad278febf02","datavalue":{"value":{"text":"Equational unification, word unification, and 2nd-order equational unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129255$973E9FB9-04A8-4EC5-AA7A-11B61283DBE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"693a5b2bddcbc210aff9db88c59d4a9f060b44a2","datavalue":{"value":"0902.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129255$D08BE3A8-FB87-4E28-B366-D890BBF52A0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"503e9d017400d21b27f777cb1f7818beea00ac46","datavalue":{"value":"10.1016/S0304-3975(97)00130-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129255$C89BB9CE-12B8-4A07-B8F9-08B1D27A163B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$71DBEAA4-471C-47EF-ACB9-4AFBE6372F68","rank":"normal"},{"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":"Q1129255$54B0A116-42E4-40DF-8AE9-3F86E6CAA36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$93D9623B-FDA1-4F12-9CAF-2B0D964A8B87","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":"Q1129255$403F50C4-DE4D-486C-B2E0-F0DF33F4ECF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129255$F9B59DE1-A450-4336-A5AA-9B3E579B2B9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129255$A36BF939-E3F0-4EA1-AFD0-5A1AA8EB9BAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62d6131235e3d2304c57c5e3a2ff8a2005fd494b","datavalue":{"value":"1190296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129255$ED6F7D5F-A5B2-452F-B044-756A126EA360","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7defc45b1c9f621d1aa80ea3aed1351870413cee","datavalue":{"value":"equational matching and unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129255$6BB666D5-6D07-4F26-BFCD-08C4547FDD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24272cd6d3962ce61a1ace994e95db373336ba6c","datavalue":{"value":"2nd-order equational matching and unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129255$10E08536-4645-4FAC-B467-DA4076189A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129255$AC6E442C-5701-4FB7-9BE2-9731B74D19EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da63934f65b513d2f637b82b8d354f0d05932ba","datavalue":{"value":"string-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129255$47B56493-641F-4AB8-81BA-20C872B17601","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":"Q1129255$B753926D-5801-4485-A555-BA6E616E7F5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fbadb486268c409587b62af0d1cffcf61437d4","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$32A5C670-23E1-4FEC-B13B-34333C207744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$A5721661-E432-4EB3-80BD-F6670141148C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$92897E7C-B873-4B00-BB94-EDE460866CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$C1B22D79-A33E-4805-8952-397F67BC8077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$F1F7BD04-C741-45A6-88E0-3FF8BC98E5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac55b3248a8edfa461fe652140cab8c3e6a73455","datavalue":{"value":{"entity-type":"item","numeric-id":582272,"id":"Q582272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$A3086B2A-AE69-455F-96AD-424167A6D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$D2E482D9-6EDE-49C8-9417-5441F0C45673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$A941331F-5B60-430A-94E5-B4C65663F494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7d3dffde4b639a5080d558096cb7a34be71d72","datavalue":{"value":{"entity-type":"item","numeric-id":4146529,"id":"Q4146529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$4672D6F7-B958-4489-AA45-6249C7C007F0","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":"Q1129255$81B804F2-687C-4FBA-9584-35FC4D0BC55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$3B990E42-B8DE-4517-A5CC-261465BC1D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb085332a5540b1ca4e897067f9871c49877550","datavalue":{"value":{"entity-type":"item","numeric-id":4571993,"id":"Q4571993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$D4895436-5381-4B34-9178-6BD35FA37C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e344815bc3b5de06e360987ce2ad4ba51709f0","datavalue":{"value":{"entity-type":"item","numeric-id":1070349,"id":"Q1070349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$3FA70F24-B765-4AB5-9964-78F1D5BDA0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa36176d37a13717bf142885d8f882c4acd321","datavalue":{"value":{"entity-type":"item","numeric-id":673984,"id":"Q673984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$AFEDE7F0-DD80-4BD7-9639-203D9CF95D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7737c77a6fa7ed90037c89e1c393d18d9b61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5055843,"id":"Q5055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$F4445453-04A4-45AD-B2E0-0DB2B80CEAC3","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":"Q1129255$AEDE702F-E3B9-499E-A89C-4D12389238B9","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":"Q1129255$7086FF95-DE6F-4C7E-9490-3C9816F3BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$5F5FA886-A51D-46BE-9880-7DE2C21CEE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a36578245b2d3613840d72980ba074a3359ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129255$3782E6ED-902E-470D-9065-DFEB3192261A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aee3c822339d4617b77075bf4bf5b12c86be2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5055843,"id":"Q5055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8881d6467baf98fe3ace0cb26c91f1c4868c9c8","datavalue":{"value":{"amount":"+0.9269591569900512","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":"Q1129255$1085E130-6EA1-475E-800D-F380D1B1C843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79df43a114291ed4d32034a5f054ed9c9bff9b83","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe02de61779e6827083b680593c99f74e5429fb","datavalue":{"value":{"amount":"+0.8542260527610779","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":"Q1129255$FFD92156-7271-405E-ABB7-B0E5D08EDCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b9fa2f98b387062a406593a7ae6cf73ac60fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1367080,"id":"Q1367080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c38746c7803807b353dfed0ac3310d1fa78b020","datavalue":{"value":{"amount":"+0.8520269393920898","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":"Q1129255$748270B1-870B-48EC-A50D-6B29CFDBA9AE","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":"d840e7dbdad4100902b0cc0e75b330cd56ae9d2e","datavalue":{"value":{"amount":"+0.8135821223258972","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":"Q1129255$933149C4-70F1-4C63-9FEE-235F9F932DCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational unification, word unification, and 2nd-order equational unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_unification,_word_unification,_and_2nd-order_equational_unification"}}}}}