{"entities":{"Q1124313":{"pageid":1135062,"ns":120,"title":"Item:Q1124313","lastrevid":69841656,"modified":"2026-04-13T10:42:35Z","type":"item","id":"Q1124313","labels":{"en":{"language":"en","value":"Inheritance hierarchies: Semantics and unifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4111982"}},"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":"Q1124313$A22FCB50-FCE1-4A71-919D-3B71C464FE85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe13ea668aea02e88227eb35d61477cf432cd27e","datavalue":{"value":{"text":"Inheritance hierarchies: Semantics and unifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124313$7AD0E110-778F-4131-A30E-6E2D73D4809D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e2a9d9078641cb08add099e0f0367dade46f7af","datavalue":{"value":"0678.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$2E5ADA73-6B82-45F5-B15B-A00434894401","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54635e2eb9696d420f1b8ea984703bd53d87a615","datavalue":{"value":"10.1016/S0747-7171(89)80016-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$6A9E7358-D776-4D72-892E-6DD6649CFDA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$9728C1B0-D79B-490F-9DA4-24D8FA8F30BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a93c57283e0ed2f2843fc1528f403f7d02271f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1093358,"id":"Q1093358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$14CA46DC-48AC-471A-BF5A-43AD167BEB5B","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":"Q1124313$5494243F-4ACF-4CA8-A636-861BCF9BA4FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1124313$91C18549-BBB1-446A-817A-64AE32D3C757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$AEBBBADF-7E38-47CA-965B-367911978A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$4F5932FC-09D0-4F1B-B18D-93F0DBF1E3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$04047D71-9362-4158-B6EA-1CEE14880A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$9EDB4A8F-6C8C-47C9-B0D1-688BBDD35E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"607a14c08f2b00f8ffa5107418c542672289f178","datavalue":{"value":"4111982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$484580D8-9FA9-4851-9C98-9801E3767EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca4c49a7f94f259f4e44b808438eef56a04f1cc","datavalue":{"value":"Inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$8D3583E3-858E-4F98-B990-276AE54CC083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9af9f49034ea2a0a21a5b7fd9090c9c3e1b84721","datavalue":{"value":"feature types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$550D958D-8280-482A-9D6A-1E652AFD8EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13418cc42a2011b44956bcd3b6d1c0f679475029","datavalue":{"value":"Feature unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$E5A7F9E1-BE25-4B50-8B41-8F6AAF99A7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$07DDADD9-E7B8-4D26-BEC8-AD60B2A7DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d62d5aa7bb9cab76540cd379674151ac0777799","datavalue":{"value":"order-sorted equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$9C829819-2FC0-4CE2-82BA-C06398EC2C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124313$1E0F6D35-00F3-4404-82C4-C43021D196A4","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":"Q1124313$1B33387C-4CAE-4FF3-87BE-57CCA3C9392C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f20ecf79d81a3d3b5792afa45f1f4a9cee7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1093359,"id":"Q1093359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$6CB9D6CE-395B-429A-889D-E013355EC454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c870028c7e70b11c2d1c323364fb3678909a86","datavalue":{"value":{"entity-type":"item","numeric-id":3735057,"id":"Q3735057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$B35A78D8-5890-4290-B43D-CBE282CA92D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$068501EC-3841-4107-B0C4-2FC24160EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94ed805160bdc6a0d6461ad1d64e54880b068a7","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$0A92B918-DDF7-4905-BEF3-845AC49954E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$BB942C63-F0AB-4D65-8151-07FF4DF4FFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$3382F633-F4A7-42EA-8889-2F1F92089933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$118F0124-5EBC-4D39-A868-77A04D15EEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$99849AAC-74A0-4C33-B0A4-FCE89CF9CB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$15ABB0B4-7D02-4F61-9FF7-7CE9085AD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8528e1f4f082d8f3a7c4c87b3334f87e15a45ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4055171,"id":"Q4055171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$CE22D6D5-2E4F-43FF-81D1-FCAE67F7FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$669DF96C-5302-43D5-A465-3473E89CDCEF","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":"Q1124313$7C49724F-01AA-467E-9EF4-135C8E412435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d0e6f8a63b6079b1e1251c672f43f79c896412","datavalue":{"value":{"entity-type":"item","numeric-id":3684068,"id":"Q3684068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$33FA74C1-91EA-4A0F-8A42-F60189FBF60F","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":"Q1124313$29774F77-E74D-44E6-A0DA-1E9F39BF15AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3e30bb8a3cfcb298e70e3ea0b5e365292cac0f","datavalue":{"value":{"entity-type":"item","numeric-id":3992707,"id":"Q3992707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$77C7D114-11EF-495D-8614-AE321654B202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270c1c054c28939f7f15e01aa922e0cf1576a9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$0EF3E29C-456F-463E-A192-ED74E3DEF892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456271b1daa1011563d4ee9eaedd8c2523eab20e","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124313$FABBC74B-238D-4397-8A92-402E5F2C138E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb68423746d2e0536038f7d6ba5f31aeca578952","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(89)80016-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124313$07CBEEC0-26D4-4E13-9B7E-242A362DBC99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c62c30096669a0f75f5f5fe598d936ee9285b98","datavalue":{"value":"W1995089655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124313$DFC04B3B-F855-46A1-A6E7-7DE1E0372C39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669c79d245972b8d232ddbb718fd29324467dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3332229,"id":"Q3332229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0722d2a47f6414b28ca469ede3e6fe1425b1e8e","datavalue":{"value":{"amount":"+0.7565931677818298","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":"Q1124313$4C90D421-8267-48B6-BECD-BA2937FD6769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f926eeffb952d703e5ddf7c1e06b385ef96cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4365057,"id":"Q4365057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76a6710e819856e955db867b7612893c01618b9","datavalue":{"value":{"amount":"+0.7524693608283997","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":"Q1124313$AF8A5B46-CC2C-44A9-B415-8D76D1335C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18188c31d956aed2039a6c36f564b8188a870e11","datavalue":{"value":{"entity-type":"item","numeric-id":4023581,"id":"Q4023581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd13574898fbb2520f69c06e00a6f80172ba1733","datavalue":{"value":{"amount":"+0.7150408625602722","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":"Q1124313$311B7553-62BF-4DDA-91A2-4338E93E5432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441324f69a533b61dd69ce6fea1a3269f19b759a","datavalue":{"value":{"entity-type":"item","numeric-id":4413446,"id":"Q4413446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c346ac0c2a8cfc545f94766867179177733539","datavalue":{"value":{"amount":"+0.7150407433509827","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":"Q1124313$507EEB4F-049C-4725-999C-B7B5EF0DF5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ef26d80865497ef3ff3a3e21d13a321bb3014a","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e35ad9b410f87fdd05c8a84675fa5bd119b36d4","datavalue":{"value":{"amount":"+0.7131645679473877","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":"Q1124313$BE6B4F04-85D5-49CD-A35F-D4EB72A0BEF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inheritance hierarchies: Semantics and unifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inheritance_hierarchies:_Semantics_and_unifications"}}}}}