{"entities":{"Q40961":{"pageid":41017,"ns":120,"title":"Item:Q40961","lastrevid":105427730,"modified":"2026-10-09T10:08:13Z","type":"item","id":"Q40961","labels":{"en":{"language":"en","value":"Real_Impl"}},"descriptions":{"en":{"language":"en","value":"AFP entry Real_Impl"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d6e1d9426d089513d3e75368d1f0ff26b386820f","datavalue":{"value":"29247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$14386500-A378-4ECA-82C2-A458AFFF7234","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$EE7AAE69-943B-4D24-8BD1-50E51209705E","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"da3488394fa917892d195f1899b09e47c0e1b92b","datavalue":{"value":"https://www.isa-afp.org/entries/Real_Impl.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40961$0CD5A1AF-10B1-4463-AAAF-F4248EA9A89E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$736AB9F5-D557-437A-ABE8-934798C4D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$4FFF92EC-F879-4E44-A703-369DE3B5A612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$5BF7E669-3DDB-4CF3-BB0D-FC3CAE89B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$48220BB8-619F-4D8D-A075-F715BA15B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$B4C2422F-D420-47E0-9236-0D736B64BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40961$D5385667-27E0-49E7-85E7-AF8D44C49A1F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$5F0F825D-3793-402B-BDA7-B94DF06F2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$A238B26D-B5A4-44E8-9FC2-0885FAFD8CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$4C6BBA94-9947-475E-B7D3-028AB3C257F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$3E6D901C-2E4E-4CDF-B1C3-2AEB9DA439FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$41A60802-0A4F-40AF-A9F7-13C3A66A5F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$EC7613F4-29F6-4281-82C4-55CF7B564D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$1CD9F08A-2BD3-4A41-A7C6-24120C7C6749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"aedeaf0144ca38f7cb9a3b8f0e43e0ed5b0f0353","datavalue":{"value":{"entity-type":"item","numeric-id":40283,"id":"Q40283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$6E463FF5-63A4-465D-8BB6-59A09331D385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0e25be57e1296470c78e495e58e23e70a4054e25","datavalue":{"value":{"entity-type":"item","numeric-id":40549,"id":"Q40549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$E3B79E97-E831-4867-9253-01EC3B9C5D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ac6e4b2309e3317f96b1f72a4f626411283f5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$DFC59E4C-FD7A-4264-B424-040D3CA180D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"882e8b78a958039b094740a206d2e7d26f685422","datavalue":{"value":{"entity-type":"item","numeric-id":40959,"id":"Q40959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$08A61D28-4B58-46FA-BCA6-D684229CE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$BDA0A975-625B-4F5F-8CA3-AFCCD5C9B9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fb0918295880c75ce7e6107c7f8260e1eb005ccf","datavalue":{"value":{"entity-type":"item","numeric-id":40284,"id":"Q40284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$D16D58F6-BE2C-4BBA-8ABB-D0A21145D1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82155c8d1da98891c9daad267405a7d93979d3b","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$0D9C769F-E1A4-4736-AD2A-DC504A7C4DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a1564a2a71a8bc8258028a3b3d3d16a3ca49720","datavalue":{"value":{"entity-type":"item","numeric-id":40952,"id":"Q40952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$92E24E0E-D8D0-42F2-BDA0-3974ED849214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"feba23e7c41ba4aa38bf2dee9205344029ea237a","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$0769998C-1313-4A05-A2EE-F9BE1B8BF1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$72365E2C-7E63-42E0-8D8B-A2D9AD3C26C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e600fcf4c16bf9bbec6afc7a64801eb6824b335c","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$EA8E7417-7E93-4666-A775-7FB443778D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$28493DA3-68B8-47E1-952C-EC5DC01A167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a54e24244723bf29b2db533f355d939551876363","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$4A20AD56-9B20-409E-A0C6-8CA838C50C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62277ca81072d209786625e6b816e6241a8c348b","datavalue":{"value":"https://isa-afp.org/entries/Real_Impl.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40961$8E98D41E-166C-4977-99CD-67CD66C1726F","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40961$3EC6AE33-EBF2-4E6D-9E6B-79D318F86333","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b4ffb841e701bd787f00459b33b3ef10f1aecd2","datavalue":{"value":"We apply data refinement to implement the real numbers, where we support all numbers in the field extension Q[sqrt(b)], i.e., all numbers of the form p + q * sqrt(b) for rational numbers p and q and some fixed natural number b. To this end, we also developed algorithms to precisely compute roots of a rational number, and to perform a factorization of natural numbers which eliminates duplicate prime factors. Our results have been used to certify termination proofs which involve polynomial interpretations over the reals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40961$D9E95FFD-430A-4C2A-8108-EC6F33BAEF08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$BC5FE4E5-AA32-4693-A98C-CB4F69ECDC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fecb7ca921546abfc1f0a7794b5d3820f6b2470e","datavalue":{"value":{"entity-type":"item","numeric-id":3543658,"id":"Q3543658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$05A7CC43-ADBE-4295-A8DD-3AF8AEBBC1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$48A19DBF-C7E2-432F-926B-701781CE4F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a412739af99225a1d3c6ac281a152477de701dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4447246,"id":"Q4447246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$940958EE-78D4-4E53-84D9-6BFE63475241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$532711D3-E0AF-4A56-9156-21C3766FFED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0f7da457b43912f2a4228302a8c9be09aa54d2","datavalue":{"value":{"entity-type":"item","numeric-id":2723906,"id":"Q2723906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$05CC9483-74D8-4500-B007-B64265404C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f379c0c8372e5f5c3f6f1ec2ecbe2d16fde0f60","datavalue":{"value":{"entity-type":"item","numeric-id":2723431,"id":"Q2723431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$E9AAC96D-51CC-446D-B422-A7871CF2092A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad271a0268ee9bc34ec9210988cce3af5092ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":5327348,"id":"Q5327348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$CEA1D420-CD90-40B1-A1CE-5B4EE1E53FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$9790B93A-826C-455E-AA9B-186553A6153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$74647C17-B82D-47D4-8824-0D6B269848B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$83F2E4E5-86BE-47E6-A134-C0FD4D4D4DB5","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":"Q40961$8D0B1054-4742-47C2-B1B9-432F9A0F2F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab4d52028a47d3f9fcc1110a1f946977a5f6a1","datavalue":{"value":{"entity-type":"item","numeric-id":5313178,"id":"Q5313178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C2B0F634-D1C5-4AEE-8A34-16C5DB4F38C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$87E3917A-4A65-4802-860C-8FCB332991E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$83187E85-792C-4364-A184-2E7464E95CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ce2d6a06e1b5fad6f5127301a6dc996f08010","datavalue":{"value":{"entity-type":"item","numeric-id":4692463,"id":"Q4692463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$859B9FA3-3935-4AF6-8215-598857394678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$83AD5621-0D25-4A2D-B475-321CCB762461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$1045437A-42B7-4F00-A54F-3833639C91A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$37BA9BFA-9A6A-453A-AC68-D163F7443C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C5912115-F272-49D6-BC61-4FA9A80A5A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$903FFF19-BA77-4539-8235-1EAB25310107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$971058B7-9C2A-4AF8-9A59-217E6511BDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4fd22ffaa1235949574a5cc584ee845aca5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4447242,"id":"Q4447242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$6CD1DAE4-3AB8-453C-9892-60D093AE044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a695ada40035e6b9321eb27b6a6c4e86a51d912","datavalue":{"value":{"entity-type":"item","numeric-id":4718895,"id":"Q4718895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$3DBA57EB-C255-4271-A995-670EF3B9A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$D517AD7E-5039-433F-A94E-E1CE52C1076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$B90FB815-90CC-4715-9F35-8B3BEA5FC5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$976175AC-9813-45EC-8D60-B39E50EBC796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c36a48e1bbe926e801935edbcccd22f5ffd1e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$0107E54E-660D-4980-A1D7-65F3119FC6C1","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":"Q40961$6DEDB318-820D-40C7-B2D7-576267119028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$6FB060F8-1873-4540-902E-CD2E589B7F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$07E2F742-BCE2-4256-B796-49FBD32B102C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$49B07BF5-C474-4B99-9107-FD8F6D302CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a261f5f404eecbd3134a4375603d265bde82451","datavalue":{"value":{"entity-type":"item","numeric-id":3998014,"id":"Q3998014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$1E7E7444-4EA3-4E10-AB8B-426009F9A6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186687163bb07f1c38e6291043a6f793416c360e","datavalue":{"value":{"entity-type":"item","numeric-id":4247081,"id":"Q4247081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C2B93EB7-C82C-452F-8FA5-D1AFA70717E2","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":"Q40961$0B675DE4-5BFE-4BD1-8EED-57885AC2E08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$E39E65FC-5F8F-4319-B90B-DC6CDA1C6D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$779C94DB-CC77-4F1E-881F-6DF394FF71F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f166014263cbd84cbbd95272df8e1e95cd9655c","datavalue":{"value":{"entity-type":"item","numeric-id":5504590,"id":"Q5504590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C50CDD41-F703-47E4-849C-A4D49A289C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$9CEEC033-CC55-45A9-B971-0FC044A56099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$86CED0B7-8550-48B7-BD20-C259397B14CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$108D5CE4-D6E9-4849-8A77-4ACF00905236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d252965fdb089d391e66eacb4ca4ae5d273f896b","datavalue":{"value":{"entity-type":"item","numeric-id":2502172,"id":"Q2502172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$FB4CEC90-753E-4116-B36F-63A0A48BB287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4606d723115f901c13f42c908b94c490b7af2196","datavalue":{"value":{"entity-type":"item","numeric-id":2843601,"id":"Q2843601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$591AD022-6F0B-4934-85F5-96B2C8618F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f4e38b2e51caadd8eaba6ef6c9817a0f1de294","datavalue":{"value":{"entity-type":"item","numeric-id":5431332,"id":"Q5431332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$1AAF34F0-938A-4931-A561-A1DD58A89045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea090d60c7faf605e9735a41a99b4c1eebe07bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3401099,"id":"Q3401099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$8CB8B239-6772-4245-9113-0C1AE312282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$7EC8F0D6-D680-41C4-A5A5-6990FF77EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$9CBF460E-3A6F-474F-B7A8-787BF8FF74D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$314368AB-B044-4C4D-9285-F0056160B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3d7dfc55facbac01d8f787937a9b2b168b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5464701,"id":"Q5464701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$96A0717E-068A-4EB3-88FF-CEA6AFFE1EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$F8388E7E-D94D-4A7E-91D4-7A3B78317DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$95140217-AD38-45D0-B319-4444C8939C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4d7d45c88c8b36cde17d197d321328deeea4fe","datavalue":{"value":{"entity-type":"item","numeric-id":3591088,"id":"Q3591088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$0E9CC32A-31C2-4F4E-8FE4-C86B71CE91E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$6B652C85-A0D7-4378-9C68-116F09C1906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caafee1206098b8a2b3ec070eedc1cfb7516428","datavalue":{"value":{"entity-type":"item","numeric-id":3783520,"id":"Q3783520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C521279C-0CBD-47AC-871E-40AB80FC629D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$403770C6-70DE-4ED5-8515-A4660D424AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C4894483-50DA-4519-8686-782DA744AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C8F513C0-3310-4FA6-A61C-CCE44AEE1D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b126cf4c9ceb9bee9f9dab5197156804552dbb4","datavalue":{"value":{"entity-type":"item","numeric-id":3522030,"id":"Q3522030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$D744F3FA-5D4D-41AD-938B-E7BA0C142346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b26c575259babbdc2685e1d9f50e90d82b34e13","datavalue":{"value":{"entity-type":"item","numeric-id":2996192,"id":"Q2996192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$E7A898A0-D564-4D92-9EEB-0AA946F3705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e800f0849369308170f2f04a7c7baad175069b","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$35461ECC-5802-4C80-8F84-247387ED9C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca9bf972fc1f1b29b9f72e006ba83a4b06d462c","datavalue":{"value":{"entity-type":"item","numeric-id":3599101,"id":"Q3599101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$D4471AE6-25F3-47C0-9A63-15AFA1E91C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743c63efcea696042e252dc9c8ea8a0f079ca8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055814,"id":"Q5055814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$6650BA56-EBC2-4D66-AD7B-908CE7B7C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db943a7e4456eeccf0929a13443d57c6a7880521","datavalue":{"value":{"entity-type":"item","numeric-id":4846999,"id":"Q4846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$0F001575-EF00-4647-9BA6-48E9E157E56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$FB6E0B71-AFDD-41FF-A28E-78DBD69DBE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d24827888f10d2716d86cbc8c78372bd8821071","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$70809B9E-3BCD-43CE-9EB3-99E5D4FCA85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$C09C0728-814F-438E-B478-A62ED44B66E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7a16bc99edf7dd1ee8087cc081df8601fdf294","datavalue":{"value":{"entity-type":"item","numeric-id":5901561,"id":"Q5901561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$78C11D46-90A6-4AC0-A51E-5F1B430D4011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1049bfaaec537d06376da08751517933a39b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4447241,"id":"Q4447241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$864E83D5-D070-475B-8834-889DCEB86029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$8D66389A-8762-43E8-A78B-F7DDF0DE664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$4101C819-AE90-4026-A751-B5A5FC693774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7feb9c10dcb1c09a1ab4578b7c600a6c46ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$689BE984-94AF-46AB-8992-67600AEEBDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17bfb483d5172a78bdd7b00d1ae9a46a60c3539","datavalue":{"value":{"entity-type":"item","numeric-id":4847000,"id":"Q4847000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$549521CA-C8D4-499A-8274-1D8E9EE8B4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a947bedc58edf5f9287d147bd1e46707eb7f058","datavalue":{"value":{"entity-type":"item","numeric-id":922713,"id":"Q922713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$624A98D5-D9DF-445D-9C80-D3E47740668C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"edaae9fe0e5779978f85e3c7bb7897012bfd4b62","datavalue":{"value":{"entity-type":"item","numeric-id":7361610,"id":"Q7361610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$4E95BCC2-05CD-402E-A3BF-3CD7D0C27830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$4034E1E5-7EEA-42F4-8BDC-4E1495D6974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"1bd8a170e1a91182d9c95c33fb53b59631080f47","datavalue":{"value":{"entity-type":"item","numeric-id":7361185,"id":"Q7361185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$D64EE7C2-E1AA-4052-B292-8440031F9DB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40961$94AAFBF8-8B72-46E3-9948-AC8A71F6D5BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"290f3d49517b638b8b525194dbfc1e2de3d5e533","datavalue":{"value":{"text":"Implementing field extensions of the form Q[sqrt(b)]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40961$2CAD7FCE-BD41-4C9C-8E04-53C2FAA060A6","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$7050800A-E62B-4213-BE8D-62BD5F4B3169","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40961$AA43A0FB-0A1F-4522-B9C1-7B685DCED2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real Impl","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real_Impl"}}}}}