{"entities":{"Q1941862":{"pageid":1952604,"ns":120,"title":"Item:Q1941862","lastrevid":82065578,"modified":"2026-05-06T20:01:03Z","type":"item","id":"Q1941862","labels":{"en":{"language":"en","value":"Towards a linear algebra of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148332"}},"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":"Q1941862$5B86A74E-36FC-4AFD-BD20-4F45878B540D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"656680df231973e1d7f7252701f5d60166101783","datavalue":{"value":{"text":"Towards a linear algebra of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941862$94F90B6A-420F-415E-BFA5-0F7D18EAA0A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1deca868a9ea849d76b2891689023e5c886e0a08","datavalue":{"value":"1259.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$B3A6785D-23A5-4790-8936-01616F0EBD9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$4E14B1DA-FB0A-4423-AA25-CC6F3449D919","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$E8E088BF-FCA4-4913-AA8D-A82D25E18BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-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":"Q1941862$0950F90E-EAA4-499E-B741-30675AD632DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cae33c3cb5205eeafe5a857f46dc6efffdc9898","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/2812","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941862$08C94A59-65F2-42A8-B838-F805D04A1323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$CDE8F419-5E63-47AB-AB01-2B19E389E1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$461F21EC-A28A-4D5C-A7AC-75144A6EDCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"822dbc4c091d9d354470bf66dcd7d659b1bcc45b","datavalue":{"value":"15A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$5B95A3F5-605A-462D-84F9-821CEDF1877B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"457b671dbedec6261d09186cf31cbb5ea459a30d","datavalue":{"value":"6148332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$C65762E8-1C61-4804-8112-A8D6E89BE9C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f6a4488e8218c24dd76275ae41906f1646c66","datavalue":{"value":"algebra of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941862$9D9845A8-782B-4C90-A52C-20F9CFF1ED64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c621ea58f54ac9afa22ffb8eb4060ed08dde4b","datavalue":{"value":"quantitative formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941862$2E774D8C-505C-4D16-8F44-9824F086D7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941862$7D0B84BF-FE4A-4911-ACCC-E6ADBCAAA05E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85c2e457c0bc1cdccbfbf12e3b99348fec5b5d0f","datavalue":{"value":"Q50292399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$3A6CD84D-AA6C-4877-89A4-96EA11FD0918","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$EB78530E-D2B2-4727-9FB3-6517DC3869BB","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":"Q1941862$A51C01A4-6AC7-479A-AFB6-997D02376EB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08e44a71fd01fb84174f2488550bb7a5945a5187","datavalue":{"value":"W1999128250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$CB053BF5-789F-40CD-A65C-85DEE921E772","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$0079F69F-E849-4CCC-8361-5F03A9834D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1c3bd8e194eff55a92061f3832b79ff95b23f4","datavalue":{"value":{"entity-type":"item","numeric-id":2563761,"id":"Q2563761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$001202C3-ED97-4150-8D43-CD79090DA932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$4D6B3F27-C354-4810-9726-14385A806B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ccf1cc6e42011cee7ec323b31c8dd286cde50b0","datavalue":{"value":{"entity-type":"item","numeric-id":5717305,"id":"Q5717305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$7A5BD58D-0542-4AF5-9B4B-532BB9176B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a376769def06304f0cb20c57d4c2836807ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":3146903,"id":"Q3146903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$A3C1EE83-3C1F-401C-B272-7DB2DD6ED6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$3A1631BC-58A0-4B3B-AA7F-C2F171574A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445525fc9a893df8d184d0f1721ac06176cee56","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$1600A237-E063-4C5F-986E-775026B5C326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab49cfea63bff88a76d6b5dc15db7d3602400c8","datavalue":{"value":{"entity-type":"item","numeric-id":4917036,"id":"Q4917036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$AB39DFB9-8E43-4AC6-BC56-8EF750E8EA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2fde5fee5dbb94ae7f59259e7f9b9ff71cb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":640292,"id":"Q640292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$822A53E4-8045-4B07-A280-F5705AC13B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bb0d74c1cefb2ec5c83fc83cb1a78d00dc33df","datavalue":{"value":{"entity-type":"item","numeric-id":3838013,"id":"Q3838013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$78337159-B522-4171-9401-B257CF670676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f637f77312603427e8d99278bf032e52917154","datavalue":{"value":{"entity-type":"item","numeric-id":1961868,"id":"Q1961868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$DF7B40AA-EFEC-4186-8B2B-11C45027EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$00D2598C-9D0D-4DE7-9983-4A8A1FC5D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2557b0e88aca872a2abcbe96a02f5dd6caf05e4c","datavalue":{"value":{"entity-type":"item","numeric-id":4236284,"id":"Q4236284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$D88DC5EA-D900-45E8-9E09-E6148FDF9CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$7D0B03DA-DEF1-40C5-9633-A7A06A72CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56af7da161b7df012d917bae6045a8522f6bb0b","datavalue":{"value":{"entity-type":"item","numeric-id":4367588,"id":"Q4367588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$58A3DA7D-0B9E-4730-9710-C61D37E37BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$1332574B-EDD5-4FF5-93A7-F65DA0E45D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e457aefff7227ec2d9e92fa001f8d2d7dd1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1189893,"id":"Q1189893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$33E6274C-8F0D-430B-AF7B-1E2BE2E2D901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f29bbeded03b5c34676a0e50a74637f09aaf8a","datavalue":{"value":{"entity-type":"item","numeric-id":5459189,"id":"Q5459189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$9289E9FA-68DC-49F9-96F8-47E682F872F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$01040733-2A20-4822-B78A-EB7BAF32DA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1968c47a60e1c6db87b189fe028bbd1f36a043fa","datavalue":{"value":{"entity-type":"item","numeric-id":3575276,"id":"Q3575276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$D46F8D15-8496-4A55-813E-4E563A5CE2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e978f83f6032ae723dc1f61df455f64d173bfe72","datavalue":{"value":{"entity-type":"item","numeric-id":3649106,"id":"Q3649106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$7FEBE998-9098-4CE7-A746-50A848243540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5ba0065f4a3886749e8fd8cb2c8e84e2a8cc48","datavalue":{"value":{"entity-type":"item","numeric-id":4230824,"id":"Q4230824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$D7850F8F-0B4C-4BE2-9820-3E95F48108F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d016235ebb01d31250876b3d17d640c533c391","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$115C153B-5203-4C22-B335-5AECCB7854F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b702a8d5960e3602d9517a129955ac148585338","datavalue":{"value":{"entity-type":"item","numeric-id":5459196,"id":"Q5459196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$289E6CEA-7542-4281-9883-561F021E72B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2305c07a25e3711c07510b9bdce2975d0243eea9","datavalue":{"value":{"entity-type":"item","numeric-id":1043285,"id":"Q1043285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941862$AE0F3059-6E74-459A-840C-32A9DB8FA5EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95915c79e333a9d112e77f3d44d858423d59db59","datavalue":{"value":"10.1007/S00165-012-0240-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941862$68F52D75-B605-4CAF-9270-890A628EF5EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe6b82e4f65c76cea46d66440465f4e9c10479e","datavalue":{"value":{"entity-type":"item","numeric-id":6165775,"id":"Q6165775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375adacff0cf27ac362ca57df3f935acd40139d4","datavalue":{"value":{"amount":"+0.7427835464477539","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":"Q1941862$D070C228-8970-447F-A39E-B557544825B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38931242e692badb75aa01dc87a3c06f2597a22","datavalue":{"value":{"amount":"+0.7388529181480408","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":"Q1941862$A8FB3AB6-8D29-47A1-92B7-0322E763FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f9c717cb8f26b4db87333827f60575560f5df9","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8415a3d80a80c993c81ab56cfc519fd269b0623","datavalue":{"value":{"amount":"+0.7270223498344421","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":"Q1941862$9E3D4DB7-86B9-4382-82CC-A0EAD5AF8387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f751c968a36c9f13a150ad14303d613dba1797ef","datavalue":{"value":{"entity-type":"item","numeric-id":2914693,"id":"Q2914693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90946f7250678921a4195c0172950dd5e3988a7a","datavalue":{"value":{"amount":"+0.7256603240966797","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":"Q1941862$4BE2CA6D-E0BB-4D35-BD2A-6DFF82329FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b2b54105026127cd5103768fc696f0c67219f5","datavalue":{"value":{"entity-type":"item","numeric-id":3707343,"id":"Q3707343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ec36766ca898e8c6f94ceeca58b4fcf9b02e7f","datavalue":{"value":{"amount":"+0.7189012765884399","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":"Q1941862$FC71272B-6D97-4D39-84FA-91081241BA94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a linear algebra of programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_linear_algebra_of_programming"}}}}}