{"entities":{"Q3298276":{"pageid":3308984,"ns":120,"title":"Item:Q3298276","lastrevid":53770952,"modified":"2026-01-25T16:56:36Z","type":"item","id":"Q3298276","labels":{"en":{"language":"en","value":"Contact logic is finitary for unification with constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220054"}},"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":"Q3298276$6816E4E2-D913-4879-8A6F-B3E75F455356","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40016b17dda3b35f206350d4f0724a4c39cd8049","datavalue":{"value":{"text":"Contact Logic is Finitary for Unification with Constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3298276$87E40455-164A-448C-833C-9FD5F59A6F88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d963044d70fdbd0a548f9c0460a6c3f7d93a86","datavalue":{"value":"1484.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$49B09FF7-D275-470C-97D7-95A7268E9F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79d65358c7504e73c0ca81dfd21ed50bd19596d8","datavalue":{"value":"10.1007/978-981-15-1342-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$987884CF-2EC4-4E2B-8F59-F0BFD94C9E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$31021D0F-2102-4748-B5A7-65E73728740F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$48D42389-C3AC-481C-8099-96AC0D548677","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e42ed111514e7a293ed36550d0a2ec275632ecec","datavalue":{"value":{"entity-type":"item","numeric-id":501085,"id":"Q501085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$3D9FF3F9-C6C4-40FD-9D25-6E94EB7B8BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdf5a1b6064075629896aef5821f31a8aaaeb7c9","datavalue":{"value":{"time":"+2020-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3298276$64BCB9DC-61CF-4955-A8F9-125E882E4D24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$183A2D6A-B90C-438C-A943-0C33178DC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$E38370AA-59CC-4F58-BF35-00D58F337F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$7952E48B-DDC6-4D17-A1C1-A7CD8751E54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$BC9C6993-5987-400A-A36B-DF4DC82E9D93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a91fd8f76a9db1e758a917cbf5a35e81f67e9e","datavalue":{"value":"7220054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$764A52D7-9103-4AE9-B7D7-D482F2759E47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc66e098612e49a15610b0946513c1bd4ea9c6d","datavalue":{"value":"contact logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3298276$946B8EF3-4045-47B1-BC4A-5B7B67C7026B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95904fad2b12f87a8f065367425b446eb2f2c6f9","datavalue":{"value":"unification with constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3298276$4AABFCDC-5737-4E6C-ACE1-B5052466F23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3298276$0D5D5BE0-75C7-4941-8092-01AB1F2C4C1C","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":"Q3298276$7B5169AC-DA26-42CA-9CBA-7B72C5343459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b9a21d96b1550258f8fba491d167f7dd6d1a3c","datavalue":{"value":"https://doi.org/10.1007/978-981-15-1342-8_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3298276$F08695B1-CA0F-4DA5-BD42-DCA0EEF8FEC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d91cccbb017fe4556beb7163e0135b009ee91c4a","datavalue":{"value":"W3004185591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3298276$84AD541B-AA6F-489B-B2BB-6C0C04A0142B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3e2a9827663e3eb7cdb2f51e5bd2ecda299051","datavalue":{"value":{"entity-type":"item","numeric-id":293360,"id":"Q293360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$64FCE6FF-760B-4A51-BECE-D4066D15ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504179d3369bad63812171f461960968b16504e1","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$D49C6190-A0EF-4F26-951A-C6149FCA100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adccb0757b4d42771bc9b2710f9488588ce99f4","datavalue":{"value":{"entity-type":"item","numeric-id":3636834,"id":"Q3636834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$5DE2FC7A-1414-439D-B37D-DBD8179A4220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47f9d6f1c36c67e01112b534dcaf766bda82eed","datavalue":{"value":{"entity-type":"item","numeric-id":3455182,"id":"Q3455182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$7C2C4CEA-52DE-4129-9A11-1AEDA37E13AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd176d25f331d8087c36ccd8041840598bbd6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4586229,"id":"Q4586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$CADF7515-2EF2-4ADB-846D-4239621C7374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a717fa1efdab485eb2865dd67440a6b12b669","datavalue":{"value":{"entity-type":"item","numeric-id":5445158,"id":"Q5445158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$502822FF-4406-42C9-9089-D72AE5D7C86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84bc520fb3ac5a6867ab393233abe7bfa7a901","datavalue":{"value":{"entity-type":"item","numeric-id":3416080,"id":"Q3416080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$37612D85-AB4B-4D77-BCF9-FF950A240257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a063be3b28b3d274db00f43fe5c1c67fef6411","datavalue":{"value":{"entity-type":"item","numeric-id":3416081,"id":"Q3416081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$A23E3004-DB5B-4B98-9D6B-1BABA5E0943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a7449054f9ec01c61414e369bb919d93cd0587","datavalue":{"value":{"entity-type":"item","numeric-id":2581369,"id":"Q2581369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$CA78C7D4-BD3F-488B-A9BE-993BFA6B728E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33642a283703233b812eb4bc89b990b37b99bd51","datavalue":{"value":{"entity-type":"item","numeric-id":3518429,"id":"Q3518429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$5F089678-ABEA-4C16-A2E5-F6D83C83F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46c437efa2cff6cdaa51e6c9dd533d50b05f89","datavalue":{"value":{"entity-type":"item","numeric-id":4952315,"id":"Q4952315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$0E4812F6-1EF7-4F8B-94A5-31F9D165E14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea47ebe679898bb00af0b6b2f0f0b555e861da0","datavalue":{"value":{"entity-type":"item","numeric-id":4779583,"id":"Q4779583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$806377CC-80A9-4C4B-813E-44B7F6B707BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2287ef6e5087fff85a9c4ef32f2e620471461b","datavalue":{"value":{"entity-type":"item","numeric-id":3625492,"id":"Q3625492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$FC727CFD-03B8-4A64-9CBD-8334047F6074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$1EBF0366-F12D-4DB2-AD29-FC5BE3E89D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a482d3b0a6a8341248ed0be90289e0fe7d2fa86","datavalue":{"value":{"entity-type":"item","numeric-id":5311759,"id":"Q5311759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$B08EC47F-3DBE-4BE2-B45A-86356D33F3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835839abec3b89ea646849f876230851342c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$A7FB11FA-5B97-4CF2-AA40-7C160970E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8007cb0d3c2232df6f4a230051e90d779c5b70","datavalue":{"value":{"entity-type":"item","numeric-id":2946698,"id":"Q2946698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$DD3D3892-1BD6-4019-AD38-8C3FD1664C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233ae69c120dede8c711672840abb1c4c3c71695","datavalue":{"value":{"entity-type":"item","numeric-id":2786121,"id":"Q2786121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$8B65B329-C2EA-4DDC-A266-2FC21E7317AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8c0bcc3e55c9545d6087c2eb2a76d89aedcc27","datavalue":{"value":{"entity-type":"item","numeric-id":1600087,"id":"Q1600087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$F0CC82E5-8C90-426F-A658-56812D05DEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$B975DFB4-1116-473D-9D93-2E107DA18DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65662cc97d2187e4e59cf50c9b6f9207325c983","datavalue":{"value":{"entity-type":"item","numeric-id":2904067,"id":"Q2904067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$0A25F3F5-DB7F-4EBA-9E4E-0D4AE4769328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855597513f4b5b75f7f59d5a9c4ef4481838cb67","datavalue":{"value":{"entity-type":"item","numeric-id":3447202,"id":"Q3447202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3298276$F30E3761-D2C5-4108-B61D-5587E97C6A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3f8bb70c5f6b805093455663f0c1dd12ec2606","datavalue":{"value":{"entity-type":"item","numeric-id":5241914,"id":"Q5241914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65249d820379598681d92066a4d495638cf7885","datavalue":{"value":{"amount":"+0.7976365089416504","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":"Q3298276$AE8E05A8-3CC6-4DE4-ACD2-55C3B0E953F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83d1e466cff7a5a0aebe6a4e5d5db0a422ae63c","datavalue":{"value":{"entity-type":"item","numeric-id":3455182,"id":"Q3455182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f80796e5cc4f05778d3bf4e1fbf3d9e4310b1a6","datavalue":{"value":{"amount":"+0.7598126530647278","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":"Q3298276$61094522-16D7-4159-A406-559446F3C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4171040c10bf5ef7f59f3198f87f5c8958214617","datavalue":{"value":{"entity-type":"item","numeric-id":1687563,"id":"Q1687563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ac06b9d353869c582f4c3d5c1389dbf62d16bd","datavalue":{"value":{"amount":"+0.7544648051261902","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":"Q3298276$4613475E-723F-4A2E-8783-DAFAFCA1D225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492d09f337268bf44ac636f8d31f3ece27552807","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9023dd745b2a8f1fa81cc2058a98207f60ddae","datavalue":{"value":{"amount":"+0.729773759841919","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":"Q3298276$BE2D60BC-09E4-4C45-83B4-A71BCA76D56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26ae8d949fb10c6f3e5e00b0769c4b2ca178f5","datavalue":{"value":{"entity-type":"item","numeric-id":4438101,"id":"Q4438101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799a0a5be01189607eeec1947379e2d6b025eb1b","datavalue":{"value":{"amount":"+0.7274483442306519","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":"Q3298276$31AEA88F-BE1E-433B-8A6B-B1C3BC7D085F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3298276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3298276"}}}}}