{"entities":{"Q3007580":{"pageid":3018304,"ns":120,"title":"Item:Q3007580","lastrevid":51269324,"modified":"2026-01-17T13:07:38Z","type":"item","id":"Q3007580","labels":{"en":{"language":"en","value":"Dependently-typed formalisation of relation-algebraic abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908629"}},"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":"Q3007580$0AE41E5E-289A-4C25-AEEC-23446D7BC598","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6155d9c22807843f6450d2dcc795f1fcb75f428","datavalue":{"value":{"text":"Dependently-Typed Formalisation of Relation-Algebraic Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007580$0C1199E8-11E4-4039-90F0-0B0B8B626448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f23f22498c3e15b38a8926553c18dd4735d7819","datavalue":{"value":"1329.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D615C369-2A93-48E9-BB48-261F45D9A7C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"344c9397949dd3836c9abae32915e8f8f50b6897","datavalue":{"value":"10.1007/978-3-642-21070-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D091BCC1-759C-4FB8-BBC7-951FB27E3A61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007580$9F9DF36D-D0BC-44B4-B820-00852E218348","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007580$FB1A475E-35C5-4780-953B-7D5E7CCC3B31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007580$8C0C495D-78D4-47B8-AA4D-2428BFA9F887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D599C5AD-0FD9-40DD-B020-C3736EF55365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$E1CA8C8F-D523-4520-8205-0224CFAB9FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D68AB639-EFC6-4CBA-8F3D-3FC79BDFAB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$6D439122-E1EB-4835-88C3-2B4FE675F513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be0d53ad9efd3812cdb922dfbbc124369f79bdb","datavalue":{"value":"5908629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D42B62D3-4CDA-4A74-A733-2B92CFC1136C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5fde500c1b893101a3b51394b8a804cb1b9660c","datavalue":{"value":"dependently typed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007580$F7DA0B38-AD34-4AF0-AF50-EDF6E615191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9a59487e04538220ce06513fb80c0a4e8dde97","datavalue":{"value":"algebras as data","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007580$B1B285C2-5A7C-4BE4-849D-54B3FB91DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b8f14b5b6022c4aea2b5c15e28e12186ac0001","datavalue":{"value":"allegories of relational algebra morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007580$76CF0737-2CB8-48D4-BA81-852C59255725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f65fc15a218b3b7ebae2e5b5abf385fb3361784","datavalue":{"value":"nested algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007580$EC4D49E0-FDCB-41F5-8F89-996D9C0E1809","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007580$551026C1-9C5C-47BF-A17C-ACD5FB3DF8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007580$7FBA2C6E-AACF-44CE-8A17-021D7F55AE4E","rank":"normal"},{"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":"Q3007580$D050B565-EA07-42C4-AD57-C14BEF199014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007580$C923D43B-878E-4E58-AC47-7EAF50A112CD","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":"Q3007580$FD11B4A7-559B-4F61-97CA-3BA6E3560E5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62a3254cf3fc84ce610f8201e4a6837378816358","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21070-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007580$12E75E38-188D-433C-A495-C9513C4B1B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ae5a289df7ab0a0885a98065c2c2990a46cf902","datavalue":{"value":"W23023570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007580$D25A4965-F897-4160-AA3D-3483E5ACB1CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609d5a9c9b45f88529ffc30c4ef3a6a5e96c1f4a","datavalue":{"value":{"entity-type":"item","numeric-id":4964703,"id":"Q4964703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9324081879d8f9b937aeab8cb6a6f1a46cb2b057","datavalue":{"value":{"amount":"+0.8270724415779114","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":"Q3007580$9DE18759-1D17-4721-98EB-02BDBD5D22A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa8c8adfd11ec5f892ce8c4b06740a8802b167","datavalue":{"value":{"entity-type":"item","numeric-id":5410488,"id":"Q5410488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c421c9154e9f05a1d4ec48ed06c42a9e4db547","datavalue":{"value":{"amount":"+0.789817750453949","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":"Q3007580$F7FFF293-CB92-4BD6-ADB6-8B179C24CB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3b7bcd1d68db7d577128e4a5c1fa35ac4c5ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3644935,"id":"Q3644935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bddbfbe0877b5a980e5fd1ec2cee46e8c8cef0b","datavalue":{"value":{"amount":"+0.7824645042419434","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":"Q3007580$43C6B421-22E1-4344-94E2-648496DBEB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d645984c536a410e4f81a57132eed217282d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2185888,"id":"Q2185888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37b5e7a102688452e587cec19749b72387c3a9e","datavalue":{"value":{"amount":"+0.7655139565467834","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":"Q3007580$466C6D26-2DF0-4057-A134-1CE2AF65C712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c6e0043feb6706fe5d2c1df4fa178ecc1cef89","datavalue":{"value":{"entity-type":"item","numeric-id":2915137,"id":"Q2915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b699fbbfa333de9bbbc30d8cf4c056ca93601465","datavalue":{"value":{"amount":"+0.7652343511581421","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":"Q3007580$D281AAF0-C7FE-4BDE-B860-C4BBF2F4E61B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007580"}}}}}