{"entities":{"Q1334896":{"pageid":1345635,"ns":120,"title":"Item:Q1334896","lastrevid":67432746,"modified":"2026-04-12T17:42:50Z","type":"item","id":"Q1334896","labels":{"en":{"language":"en","value":"Constructing the real numbers in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 644671"}},"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":"Q1334896$CD6EA568-6ED7-4919-B1A9-10EDE63009AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f858758877d51399a02b2c49b3c642995fafc9e","datavalue":{"value":{"text":"Constructing the real numbers in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1334896$D79C651C-45EF-4183-92C9-5F5F51A73F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da4f342797bf14e882f7d94f1ca0bb28dcdab037","datavalue":{"value":"0809.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$2835453E-FA6E-4595-A14C-C58E56A5D610","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f12abc2e760c2c74a212f0199244e2391305796e","datavalue":{"value":"10.1007/BF01384233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$503074FD-3D8C-4ECB-99A3-C9A5F4B2BC17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$77A6A8E1-3843-41E3-BE87-0D70E1D16C1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$185C8BB9-8D26-45E4-B12B-0435A89BC664","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1334896$BD381EB4-EDA8-4120-BF49-BD835652A4F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$CAE6A262-2D4D-41FA-BEA4-1AEF270FE9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$1EE37ECC-A2CE-4191-8E97-A6330D25D576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$4687DC86-2942-4AEF-9212-C3AC6B66D65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$65BF314A-3D1E-475E-989A-6A88478BC9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$6C61483C-6390-46AC-BCEE-5E57AA79D7F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"396cfbb6813308739fea96fcf2447e9b8803bcf4","datavalue":{"value":"644671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$ECABB630-9723-4FD6-A0D0-3EEB93702CB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1334896$9040C6EB-2CD7-4B35-AEE6-01B5A1CB7EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1334896$28CAC34B-69A6-406E-A950-A4CA8B71396E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1334896$5F12CCF4-6DEB-482A-B671-4C3ADECDF3E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$1F2DB862-FE52-4B75-8487-40DE47D7D3B5","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":"Q1334896$B0C1F9E6-EDF9-4AC2-B419-10157CE7008C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7996c45d9bc6fd5c2d98d0edc182cf0fb4631532","datavalue":{"value":{"entity-type":"item","numeric-id":767004,"id":"Q767004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$33FD2532-A1AB-4870-B231-709E6F7EFBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$3050AB39-5F52-4C91-8381-96F254DE79A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$286E7446-941B-429E-94EB-9363F567B53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5567bfd9f3e45d30e77673e50dd4d3aff8421aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4087300,"id":"Q4087300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$A5A12702-14B9-462F-9BBA-75562165403D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b092aebfd632d62a1eef803cf841b0265795238","datavalue":{"value":{"entity-type":"item","numeric-id":3283995,"id":"Q3283995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$D38F60C7-393F-46EE-A30C-3E330DDE1286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea790d19f615ad193630db5a0dab9d5da29c0dd","datavalue":{"value":{"entity-type":"item","numeric-id":5581797,"id":"Q5581797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$FE9F7225-A091-4171-B769-DADFF8CC1DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3c514cfc5abc4bb8b337bf6a33a49728f7e501","datavalue":{"value":{"entity-type":"item","numeric-id":5565254,"id":"Q5565254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$49AF2C1E-9467-4A04-80C7-CA85F38DA57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d20bcfebac6a448ef8340db0231c73f600de2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4594262,"id":"Q4594262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$278820C5-AA0E-4024-A576-7539996C17A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07371d76fff3089f62ceb9264ca4afbde826d6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5729383,"id":"Q5729383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$C40D6845-6D71-4DA0-B1F9-61AEF5224C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab3bdd7d7fbfac1006a4b16e8a3687950389993","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$B7AD7D34-5D12-429E-9C98-BA5BBC39051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952f73c9871f30d6206c31186ef7009713ad1668","datavalue":{"value":{"entity-type":"item","numeric-id":1220534,"id":"Q1220534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$4E07983D-6767-48A0-BF06-8B09361BDD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297096533e5ab88f17fd5345d80476a13e267727","datavalue":{"value":{"entity-type":"item","numeric-id":4023553,"id":"Q4023553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$5703362F-865E-4AE8-92BE-36D9825D320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615307e29a217c45b4ebd61904130f9766ab37f8","datavalue":{"value":{"entity-type":"item","numeric-id":4282537,"id":"Q4282537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$3C6870E2-8783-4812-95D5-1F58EB89C478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638ceda0e917643b3dbf79286c23fb07422ece1a","datavalue":{"value":{"entity-type":"item","numeric-id":1207923,"id":"Q1207923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$C42D175E-6037-42A5-88D6-4BD62873FC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$2C2A280A-9BAF-48FC-8D6F-9459419A2665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddaea301829920a8695ad92ac4c3371d12a2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":3984349,"id":"Q3984349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$72ED6943-5FCC-4A35-BDB1-7AC5503C807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5defea8b53542a19ea3b9c51cae3cee8ede56e9d","datavalue":{"value":{"entity-type":"item","numeric-id":5804274,"id":"Q5804274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$542EBA67-FC92-4A27-B319-84EA65247176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fa167f9ce108e65e21e06aeead0ae751a82f05","datavalue":{"value":{"entity-type":"item","numeric-id":3950538,"id":"Q3950538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$3EC7CC11-9F69-4DFD-86EB-B6F7CA88FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49501d961718e1a3b7aa8f6b4c1f852e24beee","datavalue":{"value":{"entity-type":"item","numeric-id":3233328,"id":"Q3233328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1334896$1F16A990-7777-4D15-A0A2-D325E3569ADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2107e72076b5fed27cb08199353751a4d0264e0","datavalue":{"value":"https://doi.org/10.1007/bf01384233","type":"string"},"datatype":"url"},"type":"statement","id":"Q1334896$1D60DB1C-E60A-4BCB-B382-F323853913E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"179033ca44b33a56d596086ee83e31dbe75fa848","datavalue":{"value":"W2022261955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1334896$C7EE25FE-B172-401E-9D31-989F19746A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93d7a732350119701e0664ba01a48622ca2ce5c","datavalue":{"value":{"entity-type":"item","numeric-id":2165288,"id":"Q2165288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0938530788e6ac3b57e31a69abe92556e0b73c","datavalue":{"value":{"amount":"+0.8691346","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":"Q1334896$3C7C960A-05A2-4218-BF4F-98C765D6CA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9df7a5048ca83f7733dfb64127d611e7780a42","datavalue":{"value":{"entity-type":"item","numeric-id":1279733,"id":"Q1279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f51d2f5dda292c520c265d2f7b5bd0fb760a8ec","datavalue":{"value":{"amount":"+0.8683847","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":"Q1334896$59ABF6AB-F938-4180-9000-B8DA9790F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9d18ac2e87fcec067f43919efb3a13b911b793","datavalue":{"value":{"entity-type":"item","numeric-id":5269763,"id":"Q5269763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712bc80aa24a3f8e8c88296cc391e447b3f5fda3","datavalue":{"value":{"amount":"+0.85937476","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":"Q1334896$0D65DE74-2FA1-4FEC-ADF9-49F918C49188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941b1236acbc8e079c1aa9b5b6f37342905adb91","datavalue":{"value":{"entity-type":"item","numeric-id":4282537,"id":"Q4282537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a438386a51450787e4debf2979edc3dec9bcf60d","datavalue":{"value":{"amount":"+0.85867125","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":"Q1334896$9A40D135-64F1-443F-B576-9874F721C951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef555168ad29a883911bf078262c8867fbaf956","datavalue":{"value":{"entity-type":"item","numeric-id":2834261,"id":"Q2834261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7090e753a9da4708f76428cbb77d2ffa7ca187","datavalue":{"value":{"amount":"+0.8582982","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":"Q1334896$C8168924-B062-4B39-A3C6-3C460BC35440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6dfa65dea4f5d558310a69f657c77b6df7b156c","datavalue":{"value":{"entity-type":"item","numeric-id":1123221,"id":"Q1123221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e158d96e054c625c0651674b92c82441ecfe6ec0","datavalue":{"value":{"amount":"+0.85192305","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":"Q1334896$5512E720-AFAC-4190-AED6-508A8B91D114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7e45184a5fd30db221adc8541bb85b463fc7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3431542,"id":"Q3431542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3382c68a72392642c88d855ce59d1f377d60b3","datavalue":{"value":{"amount":"+0.8518393","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":"Q1334896$D976CA69-0BD8-4A9D-8B8A-BEB9EB48C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5991a0f7d7ec9548be51f94f574395568daf640","datavalue":{"value":{"entity-type":"item","numeric-id":4736388,"id":"Q4736388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52bb78b6b26c2c285088b3e09833f7f1699adfc","datavalue":{"value":{"amount":"+0.8512614","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":"Q1334896$128111BB-BBBE-4534-A5D2-0C8328515C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0345b8d111ccf35f17db68bc0571366fd7b5303d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fcd2ed5805e2c6a9f294541e28d564618a6840","datavalue":{"value":{"amount":"+0.84917814","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":"Q1334896$37088DC3-FE31-42CF-9B76-3D090DA04E31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing the real numbers in HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_the_real_numbers_in_HOL"}}}}}