{"entities":{"Q2038024":{"pageid":2048766,"ns":120,"title":"Item:Q2038024","lastrevid":43487362,"modified":"2025-07-29T08:20:09Z","type":"item","id":"Q2038024","labels":{"en":{"language":"en","value":"Calculational proofs in relational graphical linear algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7370046"}},"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":"Q2038024$009875F1-13F1-4F12-96A7-09CBED7D90EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a37258639b6bf3bf63dc31d8b163c1ba180dc16","datavalue":{"value":{"text":"Calculational proofs in relational graphical linear algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2038024$AF194130-23CE-4162-AC00-26A690A226B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f810a1a3a87a02ce811c5cf28ca792ba9950a29","datavalue":{"value":"10.1007/978-3-030-63882-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$28BC96B0-9BA0-40CF-B31F-D26B14065059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef75732cf6fc178cfb226502ae4e34efc36fb06","datavalue":{"value":{"entity-type":"item","numeric-id":940963,"id":"Q940963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038024$EAFC5DD9-991D-49C9-876E-FDB8366BAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2038024$0F032E49-D0CB-43C6-A0CB-FEC40B47198D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2038024$4AA24265-C57C-4307-AB85-59C657DC0D6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$4B5F897A-F891-415A-9EA1-79F846F11ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c0974ef267b196fdf01d99908d876c05da06c2a","datavalue":{"value":"08-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$BF38BDFD-4338-4EE1-AA94-4E1CB77B7560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1901206b7580494b326de289981a64ad1962d9a3","datavalue":{"value":"15-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$19C91C24-4882-4DDB-896E-94CBBF0760E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b21e7cb70e61ddcbd4f1cfc00cdf1dea3a19c653","datavalue":{"value":"18-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$DEDFF57D-F1D9-4F85-A192-99FD5912DC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da8a80ea620f0b2d20bc9c1dd543d93a51a2666","datavalue":{"value":"7370046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$12DE99DE-3DBB-4E3C-8DCC-CFE938276F6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53ca9eae72ba97e54f914487877884024f969a8d","datavalue":{"value":"graphical linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038024$3C1C6C3F-17BF-45D0-AD4E-7BCC156D1F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d131d26eb7f186440775d87c57a786146a5f628f","datavalue":{"value":"calculational proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038024$728F6359-A0FC-46CA-8FE9-D5E86A77639E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6d7c6227b8eadc16235b0c308af67322d39b0c5","datavalue":{"value":"diagrammatic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038024$CFF6E36F-825D-42A3-88BE-6EC6A0EFB3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038024$33F5A859-5F2F-46D3-8E57-C88F4FE7FFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d07c9af099669da048ed98874d3d15d0a44e496","datavalue":{"value":"relational mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2038024$71DD1A30-4ADA-4A31-A9B6-9144E3D85AD0","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":"Q2038024$4907207B-BBC9-4E8F-84ED-BE47201CB7B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6bee497da08f33479fc8753bab9cee115bd86d2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-63882-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2038024$CE05B0C4-DE8C-4F2B-83FB-011C18393800","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3da5a72eb3663fd7ae948ae276c346c6b7f25f10","datavalue":{"value":"W3109247400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2038024$2BE31431-45BA-444C-8046-7175D64E8124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6d1ededfc2c91ec6e73a2cb95ec81488e483de","datavalue":{"value":{"entity-type":"item","numeric-id":3511467,"id":"Q3511467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4eca0a30f68406f5aff251425df6d4143823591","datavalue":{"value":{"amount":"+0.9100708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$B8FA698B-8A06-4FC6-8370-693F43296B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8231b8a3e82e86a0372fd18ed85d7e49e09306","datavalue":{"value":{"entity-type":"item","numeric-id":4530463,"id":"Q4530463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e194b61a0ffc1c55ba18dd45edc566de37ff8f3","datavalue":{"value":{"amount":"+0.89496565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$24EB405A-F0EC-4235-B6A6-0AFF3D801772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f3050b317e347f95916ef9d95f017c7c95f5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4835905,"id":"Q4835905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d395ba11dd79bfba14cd6d64d2991f24d49a1f8","datavalue":{"value":{"amount":"+0.89121825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$0B7991D4-E812-435D-A9C6-D117F41222A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cc7ce70d6f06b54c7b592c2db7b5d84d0418bd","datavalue":{"value":{"entity-type":"item","numeric-id":5091117,"id":"Q5091117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7374fa95fc1b15e2ef6285de2ff991ec13964af4","datavalue":{"value":{"amount":"+0.8834384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$6301BFBB-2AA6-480E-BC3B-BC27E5A39E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937b90689b2fe56536fd8ef9a2ed642326dd8ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2035472,"id":"Q2035472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7374fa95fc1b15e2ef6285de2ff991ec13964af4","datavalue":{"value":{"amount":"+0.8834384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$E5E95202-B1D1-4116-8A73-FE205D9923F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d94eac23b34bee4cebd91c0adbe4274e61aed","datavalue":{"value":{"entity-type":"item","numeric-id":4964705,"id":"Q4964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a6492d7b407b89cb78ba1440a83e4763a8ab8e","datavalue":{"value":{"amount":"+0.8814265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$4CFEF4CE-EC2D-41B7-841A-9FF2FAD58F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b8126603b7d281d4c08e777fe02919b55e34b","datavalue":{"value":{"entity-type":"item","numeric-id":3809777,"id":"Q3809777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123b7b70e873cf524d9a666ca857ffbb4a6cab6b","datavalue":{"value":{"amount":"+0.8770923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$ABD7D284-3A97-439F-B3E2-EF0A5B462580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691319f9c6625e9464bdc8da7a444d89647c5968","datavalue":{"value":{"entity-type":"item","numeric-id":1961869,"id":"Q1961869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251adddabca21067c9388c3817a6994494dadc31","datavalue":{"value":{"amount":"+0.8739671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$23F00120-C5EB-435A-B908-6D137B1F2588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9fb8da89fc8945e87f77b8b155ef5b03f5030","datavalue":{"value":{"entity-type":"item","numeric-id":4329274,"id":"Q4329274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ec79a29e4e8c43c3e37b914706fb0c347b5d10","datavalue":{"value":{"amount":"+0.870186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2038024$2100688F-393A-4856-B238-6E7530B8D203","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2038024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2038024"}}}}}