{"entities":{"Q6079228":{"pageid":13213535,"ns":120,"title":"Item:Q6079228","lastrevid":40893569,"modified":"2025-04-13T20:49:58Z","type":"item","id":"Q6079228","labels":{"en":{"language":"en","value":"Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756107"}},"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":"Q6079228$E95B1859-FFDB-45FC-B414-5A1471AF82C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09e0bf047a6c42f28d89aaad72021c8f313b69","datavalue":{"value":{"entity-type":"item","numeric-id":2819685,"id":"Q2819685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$A0CBCB60-F732-40CD-9F62-6D4151063EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079228$CF27D774-55E6-48CB-A5CA-E15881AF794D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079228$5E81B619-3472-408C-A607-030E465416F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079228$69B2A3DA-2DF3-4BF1-BC20-1DA0EF27541D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cf81c90807c814ffd046412b7812504e38fddd","datavalue":{"value":"7756107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079228$B0714EE5-0660-4EFE-9D92-FA912FDC18EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079228$350CD3F3-0C45-4E1C-B0C0-FF11CEC384A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079228$97C76A56-7AB5-473C-8587-002B72B1C000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079228$A16D32A2-3275-443A-8E87-128DAF5697DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079228$76BB811C-A4C4-46CF-8D91-7B42D2C941C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079228$C462E3CC-CDE8-466C-8042-961463EE44BB","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":"Q6079228$98E8D082-4062-4A45-BA8B-6C40AD35B725","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ba0980413e4b968e65bacdd5921d53c33539750","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2020/13066/pdf/LIPIcs-TYPES-2019-2.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6079228$C24AF829-7285-4B6E-A7D9-6992E23F2C13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29dfb28de4174529c511505851e846f61ad59ef2","datavalue":{"value":"W3095227982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079228$2343706C-1E43-4A84-B090-F74C9B4E69BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dcf9e911a7128e4db2b8634fe464e5edf0d0d8a","datavalue":{"value":{"text":"Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6079228$349E304A-94BB-4D34-BBF1-762D742000B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bd3ba10b0a8db4c435a1f311674675f6385e0","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$CAA7056C-2840-411E-9C4B-065CED6719CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6aa3e3851825ce947035770e997710fa99c398","datavalue":{"value":{"entity-type":"item","numeric-id":4657751,"id":"Q4657751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$7A18E74D-A6E4-4ACC-BE18-41011675D280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34950020de3b9c2a805e8bdc842332b93d42754","datavalue":{"value":{"entity-type":"item","numeric-id":5089009,"id":"Q5089009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$71746807-27FB-490A-B127-55E90B135A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4159d939ced36422053a0df6e66fb43d4c6ed43d","datavalue":{"value":{"entity-type":"item","numeric-id":5712326,"id":"Q5712326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$7AE855B8-3F67-452B-96AA-D81B907F6335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99eb11d96831007f490c69ad1f65fc4c19d9a5ab","datavalue":{"value":{"entity-type":"item","numeric-id":3608814,"id":"Q3608814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$36DED95F-A611-4662-95C5-04B3E9949887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$E660E98F-D091-4AA2-9BD6-56B59F0B136E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4e0e674b6b5df7071651d6ecf6f96959f2d4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5410695,"id":"Q5410695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$2A14A899-D59D-4BB2-984C-8BE5A2CE95BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$32006FEC-06E3-412B-8EEA-D47A62FDB34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$56412566-FF8D-4704-AA11-B9579FFC90A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9596147b9b775f25ecb484a22f092d76d48a1e","datavalue":{"value":{"entity-type":"item","numeric-id":4645754,"id":"Q4645754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$3AF744FE-42EE-4BE0-810D-C0630E827F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$981293D7-733F-4D1E-8FA5-232BFC7C87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$6D5E147E-43B2-4ADE-A99F-DB60BD602F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$56C12D1E-B312-4DAA-B9CF-76E8F4DB65AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c7ceafb387df0589986b0edb63dbd862281c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2323976,"id":"Q2323976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$59A6DDC2-F2C8-4430-AF2C-C92F7AEA233D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc2a8f6bc1fdde2be781fe39a5873777354c69","datavalue":{"value":{"entity-type":"item","numeric-id":2819823,"id":"Q2819823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$BE2C4C03-E2B9-4E8E-BAC6-2ACD97CE8A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f45e6de745f798b87e09868dec71f257aef0e76","datavalue":{"value":{"entity-type":"item","numeric-id":5472887,"id":"Q5472887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$10B00FD7-B0DB-40EF-87F4-1119896FE377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9447320343ade6f748625eaa6955967ce15a30e7","datavalue":{"value":{"entity-type":"item","numeric-id":5472892,"id":"Q5472892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$DB92B441-4175-49DE-B5D3-361372F2BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f8296f73deb736ba66bda998af5bd6c9504133","datavalue":{"value":{"entity-type":"item","numeric-id":3586063,"id":"Q3586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$740A9751-7C12-4028-BF18-8BD92E77B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5420d463f6c29cd2183e3e9f2077e01017260b56","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$B53EEBE1-DF5A-42D3-BC69-1202A50C83A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5ebb4dfb7b9eba647b5c2ed59ab189479301cf","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079228$37B7E9AA-B95D-4DD5-8F45-5E854B22CE89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0da94e53feb309d47f1f0d0ed83e3e69d81a415","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079228$EC1A62B3-1678-458B-B34E-5F68CB84B6FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05cc9808aaf2b3b05d7d8a32555b7fbf344a688","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269673f122b6cf6436c28ae843417956d1125d31","datavalue":{"value":{"amount":"+0.868954","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":"Q6079228$7F76E20B-6E25-4797-AA81-16007A98CF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa24e6d3cae090b70058022cada85f364fbbb68","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d28bd7f217a7dd8596836e32cd77ac40e949a2","datavalue":{"value":{"amount":"+0.8664153","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":"Q6079228$79867342-441F-4F12-9B9D-512D1CF54F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5903c018dfbfe72f7d1634bd420323cd3552f29","datavalue":{"value":{"entity-type":"item","numeric-id":3184729,"id":"Q3184729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cdb63112e10bdae01c28d9bf17db70afbcff95","datavalue":{"value":{"amount":"+0.8648391","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":"Q6079228$26E89B98-0A96-4939-8DC9-7ACDED271DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e06515956bdf64098be5a872edb3320002254f","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a971f40b5388b6d150bc619daae38fe11a31af89","datavalue":{"value":{"amount":"+0.86362624","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":"Q6079228$700FD900-12AD-4A89-B3ED-68609CA0C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d330218efdb6e0dae35fc2343de58b9a5b8340","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf1e052cde9959cf0cb54a980595266734a9285","datavalue":{"value":{"amount":"+0.86277145","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":"Q6079228$5EA6CB38-CEE7-4B89-8BB4-73F38B25791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9fe438505a2dbe16dc225f18127783c2b282e8","datavalue":{"value":{"entity-type":"item","numeric-id":3687693,"id":"Q3687693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005f580748f584bb2225210cb6519eff7143d53a","datavalue":{"value":{"amount":"+0.86249053","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":"Q6079228$CB3DF25A-56E0-40FF-933A-D41C1326C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d456b94293befe11b645e1ed78e138fd7ac64a5e","datavalue":{"value":{"entity-type":"item","numeric-id":4206388,"id":"Q4206388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2647532f30369b4519b2a411ada61f06677bf6","datavalue":{"value":{"amount":"+0.85927266","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":"Q6079228$3A1112CC-51D6-4163-82CD-C9388EFA324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a99c356a4206bbafa5dec23032d09a95b23b61c","datavalue":{"value":{"entity-type":"item","numeric-id":4858947,"id":"Q4858947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2647532f30369b4519b2a411ada61f06677bf6","datavalue":{"value":{"amount":"+0.85927266","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":"Q6079228$00476724-F597-4936-96E0-84E9CF0253DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc921d4fb999cfb5f93ea94c6f4ffcbe9cbf647","datavalue":{"value":{"entity-type":"item","numeric-id":3685174,"id":"Q3685174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b095f53514785bfd14e1d1c8f3ab45d24979223","datavalue":{"value":{"amount":"+0.8546639","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":"Q6079228$79DF8B6C-BA0E-4A1F-BD85-677046962199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07ea29f34a0ae3c3bb20ee1e6b731c59ab57a81","datavalue":{"value":{"entity-type":"item","numeric-id":5055747,"id":"Q5055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5122aa385ef4c17f33e821e91e68fc37aae819","datavalue":{"value":{"amount":"+0.84995884","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":"Q6079228$7C1AB45A-9B83-4F1A-98BA-4DE23E0719A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079228"}}}}}