{"entities":{"Q2185490":{"pageid":2196233,"ns":120,"title":"Item:Q2185490","lastrevid":53748464,"modified":"2026-01-25T16:02:51Z","type":"item","id":"Q2185490","labels":{"en":{"language":"en","value":"A note on unification, subsumption and unification type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7208751"}},"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":"Q2185490$75C0A1F6-096D-4556-8FC6-77ADF33F62FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eabc08ba6c08623e89bdbb39d1a726fcb31cbaa8","datavalue":{"value":{"text":"A note on unification, subsumption and unification type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2185490$729CD7D7-CA3F-4D39-901D-0324E81D7864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60648a617ba980cc1946cd8574aabe526562412e","datavalue":{"value":"1444.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185490$17ABB997-1AC4-4AA4-8BC2-5A05FCB04509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b6d11f2a940bd00d9bec581807f666d95a9f46f","datavalue":{"value":"10.1007/978-3-030-22102-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185490$EFE1CF95-A55E-42B0-93C8-61A2CB34B200","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":"Q2185490$CBA4BF08-B327-41EC-A29D-66813D96C6D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84fdf3ed3ab7383ca4f016ac37ce5ef0ef7cb738","datavalue":{"value":{"time":"+2020-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2185490$70CE3212-B55C-4677-A927-31EFB867D22A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185490$BCA92551-6B56-4AD9-90FE-D46727D62D9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb104d7694a97a020f4c07f836551416b4589f95","datavalue":{"value":"7208751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185490$209FB890-01DA-4834-84E5-9C921568CC89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2185490$60D47151-FFFA-485B-9C19-1AAF551F5EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c03244d2b00455803a4b5422a1b716e7dc849212","datavalue":{"value":"subsumption preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2185490$836F2BA3-73C5-40FC-9B65-E4DDD51F94F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4e6ec29b8f7b2c28a3e0de1972482c846ebb7b","datavalue":{"value":"most general unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2185490$BE61300F-876B-4EF3-8439-9380BF3AE6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2185490$716B1F43-79C1-4013-B955-E94FD3DBF5DB","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":"Q2185490$DA080E44-E2B4-4C97-973C-15AA65950BCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a5a4dc1afe8378de66526fc0e052b96f6dfdbb8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-22102-7_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2185490$1DE33387-5EE1-4575-BEDD-BE944B3944B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6295240963557b3603689e8d6570e7409f6b5050","datavalue":{"value":"W2954372499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2185490$7C491FD5-5E44-481F-8460-765B85A15EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9141246e9874e8af5727ca5a5ac30b87e6234","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f74bc4cb50b4bde9bff22d3363fb0fbf21032f3","datavalue":{"value":{"amount":"+0.7855079174041748","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":"Q2185490$5334615F-D78E-489C-B887-6B2B8ADC1EA6","rank":"normal"},{"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":"67f101ca91fbcad26f608b4a90fe5c77a8b673fc","datavalue":{"value":{"amount":"+0.766088604927063","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":"Q2185490$78A377F9-D346-4A7D-9501-740C6605C684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57466878c1dd6953f2561c5e3fad8ac53c1acc5","datavalue":{"value":{"entity-type":"item","numeric-id":3305325,"id":"Q3305325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2579b8de43839e4d8a38fdd6d8620abed8b03291","datavalue":{"value":{"amount":"+0.7616918683052063","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":"Q2185490$D8BEF93F-49AC-4D4E-BF16-3766BF0FD2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41cdd2856d304e899420853f680b31bfeecc29c","datavalue":{"value":{"entity-type":"item","numeric-id":5084482,"id":"Q5084482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f28d438cfefe04733cb0a5f9476dc394129e95d","datavalue":{"value":{"amount":"+0.7605136036872864","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":"Q2185490$F8985E23-4A7E-4BF6-80AF-9AB676C8B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3931d7d8b04e9cd7612415f07eb0c0be2be365a","datavalue":{"value":{"entity-type":"item","numeric-id":5055751,"id":"Q5055751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a0980765e5ec1a2a363bc7d01187fa9835a7c2","datavalue":{"value":{"amount":"+0.7603587508201599","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":"Q2185490$80EE311E-C925-4DBE-88FD-9DBEF07F9553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2185490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2185490"}}}}}