{"entities":{"Q5055844":{"pageid":7085421,"ns":120,"title":"Item:Q5055844","lastrevid":58414995,"modified":"2026-04-05T03:01:31Z","type":"item","id":"Q5055844","labels":{"en":{"language":"en","value":"Regular substitution sets: A means of controlling E-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631264"}},"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":"Q5055844$991FD834-AFFC-4743-B14C-2CBE6056A0E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"870258e1d2cc1baa6027111c3c617bd2b3bd26a8","datavalue":{"value":{"text":"Regular substitution sets: A means of controlling E-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055844$D150B884-5A20-4E07-9159-B81E73C4C350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9104b890f4518d063378b8e37c63d9071c01e794","datavalue":{"value":"1503.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$A68D0C7C-01EC-45FB-9039-7044DF086145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"004375987875fb3f85702edabfda0e7585dd24be","datavalue":{"value":"10.1007/3-540-59200-8_71","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$8A4BA59E-5C61-4CE3-85FA-81F57DD69EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54a13270554d7a2eb8f2882f11491022e76da171","datavalue":{"value":{"entity-type":"item","numeric-id":2457666,"id":"Q2457666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$511C0A53-B4FE-4A42-B4B4-A9828117CF19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$970B61E1-BD1A-4E42-86B8-9B0E948BF3F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055844$D9FB76C1-1F60-422C-B60B-1D27EEFB9B25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"701da50ebe28b0a77fbd8ac4b0b0f7f833139171","datavalue":{"value":"https://arxiv.org/abs/1404.1201","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055844$2DF4FB35-C7B5-47D5-96C7-653FB93AEB47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$E565AB68-150C-4836-9D70-290EFDF41B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$0838291F-D5CD-4844-8AD9-87E07BFD839F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e835a13651db4c82db1ba68009a218551970111d","datavalue":{"value":"7631264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$1286BE7D-45E4-4AC5-9E25-560150044CF0","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":"Q5055844$24D4C7A1-1472-4F61-96D0-16283BF71AF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"167a275f590413e8798d2354ed6367a1ab4a72b6","datavalue":{"value":"W1482664385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055844$7EB046E7-6AA7-4B62-A75B-885FEC61D52C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49501fef033800f496322e202b5d96c20502e5fd","datavalue":{"value":{"entity-type":"item","numeric-id":4281360,"id":"Q4281360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$F49E7B34-99A6-448F-8B4A-167485B1ECB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0285c907a8b1aec6e16d4e2ecf8f1e6d1cb0953","datavalue":{"value":{"entity-type":"item","numeric-id":4038726,"id":"Q4038726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$11522A26-EBA1-4D70-BB66-A770EFB3C7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4b25083c9eb5fda15c72e5f4d7ea7bac8c0309","datavalue":{"value":{"entity-type":"item","numeric-id":3789062,"id":"Q3789062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$8456D328-670B-4D32-8C97-D9EF23F6834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabd8f3595e1331a44dc7a6dd5f7e7d6bff224f3","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$7C9DD6F2-DE05-47A1-88E5-B745F624FAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$7EF6D830-9EFB-4950-A3A9-05103FE1110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e8ee236c6e41a5b0bd6a1804de7d7b0891443","datavalue":{"value":{"entity-type":"item","numeric-id":4268482,"id":"Q4268482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$4A764DA6-02E6-4789-8E9C-C23B7686908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$7E4265B1-E0F6-485B-9171-69B44D82B65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055844$4BCC91A2-AF69-4A07-824C-EAD5F682DF4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c587f651e14eafb544fbda0e43525dadba506d","datavalue":{"value":{"entity-type":"item","numeric-id":3490956,"id":"Q3490956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed101a5fac8450c4c33ea9aeb384e004b48eccd","datavalue":{"value":{"amount":"+0.7491856813430786","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":"Q5055844$9A0451A0-E95E-41B7-9719-83007AAC5094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab04dff8c63950ed3ffaa7511199553e4e955","datavalue":{"value":{"entity-type":"item","numeric-id":3730013,"id":"Q3730013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1854ca1f247ad49afcd1199a67a2795ea4cc290c","datavalue":{"value":{"amount":"+0.7467698454856873","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":"Q5055844$F3706FAF-68AF-4A8B-887D-B98E01B9EC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c737b7d7818a664778bd3267de57093b995525","datavalue":{"value":{"entity-type":"item","numeric-id":3795206,"id":"Q3795206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a6ae007b41260b4dce4150a21df63319c12d83","datavalue":{"value":{"amount":"+0.7466664910316467","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":"Q5055844$29CB4956-253E-4D18-A6B4-97E157DF1AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10f6634b590787236da4a554e29f4fbf4de3f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3771660,"id":"Q3771660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b7300f62cc5b9a5c6848fd90d26777d98e585c","datavalue":{"value":{"amount":"+0.7404941916465759","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":"Q5055844$412970D5-3522-4B04-8B0C-2A8CEDF20DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ac43329cb5bdfaa9b1979e611afebb0a9b34c0","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e1ba3d1fb38184d376c7cb498b6684bc849c95","datavalue":{"value":{"amount":"+0.7375587821006775","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":"Q5055844$3C2E46CC-BFCA-436F-B58D-4BFC7037B9EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055844"}}}}}