{"entities":{"Q2673306":{"pageid":2684049,"ns":120,"title":"Item:Q2673306","lastrevid":44604258,"modified":"2025-11-24T07:12:23Z","type":"item","id":"Q2673306","labels":{"en":{"language":"en","value":"A bi-directional extensible interface between Lean and Mathematica"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7538895"}},"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":"Q2673306$E0A80E99-6CC0-412B-B7D2-8A852467E9B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e9c2a39cd27c4fb011987899960d47d893e588","datavalue":{"value":{"text":"A bi-directional extensible interface between Lean and Mathematica","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2673306$01990746-8589-4231-A865-9F9FAEE20B37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ade185f3ecac8f26bbd0db5ba024cb38b4e341","datavalue":{"value":{"entity-type":"item","numeric-id":287377,"id":"Q287377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$EEE889BF-8CAF-4CD8-A809-EF3AEA08B26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc763e2b57fbbac9d48da18f7f760623205de858","datavalue":{"value":{"entity-type":"item","numeric-id":2673305,"id":"Q2673305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$2ED417EF-5E8B-4134-A5E1-0C0D5D210F1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$383D0E2D-2725-4B3D-9113-B60F89BFC49C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6d0267f9e071742db9c5978bce78a5726439d38","datavalue":{"value":{"time":"+2022-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2673306$812A39EE-463F-40B8-A511-672400FBEEDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f02356beb1f026a4bfa4975069cc09db4742bcb0","datavalue":{"value":"https://arxiv.org/abs/2101.07758","type":"string"},"datatype":"url"},"type":"statement","id":"Q2673306$B4C022BB-72B9-45AF-9F53-3D2357C62217","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673306$73A67394-4384-4DC2-A3AE-F73D7C80802E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6794cf79928876ad4753188bdeb2b86624b7ff3c","datavalue":{"value":"7538895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673306$DB11ADA5-8889-405E-BFEA-C8DB67EA37B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673306$A27971CD-75A6-439E-BAF1-E8AAD9814D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673306$B60D66F8-CC3A-4DA0-956A-059C9A9709F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2673306$00C52DCB-11BB-441D-8F39-F351BE699625","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$72BDDE53-0B2F-4141-926B-094B3F77341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$B7E7CEB2-C69D-49F6-9E6B-56236B1AFC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$77FFDCC2-7EE9-45EF-BA2C-C91A8BF2A14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$795324FE-8EF6-4868-827C-6100197054CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$028CF13A-AFD0-4298-ADAB-EA224445A750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$966EB4E2-8975-4F5E-8271-1BAFE38FD081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$195CB586-DDBF-442C-B00B-7605CC2EE534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99f002cdccde87447af70cd6b9201a589b09ae3c","datavalue":{"value":{"entity-type":"item","numeric-id":5975101,"id":"Q5975101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$E2B3F451-6846-49BB-A337-09B29C468354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6e67cf93810dc657a210d9312434097723ef56c","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$74F0DC68-7252-40B3-AB00-4494D29EA851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$7F87EF20-1490-470B-B7BF-0321E7FDDE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$0D3A2BA7-7E9E-4770-B77E-BFA74A996188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$3444359D-987A-4CBD-AF53-F3654FCCA4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$CFE132EF-E2F9-4A67-9BE3-2FA13C3A1692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"771503fee8982049925eed89301d9abaf6576239","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$4E4411AA-D02E-43B9-8274-4A2C02AB729E","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":"Q2673306$47AEB04A-5733-4DA9-8E41-A4C95AF1C604","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93fd1b7958cbe59f00fbc6e91c5d3f9f4aeffe0e","datavalue":{"value":"W3122538476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673306$A67E6C73-3F85-4C6B-8071-74BA26E610FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7714e08a8556aa1cd6a9f5fda8c7d4f8d9c37ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$237FDB72-3882-4AB8-AA13-600F84B60AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c1a4c46517fc96c171e8ec2d051f91bd106cdf","datavalue":{"value":{"entity-type":"item","numeric-id":6157245,"id":"Q6157245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$43660F44-04BC-4246-A088-70E81C9453A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08a38c2568c66019779d8aabea36d4bcf3280d3","datavalue":{"value":{"entity-type":"item","numeric-id":3412090,"id":"Q3412090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$D1C76647-8036-4432-8B94-301B54F404E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19121fe5036f2676946186c6f9a088bb5b461d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4227289,"id":"Q4227289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$7BD2E03B-502A-4906-89A1-14DE6249FB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcefa04102d3bbf48f0b6b000cb1091353621c42","datavalue":{"value":{"entity-type":"item","numeric-id":4934138,"id":"Q4934138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$DA915015-2258-4724-8A7A-B7EDB2E048FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43a14224fa5235de73a12a4a92053be887ea6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1272608,"id":"Q1272608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$4DB71B7A-1138-47AB-AA79-59CF359123AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e8225b7fde56abf09e51400675a474f11c4844","datavalue":{"value":{"entity-type":"item","numeric-id":3612435,"id":"Q3612435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$69E52DC8-92B1-4CD5-982C-02770006ADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$B4DA3C2A-564D-438D-BDA5-EDD4BF8A4056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$9F77B806-0EE9-48FB-84E7-3D20720FCD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$F545C2A6-BDB2-4FBD-93AE-A854C71546A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf2e2915ee525715586105eb9b7b6f7c6c8c666","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$8D5116E1-0DC3-46CC-9DD6-282430B49BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45890c8ca21f1123e4c5dca5f6dd3e08790fe939","datavalue":{"value":{"entity-type":"item","numeric-id":2879250,"id":"Q2879250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$BA271EDE-0F71-4C9F-8F01-9E5D216C2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$C0055A75-F9BF-4046-9014-61F4234BFD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$08AC47D6-2161-4647-8266-E6379AEE77BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a778ee45e7f76c35357f6ff8f41371da4dd0b78c","datavalue":{"value":{"entity-type":"item","numeric-id":2456560,"id":"Q2456560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$E047A732-62A6-4086-9F7A-078F13B8FD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$3247CBCC-FC82-4887-9346-A49793060738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3ee1b817254aea8a57588473a7ae62193e3ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2219408,"id":"Q2219408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$1722BBE5-5CA6-4FE2-9B5E-BFF07BCC733F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be528462158069f88471c5981a052b0d94c9eedc","datavalue":{"value":{"entity-type":"item","numeric-id":2364674,"id":"Q2364674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$0364EBFC-6189-4024-8CE8-FB9AD7F685D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d00880e679cdceaab88a0b654cc507c415a26e","datavalue":{"value":{"entity-type":"item","numeric-id":2456559,"id":"Q2456559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$B40E5A7F-5839-46E3-B3CA-2CF32DC1F000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d7ee459ebc63d07e6f9c82437e65471e533ec4","datavalue":{"value":{"entity-type":"item","numeric-id":286798,"id":"Q286798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$19517B73-F227-4718-A269-7165202D954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$325FFEEF-FE45-4DD4-955A-BC0D6225F822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bac2a1c3bf09f6471a60799fa53f4bbb721a1","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$D01F78AC-7C2F-42AB-BA6D-70EE588294B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd0fc8e1eccde465b8ad59a4b0fe16a5a8a39a0","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$DFF6D658-19A9-4A8E-B951-9673960040CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f226ee41bf68b5f57847965e0e56e3e36b8331","datavalue":{"value":{"entity-type":"item","numeric-id":5856420,"id":"Q5856420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$5AE569E4-0BA7-4FC6-9261-BF5E3146817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$F1042DC6-BD0C-4D1B-84D6-976B0829F4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$A9E3DE58-8DC6-432C-9215-FAEA31396E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3ef38ef005c69e7bd0fea842b7da511c1842a8","datavalue":{"value":{"entity-type":"item","numeric-id":4077450,"id":"Q4077450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$B31870AE-6E9B-4125-BC4B-0ECA56B9F29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dedc68dadd430a8cbde5a901ead9a15c139e567","datavalue":{"value":{"entity-type":"item","numeric-id":2843035,"id":"Q2843035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$C9B97B90-3772-4F7F-9E4B-4223CD0D2CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$A42A43DA-4119-4EAD-8834-48131EBB3BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f5409f973580bb346428378d53f4b51b1ec67a","datavalue":{"value":{"entity-type":"item","numeric-id":3453133,"id":"Q3453133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$1A0C3A6C-19F2-4947-9176-DBD6FB29D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c103117979fda8c96e8d038ea9dbfe12256bf","datavalue":{"value":{"entity-type":"item","numeric-id":5049000,"id":"Q5049000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$86528750-AEFD-48EB-930C-5EF67B5584E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72bc80252a0ed862183b852f41ba4bcec314502","datavalue":{"value":{"entity-type":"item","numeric-id":3755233,"id":"Q3755233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673306$0889309D-7588-4224-B71B-46112D9C8869","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d3d6e571b7c54fe0ed7904abc8af2073860b923","datavalue":{"value":"10.1007/S10817-021-09611-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673306$89DC26FD-E896-41C9-903D-1C16DB49A2C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"466cf0ba1b9861de6af70aed09a13fa83d69df0c","datavalue":{"value":{"entity-type":"item","numeric-id":3560906,"id":"Q3560906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af173451f0a8d389c119ea881baf0ecb631d9fe8","datavalue":{"value":{"amount":"+0.81246126","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":"Q2673306$646153E8-65FA-468C-B70C-C6DD657A4269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac2fec0824f7f742305bd8f026a388221b9db4e","datavalue":{"value":{"entity-type":"item","numeric-id":5744984,"id":"Q5744984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44bd72f216fa377427d469e76ceab0bcf8d048d","datavalue":{"value":{"amount":"+0.81171805","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":"Q2673306$812B3B03-E762-4612-A390-EAF2C306E81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa0eb11a6b8bfdd7edfdceea183a5f74cde8814","datavalue":{"value":{"entity-type":"item","numeric-id":2696546,"id":"Q2696546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371b654439addda193e49c5c147e397cf0daf946","datavalue":{"value":{"amount":"+0.7988252","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":"Q2673306$27390C24-16BE-4484-9715-CB4F0F2AD696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6fa211e65b40ebe6191f18a082e501fd734840","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b097662084ed9d3d4ddd6563759233d9c3d652","datavalue":{"value":{"amount":"+0.793771","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":"Q2673306$6EE8A4B1-1012-42DC-A610-0A700EACBF29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2673306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2673306"}}}}}