{"entities":{"Q1275018":{"pageid":1285768,"ns":120,"title":"Item:Q1275018","lastrevid":68554947,"modified":"2026-04-13T00:31:49Z","type":"item","id":"Q1275018","labels":{"en":{"language":"en","value":"A decision algorithm for distributive unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238754"}},"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":"Q1275018$B2E7AFDE-2383-4656-BA10-81834152C7C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b90a6400c15ee6d77c279a2e10fedb3f9c0dd4a9","datavalue":{"value":{"text":"A decision algorithm for distributive unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275018$40E5B2CF-1AE1-4A72-A13D-49841E382C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c548009dfc255641ec027e0c9affbd847f0af18e","datavalue":{"value":"0912.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275018$9B52876F-8B98-4870-B5FE-501399071CC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11415a6eec86eaf3f4f8efeb6367bbf19fe139e4","datavalue":{"value":"10.1016/S0304-3975(98)00081-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275018$185FE27E-535B-4F5A-9279-9D4A53FA2077","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":"Q1275018$9E244E3C-030C-4267-82F9-41E3F4DFA8A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275018$BE92C3C6-CB5D-45DF-AFF9-B6EF4C37C32F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275018$11E9946A-5B41-46D3-AD1A-B6ADB2201E8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c8aa08e3eb2b42f29c40c1bcf98c2e097e745ea","datavalue":{"value":"1238754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275018$7C541A77-432F-4475-97A0-F8C5380F82A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275018$E8C67D16-BD50-4778-9727-9F5E2BF45AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a24053463d3d09db0bb37e1821671cf0c98e2fe7","datavalue":{"value":"equational unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275018$E96F5463-F0EE-4533-8D2A-FF1C564623B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63bad89b0e939a262682896f4c973885e50dd854","datavalue":{"value":"distributive unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275018$694B3941-DFCF-4029-A7D7-BC08E906C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275018$69A588F5-C481-4AF3-A086-4C511BAE92E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f044d6a6b5040c540462b0e76bb60c545dbb19","datavalue":{"value":"distributive matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275018$178B4813-995F-443A-B231-357DF0949EF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$42ECF01B-23A9-433B-88C1-FF0B6D4EFB38","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":"Q1275018$1512C4DB-214B-49C1-A414-8934F54F2749","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f8c5b2828dfa358692595367c76064dfd4d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$CBEBA305-8136-41AA-9A4B-825B5321DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1c8e51b3e4e5b64ef0a0700eba9e16689ff3e8","datavalue":{"value":{"entity-type":"item","numeric-id":4266517,"id":"Q4266517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$48D06279-C75D-4ABE-B79C-B7FC9E74E18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a4c6ba020fe36e67df493632903d5f8e8e95e9","datavalue":{"value":{"entity-type":"item","numeric-id":4296747,"id":"Q4296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$EE6030AB-35CB-441E-9A56-EC05A7E5B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$1592A9AE-5E8C-40A3-9EA0-1AE164181B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$81C737A7-24D9-46EF-9884-E01543D2B206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aca088f44641f5314e6e3327f084e3e36ec8272","datavalue":{"value":{"entity-type":"item","numeric-id":1322774,"id":"Q1322774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$D288DF6B-92D1-4C36-BBA1-09E2B131B582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$B33CE8B6-9DAD-424D-B5F3-1925B0F9D0F8","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":"Q1275018$0CFE7D76-A6EF-428B-8CD7-63EB0F8B48DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$6A917578-336B-4CB7-9BE5-0C2D7796E866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e3988fb7cebf99242d8800f99ff1709b70e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055871,"id":"Q5055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$34CFB80C-7298-478C-A0EA-808252D02BFE","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":"Q1275018$6041DADA-F6C6-4BF2-B441-09F0FD50BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccbcf24a9ab7ea4b5166fafea18128a75467818","datavalue":{"value":{"entity-type":"item","numeric-id":5234685,"id":"Q5234685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$3B9EC13A-E37A-4519-A510-9351188F2DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c89dbd2855ba43daea8b45eab22e20a3e8e01e","datavalue":{"value":{"entity-type":"item","numeric-id":5667481,"id":"Q5667481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$8FB61D62-B4FE-4F0B-89FD-33313AC48A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059c9ac31cbc0bf78207fb28eb9dadf727c7fc12","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$7B63AB24-DAA0-44B0-A7FA-3316F072FD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd6c4d7a977148c2cff8292c8f4a1ef06af1f09","datavalue":{"value":{"entity-type":"item","numeric-id":4282529,"id":"Q4282529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$CF7458A8-ACD9-43AA-BDAD-F26165119D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc3b16f67cbfa7076a004d0dab136de07040d67","datavalue":{"value":{"entity-type":"item","numeric-id":5055867,"id":"Q5055867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$F5D15152-37F1-420D-8945-2BC2E774E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923c81803f75ff1649e2a37da59c13d4bfcadba7","datavalue":{"value":{"entity-type":"item","numeric-id":674747,"id":"Q674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$6B5F0579-04F8-41DC-866C-00B2357235AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5d2486b418d47588e9e6c8f4b3f6c40689c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$8185712D-D81D-425B-9284-C2CE4FC0E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$7927A9E6-476B-4972-9EEA-ADF0879272BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$8452DDB5-20EF-4409-B52D-4A7ADD3B6258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f90c485ed1d89b3250f5647f723259f01b989","datavalue":{"value":{"entity-type":"item","numeric-id":3313256,"id":"Q3313256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$175CEC67-5878-4CB0-8472-B56FE9A799B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c554ed5d15a766bb2fb9ed51f6e955854f5f519","datavalue":{"value":{"entity-type":"item","numeric-id":1099650,"id":"Q1099650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$3C496AD7-FBD8-43AB-BCEC-D3260AE7479A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec1396a43e040fa9655847cc89b616307ddbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":6488563,"id":"Q6488563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275018$E193F359-1092-45DB-AA1E-658ABE1235DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50424faeb60622a18fc7d79e18a701036a97b99e","datavalue":{"value":{"entity-type":"item","numeric-id":5055867,"id":"Q5055867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1ca4e70ea9b2cbbdaff4ec777b068c5d5bb4ae","datavalue":{"value":{"amount":"+0.9660642743110656","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":"Q1275018$8EBC113F-D5B7-47BD-8320-DAAC4EA4772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97395ded66542729cc7e1ed9223b23019cc591c4","datavalue":{"value":{"entity-type":"item","numeric-id":4282529,"id":"Q4282529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9555266847c575478e62fa7ad67bc8700d6ead","datavalue":{"value":{"amount":"+0.833538293838501","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":"Q1275018$8A4F73A5-52E4-4635-B168-10EE51C5233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14ac514fbadeed2671d43af4c687f21fb724dd9","datavalue":{"value":{"entity-type":"item","numeric-id":674747,"id":"Q674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befa72b8215d802abdf592b6f3a375678de36627","datavalue":{"value":{"amount":"+0.8310386538505554","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":"Q1275018$E4B1E362-2A8D-4632-9D80-65C8E1898897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce7f3ac921c8d836253d8bb64c9a6e7ec23075d","datavalue":{"value":{"entity-type":"item","numeric-id":3696499,"id":"Q3696499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b80bc046241cd455199b4dd2cb116261c88e0e3","datavalue":{"value":{"amount":"+0.8098943829536438","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":"Q1275018$337FD559-7EA7-4978-8FAC-6D36FF58FF5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision algorithm for distributive unification","badges":[]}}}}}