{"entities":{"Q2829274":{"pageid":2840012,"ns":120,"title":"Item:Q2829274","lastrevid":52660118,"modified":"2026-01-23T05:18:39Z","type":"item","id":"Q2829274","labels":{"en":{"language":"en","value":"Algebraic numbers in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644756"}},"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":"Q2829274$8D4DCF39-1883-4AC9-9607-C6F115FADB5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5757b25e69329be329ad7937908c1a60dd108975","datavalue":{"value":{"text":"Algebraic Numbers in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829274$E103C52F-87A3-45BD-8008-D9B69A46E50C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9942fe964b020ffd1cda998014b6b1b8334dbee6","datavalue":{"value":"1478.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$1A1B9DDA-93DC-4598-AC90-8A41B4E6FD70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"315acbbf2dcedac612f18da6ff55afdb91971f4b","datavalue":{"value":"10.1007/978-3-319-43144-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$74DB9C97-A315-40CD-9E31-EEDCAD4D83A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$B2A7C3D0-C0C6-4809-BF71-6631534EAE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fb55f3a9c5499c0144dde6d513c1a285b16f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1648878,"id":"Q1648878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$11521E62-3362-473F-B08C-6E15E39B1FD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$092A0ED9-E60E-4D86-9058-218AFE89F959","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-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":"Q2829274$DB0FEACF-7867-41D8-BE79-442612A62494","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$52161D67-8032-4839-901D-CC0155B687E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$C87D7EA8-1E85-4754-8C62-3DBB29BDFB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$2DF212B5-F62F-45D3-962C-8AC374F0D765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90ef62ca3df70431dbcfd5966d7b2dd88d957348","datavalue":{"value":"13P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$D129C168-DD67-4DC0-BDF3-D05892528989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$48BA508B-6A36-484A-8386-795362858348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c158ccd98bb504c32215edfd38ab809ab8d64fe","datavalue":{"value":"6644756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$B111E9CA-F51B-471F-ADF0-80BB8B7521CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$0843A2F3-EDCB-42D2-BCDA-977BCB51F89D","rank":"normal"},{"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":"Q2829274$54A7844B-37F4-4373-A36F-A113204103A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$D2C936CF-005F-4D93-A8F6-8D76E3A0686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$E83A469A-0592-41AA-9F19-9C8A7A51F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$2255EFD7-7D35-4CC2-9593-A927394C3AE5","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":"Q2829274$31893463-A95C-4142-8513-3D2070864FA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a9ad9b2aa1dc1a69240f2eb18de719fc5f80528","datavalue":{"value":"https://doi.org/10.1007/978-3-319-43144-4_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829274$000A1430-BE56-4662-B37A-5619BD6FAC9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"388ac0c70fd639d3099f7c70532dc163f8cb11b0","datavalue":{"value":"W2400061809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829274$84712942-B31B-47EB-A27A-004F3FEE4E4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8993621a5e54be19ec4d0f866ea1f4abc73e5f0","datavalue":{"value":{"entity-type":"item","numeric-id":4166225,"id":"Q4166225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$0AACC043-E8EE-41F1-AC52-42A992A063F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291d4cf6a21f184ed89e23d3d44baace280bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":2914733,"id":"Q2914733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$C1B15D76-811A-4870-B365-FA1FF5D887FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$DCEB5F34-BC01-464C-80B6-2DAE0B183F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ddf6c15587cc8d775178ac7830ee9b5995c206","datavalue":{"value":{"entity-type":"item","numeric-id":5532045,"id":"Q5532045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$4E027499-2C9D-4707-9976-714717AA8CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$F77428A2-55EF-47E7-B648-C80CF7BAE64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$6F592B0B-D91E-4D1E-8CD8-EEDD09FA5902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$ADDBC3E4-D90D-4C8C-82C0-B152D3411B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae8c375c89f07df66a9b775a5c280d396c123b","datavalue":{"value":{"entity-type":"item","numeric-id":3613426,"id":"Q3613426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$B60F6DC4-B0A1-49A5-A073-86930C648848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$EBDFDC2A-3552-4A6E-A1F3-81D64A984A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f4f7cc57181870e1924ad95cdded8e5f0c081f","datavalue":{"value":{"entity-type":"item","numeric-id":1031096,"id":"Q1031096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829274$C70DF4AD-7BD2-466C-B50C-5B39EB8C3222","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3873e81a6aa7d9231efcf123f72306b279203fef","datavalue":{"value":{"entity-type":"item","numeric-id":2303244,"id":"Q2303244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d5c8864d7ecfeb0048c3025615ba3d61f8711f","datavalue":{"value":{"amount":"+0.9405522346496582","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":"Q2829274$5406F77D-BF16-4239-A80B-B25C931A8CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294768d042b6fb7b6bb0d0ce5f2d991eb363397e","datavalue":{"value":{"entity-type":"item","numeric-id":1984794,"id":"Q1984794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df5ade1b89a35d6bb2255e5af422c4456dc1cac","datavalue":{"value":{"amount":"+0.7781209349632263","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":"Q2829274$2E0C7B8E-0331-426B-BE75-EDC1AE5C02FB","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":"f7979afec7087934e6243e851e334075474f4bfc","datavalue":{"value":{"amount":"+0.7613751292228699","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":"Q2829274$8B4392DA-4FF3-438F-AB70-38574B3EE724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61b529c17bea547b84bd7dd5c59764e78e3c9b6","datavalue":{"value":{"amount":"+0.7374934554100037","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":"Q2829274$EB90B6D0-B46B-4C86-A728-6A411EF6F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283346a3e31d84f6367e78d60c1099c1fff717e4","datavalue":{"value":{"entity-type":"item","numeric-id":1725844,"id":"Q1725844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da514ea40232ff706b3c93550080fe20ed6baf43","datavalue":{"value":{"amount":"+0.7362489104270935","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":"Q2829274$F6CEDF47-55E0-4F1A-BD74-4FA0562CB4DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829274"}}}}}