{"entities":{"Q4856658":{"pageid":6886238,"ns":120,"title":"Item:Q4856658","lastrevid":47373121,"modified":"2026-01-01T13:26:28Z","type":"item","id":"Q4856658","labels":{"en":{"language":"en","value":"An approach to object semantics based on terminal co-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 822786"}},"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":"Q4856658$6F3C47E5-5005-42D7-81EC-F42B24C94B31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a5deaa56ca8167ec4aff773d13cb06584c25014","datavalue":{"value":{"text":"An approach to object semantics based on terminal co-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4856658$946EA91D-DAB9-4B05-A05D-381483F79CE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70802b2560f133a5f135c92c83d7be073d0f9bfa","datavalue":{"value":"0854.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$7E5C0861-6F99-4104-9EC2-DBF8B31A4A7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1cd28535f1fa4a479aa1d0d079d60025ecf2a63","datavalue":{"value":"10.1017/S0960129500000694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$770E88E9-D3F5-450C-B157-474D8A4DEC43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bba2c9af0018b72d43bc0848f9ccbfe551f17e2","datavalue":{"value":{"entity-type":"item","numeric-id":585249,"id":"Q585249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856658$573DBCA7-2473-48D5-9555-968081310AD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856658$54869261-D53C-4123-86CE-EA2BA1AE1278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"973843c263a1e9419fec68019fa26ac1e458eaea","datavalue":{"value":{"time":"+1997-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4856658$D4108220-11E1-4ADE-8CB4-473AC1C48B8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$3512CD96-01F8-461E-A2FE-76FABFC25A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$8454B9AB-F951-4D08-A215-3EF1F9232388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$0B2C375B-A569-4FDD-B7FF-6CF846107802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$343E2264-3E0E-419F-9B7E-54230B5527F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf409108b579d1efc660001731037ff610651754","datavalue":{"value":"822786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856658$A41D32DD-9F58-457E-BD0E-025F96A928AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b041d6b1aa3d25209be62c979b4252f2ac2ffe","datavalue":{"value":"terminal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856658$965A122A-F0FF-4473-8A70-8007C88C0B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceec32d5c532f49b2053075e43d38f61f92fdf8b","datavalue":{"value":"terminal coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856658$605A6AEA-BF29-46E0-897E-6B98ACDDE4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856658$B9C02A31-DEE1-46FA-80B1-C5862EC208C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadc76a0580859d27fd2952d01e336b869beeb7d","datavalue":{"value":"object type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856658$725791A6-F5D7-45E5-868A-69D5634617D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856658$1988356F-BB1E-4DD9-86CD-7865580635B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856658$8456B8BE-4041-445A-B67C-9628691E9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856658$68216ADE-B8A8-4DF3-951B-E49DC4065B48","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":"Q4856658$DBF43486-B68D-4E63-9162-DE1BFE8FA968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0580c3e92656291b2b623d4dd1fefc3c024e797","datavalue":{"value":{"entity-type":"item","numeric-id":2747942,"id":"Q2747942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0bf782ef6191562e0b32a1c926e7f3d12a6309","datavalue":{"value":{"amount":"+0.7969467639923096","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":"Q4856658$4DB0C261-6C67-4FDD-8444-F884A08B7CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0866c28b0ff2d46bf20663f0cb69196247dc5a3c","datavalue":{"value":{"amount":"+0.7958734631538391","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":"Q4856658$48F36D9A-4819-4819-9D32-FA9AD259145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e0d6cf4bff08d33396572e4725247c943d3a14","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188ba58f56e285e1c99792f64c2189f721c6b328","datavalue":{"value":{"amount":"+0.7941780090332031","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":"Q4856658$1DDCFF5D-C97A-459F-B1D6-6395359E2385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d46ca4ffabbd6f34b2eccc4e47b23c9d5f7e72","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfa0c52ec17e73c88e29aa2b6e104ccb42890c0","datavalue":{"value":{"amount":"+0.7822316884994507","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":"Q4856658$97BB5FBF-CF5F-42DB-8A40-F6B53FE78837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8905fe64b790e3999a33f5bbcc4e68e922a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccde4c34315e87144e68e53faaf50c6dd10f9c6","datavalue":{"value":{"amount":"+0.7745838165283203","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":"Q4856658$192B76BC-9B81-4E20-AF8B-D1EDE20B5B3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856658"}}}}}