{"entities":{"Q4882492":{"pageid":6912071,"ns":120,"title":"Item:Q4882492","lastrevid":41151948,"modified":"2025-04-18T12:58:53Z","type":"item","id":"Q4882492","labels":{"en":{"language":"en","value":"Algebraic implementation of abstract data types: a survey of concepts and new compositionality results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890014"}},"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":"Q4882492$70B516A7-98D6-4147-BB06-A1D967D7E928","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c69afd90c7a936ac8ef4a5aec361551b5e41fa96","datavalue":{"value":{"text":"Algebraic implementation of abstract data types: a survey of concepts and new compositionality results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4882492$429FE0AC-7E81-4484-A404-CA4D0EB30326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d6ca40718842990c3ed77334b0cf7436d79470b","datavalue":{"value":"0846.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882492$3E28CDE7-4F6A-4AFC-81AE-A155DE34CAFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d2cfe4cb5d62c26a993e61752e5596c2f09cbbe","datavalue":{"value":"10.1017/S0960129500000864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882492$0208EAC6-D892-4E7A-A33C-76F0AA01E43D","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":"Q4882492$83DF093C-13CD-4AE7-8DFD-AFF4D59F6545","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30a12904202ce9dad592278ef988cd4f47453673","datavalue":{"value":{"time":"+1996-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4882492$AE63E6F4-C7B2-48B1-A71C-767B53577281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882492$D0086E7C-B3FE-40C3-9B28-C3365E522BBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee6db6d7554fd6c2a9e96ed5bf89738d8890be96","datavalue":{"value":"890014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882492$2CE35DC6-A22E-465E-AD78-31F629E52BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff4dd1e1513a47ac6d8cff4866e44fea27fc673","datavalue":{"value":"implementation correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882492$8936C00A-66B9-4146-8860-709D8B91120D","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":"Q4882492$E77E518C-A121-44B3-A962-0FA22697C1F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$B79007BB-EED5-4B40-8AE6-625BC027015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c017de94be929303e103db5a7762532c2f6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4749185,"id":"Q4749185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$1AA30AC3-64FE-4478-88D0-560CACDDD1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$780497CA-43A9-4577-A55C-E176F1CB881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$1A510925-14AD-43E5-B7FD-B2327B841897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$74D26C84-ECF4-43F6-B866-06D0BC38CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e149bd4cad7f9bd977529484d6051301ccc9b","datavalue":{"value":{"entity-type":"item","numeric-id":759479,"id":"Q759479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$0766FC50-0648-412C-8096-ACC8CF51D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$564530F6-04FC-4EA4-8C8B-84CF34ABC988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839654c16ca8a6f2e87e45cf7258a92c536a3e2c","datavalue":{"value":{"entity-type":"item","numeric-id":1079358,"id":"Q1079358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$5C4BED94-7652-4AF7-96C9-08E230F09E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd61d640b572c7ed15ea2c9974e163d8be18d3","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$65B761C4-58CD-4C3E-94F1-1D7DCB3F10C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305d658b8b41a5c768ecf12402e468e415246194","datavalue":{"value":{"entity-type":"item","numeric-id":1095645,"id":"Q1095645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$5E5DAD85-75F9-424F-9322-76207460DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$6C04AD1F-FCB8-4A07-B891-25590AAC28F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad49d7555b1464bcbb06a6c2fd8083015d9a3baf","datavalue":{"value":{"entity-type":"item","numeric-id":911245,"id":"Q911245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$A7BE49D7-C753-43BC-9347-DA976ACA5B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882492$BAD15871-39D5-489D-B5AD-575C7F139A43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38400714984280303d7cadc6889158af51e59357","datavalue":{"value":"https://doi.org/10.1017/s0960129500000864","type":"string"},"datatype":"url"},"type":"statement","id":"Q4882492$A447008D-5FB9-4688-81EE-323C48074657","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"949a85630731ebab6aa3a1b3a69411ba2c7efa7d","datavalue":{"value":"W2082338500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882492$FB528A5D-D2B3-4539-ACEA-A70916955183","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef8c3e01d06907c997bf702141028b7dd599b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5292644,"id":"Q5292644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40109583515389a9bdf31a1d730b5b90ad2e3308","datavalue":{"value":{"amount":"+0.9400285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$0BB2B30F-119D-4D68-8FF4-8F696ACF92D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da21b1184d93bbf84505ed042714106f62d81728","datavalue":{"value":{"entity-type":"item","numeric-id":4721634,"id":"Q4721634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45049f24d4c6e2188f6efb2be90d67e6f6dd3f37","datavalue":{"value":{"amount":"+0.92121834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$D40D01B5-D73A-4636-84ED-DDAFC28AD920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b8a4e5621cc0b5a4bd6a6e899e0be8a4221df5","datavalue":{"value":{"entity-type":"item","numeric-id":3757375,"id":"Q3757375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a400f8463d2b4bbdac01717fd6e0f856dcd9a499","datavalue":{"value":{"amount":"+0.91916376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$CCBF497B-3109-41B2-8151-200C48917159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b05f52bce14eca63d5caa03f50876afa12cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce04b855d5c75a588456d53a7924693dbfd5fa4","datavalue":{"value":{"amount":"+0.91857266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$EF17499F-166F-4951-8416-4619849BA627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93c461fcf87a6649fbea436d5dde7eb868529c","datavalue":{"value":{"entity-type":"item","numeric-id":4016523,"id":"Q4016523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e2b0c7e9e260505686f7ad5e10330b0af8c805","datavalue":{"value":{"amount":"+0.91667753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$E1461457-C2B2-41DB-8F4C-6C8DE04DA90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48437decaee340a9ae06cd475a69ceb38306f89","datavalue":{"value":{"entity-type":"item","numeric-id":3785902,"id":"Q3785902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83431024c9aa70350dc9b8d7d67023e6ab535c25","datavalue":{"value":{"amount":"+0.91610533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$3D890D3A-E91E-4796-9C6C-FE43D3324BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a85b0cc7bdb71124ef461276090e138fb0225","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3cec049fe620811da49a80fb6499404eb2719","datavalue":{"value":{"amount":"+0.91122353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$19ED6A3C-EFB8-4FC2-A682-A3ECD51B239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5528e39978c0857b136e99ff5dcf025263b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3707378,"id":"Q3707378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff5b7214cdbcd81120363b7511493f24718d1e2","datavalue":{"value":{"amount":"+0.90657735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$2B5BD4ED-1469-4DEF-81EA-9E7D31620917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e020ea53979ca20c77ca2b69249fafc604c9b158","datavalue":{"value":{"entity-type":"item","numeric-id":3730006,"id":"Q3730006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b28fa6433700eb35bab9acbafa1ad31fb87f2c25","datavalue":{"value":{"amount":"+0.9060137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4882492$F2286288-E97D-45F8-8CA5-243D9BF9C3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882492"}}}}}