{"entities":{"Q4302815":{"pageid":6332416,"ns":120,"title":"Item:Q4302815","lastrevid":46285899,"modified":"2025-12-24T11:54:00Z","type":"item","id":"Q4302815","labels":{"en":{"language":"en","value":"Theorem proving using equational matings and rigid             <i>E</i>             -unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622298"}},"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":"Q4302815$B11073F4-CD9B-41BB-A7D2-648A92966C8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f6c84c28cb4598d77de3be3c788635e5df2cb07","datavalue":{"value":{"text":"Theorem proving using equational matings and rigid             <i>E</i>             -unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302815$52744F06-BF41-4ED8-9EF1-FF2AC92C4336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a6a00d4c9dcbb0138a886f95008469c7c3f99cc","datavalue":{"value":"0799.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$9D856304-D61C-4ED9-AC65-6646163AC963","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f75cdcbb15a8720f74daeac481d92ff3e5918d3","datavalue":{"value":"10.1145/128749.128754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$DE3ACA78-470A-4389-83A3-A68CB49B1046","rank":"normal"}],"P16":[{"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":"Q4302815$391C0B80-DFFB-4E38-8FCD-06F8133D026E","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":"Q4302815$3C42C1B1-BA8E-4C86-A6CE-518A14C0FECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9245d6bd94ba1579f298ff2452b52a61f5a5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1188937,"id":"Q1188937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302815$293922CE-0D65-4EA6-86DB-176C9BEA675F","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":"Q4302815$B329C2D2-0459-4E0F-9DF7-CD279151C1AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302815$C599366E-EC8F-444F-97F9-DAAC1C529E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83b85ded45bcd964fa18adf073d88c5a52b60391","datavalue":{"value":{"time":"+1994-11-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":"Q4302815$6371960E-9C35-4F6D-9166-1DE2D9976EB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$F5CA92BC-4F24-4474-A6E4-7EA1F6D3988E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44c42deb8c74105512236310ec387c304e71bdf6","datavalue":{"value":"622298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$638B0AA1-4AAF-4820-B77C-E4FD5B667870","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302815$BB338B08-9473-4099-BB53-3167121C75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54b457ed905a03d8dab0fa70d7867b6db25a218","datavalue":{"value":"matings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302815$C14912F4-EC74-478F-AC99-731579DDB1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdd488957e6565f193db2bea6a9ea9616ae78730","datavalue":{"value":"\\(E\\)-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302815$08E02F4C-64F7-4D41-AAF2-CD7EA36EA420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad687811b88d6cfd7693c0005dace05c222a4f9f","datavalue":{"value":"equational premating","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302815$BF81E6D0-88A0-43D4-88C3-D25489B4FAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7f128a8890c1ed831720a74faec8d6c0dd504e","datavalue":{"value":"NP- complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302815$060D285C-A37C-448C-B66E-9BA9BF112F5E","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":"Q4302815$AB31D0CE-0EBF-4EE4-A3B7-0D48CA1F1364","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":"Q4302815$D22612C1-DFD8-4BC1-B4FB-4315846B27C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a65ec2e45a627dc6da9a0ebef2fb0a05c757df89","datavalue":{"value":"https://doi.org/10.1145/128749.128754","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302815$A7FEF86F-75C6-4797-BF17-20902CDE8561","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e784024dafbdd6a755b9bada55f26959f06c8470","datavalue":{"value":"W1999336350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$0A87E114-3836-49E5-A972-5BA5BBB1D243","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d14a35004724d98424e45a1ee45fcbe941b9e2fc","datavalue":{"value":"Q130990443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302815$3BD33437-D246-4F0B-A62B-534135D2AAD4","rank":"normal"}],"P1643":[{"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":"b70f83f4b60e5dfe7d09cf4a5728bdd3d2ec7f39","datavalue":{"value":{"amount":"+0.9301657676696776","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":"Q4302815$C3CE007C-EC65-4BBF-8769-68704764C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda463cca80813e1e516a9c6808f7190a9c6d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4273676,"id":"Q4273676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e950090de029dbb5811bb5cf3c6b220a2a9d766d","datavalue":{"value":{"amount":"+0.8513774871826172","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":"Q4302815$2D6143CB-B08C-4B23-A45B-28192CD7C3C8","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":"98b1ca202998992fa87655b78c3fa33b8eeaf822","datavalue":{"value":{"amount":"+0.8348272442817688","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":"Q4302815$5E8C2E68-698B-4A8A-B62D-E47E567865B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf03038873f84b1040c7d5d8f59221454ef47a19","datavalue":{"value":{"entity-type":"item","numeric-id":4524789,"id":"Q4524789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b5a9eec7a6a0bab70583adbbb4b4a3b2517dbd","datavalue":{"value":{"amount":"+0.8265299201011658","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":"Q4302815$42618663-3484-45B9-AF3C-DE9D87ACBC0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302815"}}}}}