{"entities":{"Q5285983":{"pageid":7315557,"ns":120,"title":"Item:Q5285983","lastrevid":46344180,"modified":"2025-12-24T14:53:17Z","type":"item","id":"Q5285983","labels":{"en":{"language":"en","value":"Bounded Fixed-Point Iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223343"}},"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":"Q5285983$B3491DEB-B02B-4464-859A-C58DF8A64F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5747e28744bf2661b68ca5ff7afb8e0f6fcd006","datavalue":{"value":{"text":"Bounded Fixed-Point Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5285983$456759CF-B38E-4249-8B4B-C770DD0EE53D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26f4839deb0b1c9f68dd2a929994977677896e0b","datavalue":{"value":"0783.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285983$1F26FEB8-58BE-46BE-8193-1ADB31134493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285983$FB0B295E-95E3-4B85-99A2-564A43410042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285983$39CCE1F7-4695-4229-90A2-CCE69A0B44D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5285983$951B753C-A668-4F3D-BA5B-4D542719A9F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285983$E04D6A1E-8418-4BD0-8D7F-6B3ECA37D69B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95029da33d97aa43d2db78e9fd56e25aa25372c4","datavalue":{"value":"223343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285983$D927530D-88B2-4D00-8816-9271DF8AB4DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285983$4AC64A68-71D7-4F0B-89FD-E3E373DD187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285983$4CD6F844-8DF3-42CB-9AFD-F6A73BC65DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77b431fc86a92792dc6a21fc772bba2088fb678","datavalue":{"value":"bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5285983$B11F148C-031D-4E6A-B763-56D742C602E3","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":"Q5285983$FAAEE583-E219-4984-9440-CFD4D0AA8462","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a186903b58fa5ae2042ac3d79d4d8ac288060ab","datavalue":{"value":"https://doi.org/10.1093/logcom/2.4.441","type":"string"},"datatype":"url"},"type":"statement","id":"Q5285983$4A807A5F-49B8-490E-BFD0-40103DBD6DDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e5990f32ae998c7de5c3a8c80e4d60a0f8405b1","datavalue":{"value":"W2072350000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285983$92545B9F-B7D5-44F8-9053-4BEF4847F13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1830f411cecb97d4194d92dbdd4d423fcd56da5","datavalue":{"value":"10.1093/LOGCOM/2.4.441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5285983$EF0D8B15-3DD8-416F-8E60-367E83A24BB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5285983$6506671E-2EC6-414E-B87A-386EB3B7582E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6dc1d7e8c8f3ee1aa4259ffd2e2da284449c99","datavalue":{"value":{"entity-type":"item","numeric-id":3026317,"id":"Q3026317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d0409d989f3dcd6db0525202409384985261e2","datavalue":{"value":{"amount":"+0.7583346366882324","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":"Q5285983$34F32BC1-49C4-4C59-82C7-225D5866BA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea6823fc804b5444d36ae0a0ab8c4f2ecb9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":1330439,"id":"Q1330439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfb6e2dcd851c9d5027231af18009d05ff38848","datavalue":{"value":{"amount":"+0.7564996480941772","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":"Q5285983$479AAB2B-0E3A-404C-B293-590A8252766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5df45c143d99ab4df25b9a08bdcc2a884a994f","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2797966e5be1f1a3cfca88743d1e6140ea638dbd","datavalue":{"value":{"amount":"+0.7391003966331482","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":"Q5285983$A6AFE175-7588-4B9C-86FC-8DD9DBF718D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2cf8681fed729eda6ee4a6f9fd70e7b56de518","datavalue":{"value":{"entity-type":"item","numeric-id":435974,"id":"Q435974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88c198109240c861f985febb88a9409af2120d1","datavalue":{"value":{"amount":"+0.7304025292396545","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":"Q5285983$0F381467-345A-4D36-9F7B-3DBFE78FBB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9ea0ae31e3c2f59919e59cea74369fe0a6863e","datavalue":{"value":{"entity-type":"item","numeric-id":4939693,"id":"Q4939693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0f21ca023a3ea9d5c72206399d33912d74d4e1","datavalue":{"value":{"amount":"+0.719074010848999","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":"Q5285983$2A880F12-7EAF-40A0-AA0E-0BFCE2D14F74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5285983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5285983"}}}}}