{"entities":{"Q1887669":{"pageid":1898411,"ns":120,"title":"Item:Q1887669","lastrevid":69194484,"modified":"2026-04-13T05:23:48Z","type":"item","id":"Q1887669","labels":{"en":{"language":"en","value":"Algebraic reasoning for object-oriented programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117335"}},"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":"Q1887669$119E469B-CED9-4E31-879F-5CA5BF9AD293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c54cbda3c876cacadc58be7295b815b8c248e6f","datavalue":{"value":{"text":"Algebraic reasoning for object-oriented programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887669$0A445059-FEA8-4352-8B0C-03C13A6F66E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6541de11a6a5249d41b3163f62e18922dc3dfe8","datavalue":{"value":"1091.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887669$B43853AF-684F-458C-BE1C-9F184F95A59D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26283b98b92385d6f59a40a738b7e7aeb1608f","datavalue":{"value":{"entity-type":"item","numeric-id":714872,"id":"Q714872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887669$1A1C20AC-AD71-4009-8087-AFECD99D4A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887669$42A0FBC4-D3F8-4EA1-BEF9-5A8FD2D31667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887669$F8B46135-5529-424B-A56D-F19DDCF62EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ec6aeb87dd43b6589d1b4b4ab415e8f71df8c","datavalue":{"value":{"entity-type":"item","numeric-id":1887668,"id":"Q1887668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887669$A6BBE688-95DC-4A93-81DF-8C0104B52D01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887669$FF2A7ECB-43D3-44E4-95CC-8128FCFC4CCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-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":"Q1887669$72345EDF-E8BB-4E03-B713-8DBFC1115011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887669$93DC571B-2E2A-4B42-B148-C857D183E1EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a9934762c5c626346e432c8563a89a41d3582f","datavalue":{"value":"2117335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887669$0EFA0306-D18B-4F6E-91F0-685009542D65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc4883b1e5afcb5a83f21b92820f83becc1f127","datavalue":{"value":"sequential Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887669$152F34A3-4DB7-42FF-8D8D-61BF09A5F519","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":"Q1887669$65A7B242-70E6-4D9C-B663-5C8B14E72D1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d812c67fbcdee29fb54e750d4361f60f215ff3e4","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887669$40C43AF8-FAAA-4378-8ADD-A2D01CE258C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a315504490a7f3bc36ab3c93099e8dad94025520","datavalue":{"value":"W2002295687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887669$FA9BDE81-0237-47D7-9036-128D2FEF11D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a094398f139d9b0c8b2b386c5df17e7a3ae881c","datavalue":{"value":"10.1016/J.SCICO.2004.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887669$339C083C-70E2-480B-9726-86C3ED06A2C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5139e4c5fe402756d5408c9694070075ceaab69c","datavalue":{"value":{"entity-type":"item","numeric-id":2937790,"id":"Q2937790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1acfc21f770af3b8450d1cedce55e94455683cea","datavalue":{"value":{"amount":"+0.7818111181259155","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":"Q1887669$541B98FB-2819-4CCF-A898-1D4601C6C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641303ac8b1dcae343e2836a4d9cf34934162788","datavalue":{"value":{"entity-type":"item","numeric-id":607399,"id":"Q607399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0661a0fac91a492ac549a57275d6e6cedb39aeca","datavalue":{"value":{"amount":"+0.7810643911361694","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":"Q1887669$EA3807B8-0C61-431C-9870-26152A31A295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5054922c102f074fde97b40b21ad13143df2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":2844832,"id":"Q2844832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e9cf2517d06092b85bdb15068e9d78bc1eb28c","datavalue":{"value":{"amount":"+0.7788498401641846","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":"Q1887669$4F48D539-C8A2-4FE3-9FE3-747A99632359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1bb13434589f40305a912228e3112712469352","datavalue":{"value":{"entity-type":"item","numeric-id":2266944,"id":"Q2266944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4f8ec163d06022b4a04cbfa5d8b9bc567c80a2","datavalue":{"value":{"amount":"+0.7556061744689941","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":"Q1887669$0D136161-0208-4FBA-9530-A10BDFACF854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d50d2a57f60cccf17ecda3ac0e8f3684dfba99","datavalue":{"value":{"entity-type":"item","numeric-id":3585039,"id":"Q3585039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edce77305ec0fbea43993cf41d874d65fa6c2953","datavalue":{"value":{"amount":"+0.7438001036643982","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":"Q1887669$0E687671-63C0-4ED5-99B9-81C3C0C9C80E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic reasoning for object-oriented programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_reasoning_for_object-oriented_programming"}}}}}