{"entities":{"Q1074342":{"pageid":1085094,"ns":120,"title":"Item:Q1074342","lastrevid":42858874,"modified":"2025-07-15T11:28:00Z","type":"item","id":"Q1074342","labels":{"en":{"language":"en","value":"Properties of substitutions and unifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947653"}},"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":"Q1074342$F4CE8941-FA5C-43D0-BD55-5D0793F0D34A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26d09e7343ecb8f3c026f7e04e4267398e08b3b6","datavalue":{"value":{"text":"Properties of substitutions and unifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074342$F700611E-E885-49EF-906A-D63E4F13520D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b86664fbd5ae954912e88a0eda53f2859f2ebf","datavalue":{"value":"0589.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$F20E1E75-6CC7-4B24-A6FE-EF0B4B0DF0C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f628d14a9344185c336b51e62996a328f05f4e4","datavalue":{"value":"10.1016/S0747-7171(85)80027-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$432CF4DA-649B-4C38-9A68-BB9BAF235DAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e27abfd115acb68e497ec6f5ee331c823ff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":1074341,"id":"Q1074341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074342$1B079BFD-50B2-41D2-84A3-63D4CCE130DA","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":"Q1074342$1A08AC0E-A63B-4BE0-8D04-9650FBAD588A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1074342$3F6078B9-F10B-4F3C-B5BC-3780A098F536","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"07962bf463c051bf0efa2d1ce8479f33ee346e4d","datavalue":{"value":"Basic properties of the semigroup of substitutions in first-order logic are proved. The idempotent substitutions are shown to form a complete lattice modulo renaming of variables. Most general unifiers are characterized as suprema of appropriate sets of substitutions. Also weak unifiers are considered, including a criterion for the existence of most general weak unifiers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074342$654791D0-725A-4B6A-B555-6C4D5D8AE625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$EF46B69C-ACD6-40EF-9435-96C618D4FAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$4A03097B-DA10-4C4F-83FD-A97C2FD3BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$C9C3F226-BC72-461C-8EA6-4DDFF694B8DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96cd8e7c522aa3ba370f7416ca972924e0790c94","datavalue":{"value":"3947653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074342$C92E6033-EE40-48F3-A50D-BB5D23BE82F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933ad8710c2c21b39696131a14d89d541689b294","datavalue":{"value":"semigroup of substitutions in first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074342$89A0B5FE-073C-4D01-80B9-528321CCEC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669437738e3807fb4c5d20d709dda3199ad7db67","datavalue":{"value":"unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074342$B4780316-5063-4862-A3CE-BE5A1D1C9C8C","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":"Q1074342$FAC10AB1-5489-4BF6-89A3-4E24CD0D1A69","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074342$1D4F8F27-FB42-4A5B-98B9-5D79DB834E38","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":"Q1074342$E99A8632-E274-4895-85FE-B88628489488","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":"Q1074342$425B5C7A-61A6-4134-A844-9C1EEA1DC46A","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":"Q1074342$60930516-0F17-4DFF-B95B-9FDB954F7098","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":"Q1074342$50D5396D-1443-43DE-8A4F-505D991B869D","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":"Q1074342$001BB5B9-30BA-4B88-8D17-6608FE7264D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bef4c271d521600964932029e991899a973d0d1","datavalue":{"value":{"entity-type":"item","numeric-id":5180874,"id":"Q5180874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074342$2F3CEE4C-4D65-425A-8EE8-02218FF960C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb483c2684f4627d50245224e740d066f55a422","datavalue":{"value":{"entity-type":"item","numeric-id":3326880,"id":"Q3326880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q1074342$19929946-5326-45C1-AA5F-00223B48AD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aca5678fdab3a32cfbde61b883542a55eeec59f","datavalue":{"value":{"entity-type":"item","numeric-id":3735703,"id":"Q3735703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082ebe99e307a8741f790078c613f804a160bbe6","datavalue":{"value":{"amount":"+0.89951414","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":"Q1074342$A6ABC7E9-25BC-4117-A4D1-18EF3F6F5621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f938600cd78da4b1c1ce3ebd991cc44c96d4d4","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4249544814b4c21351a2f846dd5b9078a3f95ab3","datavalue":{"value":{"amount":"+0.87527037","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":"Q1074342$79A5E39C-C7A6-4187-BE5A-2CB585FDCBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bab0519a4863edd82daf226dbcf07fa72f0817","datavalue":{"value":{"entity-type":"item","numeric-id":1433380,"id":"Q1433380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49ffcb081e6356aeea38ef55a934859214345711","datavalue":{"value":{"amount":"+0.873231","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":"Q1074342$E01974EE-BEBD-4BC4-ADB1-5E9CBBAED5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0773660da4ddb315b9bd2ab0a16a4740300502f1","datavalue":{"value":{"amount":"+0.86576396","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":"Q1074342$56F25425-2552-4BD6-B7CD-0DB02DD45202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e57db94f2cf00d9b70a446301f88f6f3a596628","datavalue":{"value":{"entity-type":"item","numeric-id":4472187,"id":"Q4472187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c7ac0b024f8668f91e405b324c767819b79472","datavalue":{"value":{"amount":"+0.86528236","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":"Q1074342$1A61484C-5871-49F1-9785-DE76E9E8BFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b81ba912d1cbad7c756971fb5cc3a7a5512625","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308999671a86ff5317d9396bdc0e82fb9013338d","datavalue":{"value":{"amount":"+0.86143535","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":"Q1074342$3E8627A8-3D96-4D9B-8F4B-636031EAA3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce871da3083f9569bcdbed95a098aa7376083b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb0dd7b833bb9331aefcf5500628998bcf0a4d5","datavalue":{"value":{"amount":"+0.85810125","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":"Q1074342$8BC8D592-8EBF-4F22-ACE8-88BFF2FBE46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be100efb7aaceae6e65088fc837540fee23ff42","datavalue":{"value":{"entity-type":"item","numeric-id":845921,"id":"Q845921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac751e5444893e337c9af64fc6cc8172015060b2","datavalue":{"value":{"amount":"+0.85507494","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":"Q1074342$C056AC63-1FE7-4FF2-9999-477756D297BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1074342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1074342"}}}}}