{"entities":{"Q5043582":{"pageid":7073159,"ns":120,"title":"Item:Q5043582","lastrevid":56739330,"modified":"2026-03-23T10:39:18Z","type":"item","id":"Q5043582","labels":{"en":{"language":"en","value":"Limits of real numbers in the binary signed digit representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596572"}},"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":"Q5043582$BD301870-916E-4FA9-A4E8-EBB78582F8C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"626464fb3ac8ba344775879ee0cd938c95d02865","datavalue":{"value":{"text":"Limits of real numbers in the binary signed digit representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043582$F58FD6FC-0250-4210-9B9C-1294B54C814B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757580f4af603b194f494f14abfd0db26bebb99","datavalue":{"value":{"entity-type":"item","numeric-id":2117811,"id":"Q2117811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$DDBD410C-1CEF-4A7A-A6D2-0E64914C131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"877f4bfe601bd202ef038c3058d8bdb628eefc9a","datavalue":{"value":{"entity-type":"item","numeric-id":5043581,"id":"Q5043581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$D2B4D1A5-3061-405C-8013-0F5FC2B2B488","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$E0FCD299-3F9A-4652-9C1D-015979620AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-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":"Q5043582$58AAFD7F-AC4E-4645-8F5D-C319AA4647F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aa7ac790c63bc55d320b826df45d3f5d8ed92b9","datavalue":{"value":"https://arxiv.org/abs/2103.15702","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043582$C2E0CF4A-73D7-4EBA-8123-4009913F76DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043582$7189C3A0-1FEF-446E-97E4-AFD080EAD66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043582$A172FABC-D2B8-4EC5-8392-0FE96651E3AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b7f49f2c69da48f39902055e673c341da00a16d","datavalue":{"value":"7596572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043582$16916547-2D4F-47EB-85CD-9339B1C62D8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b22b0e1cb438e4c3769738e2d394f5479a22a9","datavalue":{"value":"signed digit code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$2BFB3AA5-119F-4134-A084-DF05DDF1C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$A4E664E4-DED7-4C1F-89C8-9A01CCBA011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$191A2546-6341-427C-826C-DBB3C9BE7D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$DE32F1C6-1D6D-4166-A50D-425438358321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$27BEEB22-EA7C-441E-A370-78DA1C4CB7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$0C62FBC0-006F-4E9F-9B96-5FFC6CC87DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b7f01fa066541cf231442e5716591d6f993081","datavalue":{"value":"Minlog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$90FC6119-05CB-4C56-AC50-C75C8A38F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043582$DC0B7F36-208E-4403-8D3F-483160F6ADE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$F07F7369-3E8C-4077-B100-86F64C37BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$6582CC95-FF45-47F5-BB2B-F813453F6EC8","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":"Q5043582$41573CD6-3088-4CFC-8FA6-D84BFC9B0E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7d63d51d108c60f4339e0c41d77bf7485c9f1c1","datavalue":{"value":"W3140889884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043582$377BECAF-9C40-44BE-9DF7-CD0986C515C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b6a23082bddb50572b09dfeacb47466c62033","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$59167D82-6664-4102-BC49-E78593B89007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918f2ab1b9ec59829674d3c94f9d64972bb8ff93","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$B8213AA3-3EF6-4520-A280-A5E917F61AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cda2ddc5fe36d417e1b545916d52f21f86d4be","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$E3627DEC-CD7C-415C-BFE0-1CDC7E4BF0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$2E0AF534-71C3-4D0D-8359-1109F843105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edca5f1b7cbe413037278593fddcc0fdab39989","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$8ECE15C7-0479-41A6-A835-8FB87A3E6E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5535cf4be6e9985903d73b8af103848456d31d","datavalue":{"value":{"entity-type":"item","numeric-id":5435637,"id":"Q5435637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$C65E83D3-D7C6-4D8E-B112-450DAB88C4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$9B3D5B26-8AA9-4CC0-A464-2912018C4767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b0f593cdecd0980a7a33bf6b1e8732a41b3115","datavalue":{"value":{"entity-type":"item","numeric-id":4989402,"id":"Q4989402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$24B286F6-F048-4FEA-8D81-83F056BA7246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db64b754d504221efa44df0c8834fcebd5b479b","datavalue":{"value":{"entity-type":"item","numeric-id":1158755,"id":"Q1158755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$460F7F6E-2797-44B7-9075-D128D03AE701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5589fb10e902c65c6eaf4b3e8e18757a4f574684","datavalue":{"value":"10.46298/LMCS-18(3:24)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043582$9CCCE60B-E7D0-44F4-9808-D743E93F3FFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bec7a8ad1d9f744be1bb8422fec8fe2ef4da29","datavalue":{"value":{"entity-type":"item","numeric-id":6111737,"id":"Q6111737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb16eca7a3087f578ddac9901abec1ec98ec8fd1","datavalue":{"value":{"amount":"+0.8474112153053284","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":"Q5043582$883EF7B9-3A48-449D-AFE0-156223EDCFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c86f815e2410f00afdf6f0a6fb41603ce5f36ac","datavalue":{"value":{"entity-type":"item","numeric-id":4989402,"id":"Q4989402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b8b8404b0233eacf21f9a82e338638382054fb","datavalue":{"value":{"amount":"+0.8288204073905945","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":"Q5043582$EA85FA33-DECE-4C5B-9B97-DC387BE1B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b8f8d931995eaca57c31014e4409fcbac4255c","datavalue":{"value":{"entity-type":"item","numeric-id":5898820,"id":"Q5898820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3e5cc706f009c4652074b98c086ba8a8b72025","datavalue":{"value":{"amount":"+0.8134138584136963","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":"Q5043582$B19FEA25-A670-42A4-9DAC-0404C7C04DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9780d09835b1475f637f10968dadadc4e8ad1a","datavalue":{"value":{"amount":"+0.8088364601135254","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":"Q5043582$2D0D89D1-C1A8-45A4-B0F9-BBD34222778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d783301e7785fc884427ca9f941e00f0b525f18","datavalue":{"value":{"amount":"+0.805182933807373","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":"Q5043582$C011ABF2-E10E-4D9F-8D9A-C85E05272AC9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043582$CFF82D42-5EB5-48CE-B614-59B5A3CCE372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5043582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5043582"}}}}}