{"entities":{"Q3431543":{"pageid":3442246,"ns":120,"title":"Item:Q3431543","lastrevid":80460794,"modified":"2026-05-06T16:15:00Z","type":"item","id":"Q3431543","labels":{"en":{"language":"en","value":"Affine functions and series with co-inductive real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141859"}},"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":"Q3431543$199C5898-4FD8-4880-B3E3-F04EABE70AB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4082d160665a203ad447d05d9fd8867c2e85f180","datavalue":{"value":{"text":"Affine functions and series with co-inductive real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431543$AFCB74C1-AA92-4D27-96A2-D853B4390BDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c346abd0fb16fcce360499486b8f36225c0366cd","datavalue":{"value":"1120.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$E364799B-F204-4297-B988-D044EE787629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ae2cb4a6f17b72423c28b5f6c08f2c6378d6725","datavalue":{"value":"10.1017/S0960129506005809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$FA9CC0B6-ED54-4420-91C6-5F318992C576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$742A73BC-9E56-4EEF-85AE-661A359BB8DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$0BDFD7EC-39C9-49F4-A568-1DBC81C4FC1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7292d3fb6db56ab08a1fa83d1880ef48c7943d2","datavalue":{"value":{"time":"+2007-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431543$08372173-2D3F-42D7-9F56-2F495476313D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$93275019-864B-4AC7-8E75-CB7D83E068EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$E655ED9E-E677-43F1-A40D-D18EA2516E21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70810965d92b90e9eda0d5b26ad23f8862d1f7a7","datavalue":{"value":"5141859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$D3010C8F-F0A3-42DD-BECF-BCB47D257611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431543$2A8F6159-9DCE-4808-B54D-18DF1BADECB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e993a3ff283520e5ca62ce8bf830a648c8af4bd4","datavalue":{"value":"algorithms for exact computation on real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431543$3A4EC457-BD63-428C-9D71-8744596C5BCD","rank":"normal"}],"P1463":[{"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":"Q3431543$7384FD03-5FA1-44EB-8F85-ED2361FC7F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0fc5fe051378e5a736e0282825861e40f900b60","datavalue":{"value":{"entity-type":"item","numeric-id":14525,"id":"Q14525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$19453127-B9A3-4966-947C-B25B8E9CAD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$EA04F3E3-7301-465E-84D0-AB67EA9639CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0dbbe087f0255b4935e21ef5c165bf9c1c298337","datavalue":{"value":{"entity-type":"item","numeric-id":18028,"id":"Q18028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$8DB17535-13F4-411A-8D74-6F367071772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431543$BEBA6F5E-12AF-4F56-8968-0445A767BD96","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":"Q3431543$C6A8DAB0-51F6-45C0-9D70-0FD92D2CAF62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"927259507ea2b0cebd9cd4620c64db1d66e061f8","datavalue":{"value":"https://doi.org/10.1017/s0960129506005809","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431543$D0DF871A-4131-4143-B68E-7D3CE4C35BA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18e728af7a0eff90ce895271e560de293bd42629","datavalue":{"value":"W2154701013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431543$71A108C7-DC72-47D1-9041-BD5CDF3572D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15a471f7738a1b9392baf200b6dd58995712b84","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b95c59298583365e032564a9fb2c28369fbd890","datavalue":{"value":{"amount":"+0.8297818899154663","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":"Q3431543$55E8CE6F-845B-4B88-BA87-5B5347160D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6e5cc96d9405eb57e8a44f9c7cfa2ef7758e09","datavalue":{"value":{"amount":"+0.8238248825073242","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":"Q3431543$E9CAC821-5DD6-45EF-B518-2F250D4C3C90","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":"8fda153a3da4e2aa0250dae2a1d1e45e340089ea","datavalue":{"value":{"amount":"+0.8176372647285461","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":"Q3431543$5299B1FE-347A-4A0C-B640-42A4A81CB2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15228657d37a97a642337cdf95beff22b06dcd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93b43f8dc531c5533d37b4258374a7a1e3a43be","datavalue":{"value":{"amount":"+0.8171114325523376","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":"Q3431543$C5649946-423D-4C44-A296-B59B8C119C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c152fef7befdeb3badc90f883689d1baf8c4e02","datavalue":{"value":{"amount":"+0.8155631422996521","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":"Q3431543$6AF36051-CDD4-43A8-AC5E-A236F95ADE3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Affine functions and series with co-inductive real numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Affine_functions_and_series_with_co-inductive_real_numbers"}}}}}