{"entities":{"Q674263":{"pageid":676112,"ns":120,"title":"Item:Q674263","lastrevid":63622692,"modified":"2026-04-11T14:24:50Z","type":"item","id":"Q674263","labels":{"en":{"language":"en","value":"Fixed-point calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986025"}},"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":"Q674263$7DD1C2AC-B44E-42B3-AD2B-F433B5B88B3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cba9f2c64c573e06b7a9e73957667ec28f16896e","datavalue":{"value":{"text":"Fixed-point calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674263$C4103B7E-EA87-4250-98A8-1DD9CDCCC745","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e94a58368cae0e3ffa4b36da9753a6b4c47175e","datavalue":{"value":"0875.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674263$E4C33CBE-3461-41D7-87CF-5C1117ED55CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89075ea26ea0605e4fce22921ff486d4ff783a9e","datavalue":{"value":"10.1016/0020-0190(94)00195-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674263$26F8094D-A279-4CE5-A66D-C23803F39428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48225c4b4326c33f4021d57c0a6a100504878c7d","datavalue":{"value":{"entity-type":"item","numeric-id":674262,"id":"Q674262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674263$82DAF73B-4486-43AD-BCB2-AB4A3B788FAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674263$0B48200F-85BB-44B7-B66B-27CA0413D784","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674263$880BC171-68BA-4B8F-925E-93C78E38ED2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674263$EDA6D3B2-CD59-4DE2-BD76-E357CD985C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d2346b9503ef14b64f50728daba5e577490fa83","datavalue":{"value":"986025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674263$F611E76E-A9D5-4AF7-BC5B-0155471287BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"690bf2527396c5365464a2f5c7cf7ed252dbfad1","datavalue":{"value":"Program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674263$DB6E34DA-6E1D-420A-9195-4D51AF5FC499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e07779f9b09680aeb12b7a2635e20ce95301cf3","datavalue":{"value":"Programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q674263$2B2F0814-735D-4D26-A2C4-52AA08A3E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39807ce65c97d0e0263e18a3816f84213a6ec1e","datavalue":{"value":"Theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674263$A8981E24-9E3D-421B-B6B4-569C4CA60AA1","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":"Q674263$3E29681C-96B8-47F6-880E-346C448146FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c6f595d38b75741dc537368d9c9baacc5970df3","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00195-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q674263$805CC21C-48FA-4776-84F1-D128B28BF3C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51cdcd7b4abefcfd3284874036f44a1ae838770b","datavalue":{"value":"W1857353355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674263$34FD0E26-8638-4767-8010-828AE6D1ED80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2309709fe6b69b373ba1aa564e34a00d928be2","datavalue":{"value":{"entity-type":"item","numeric-id":4274972,"id":"Q4274972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674263$B42ED59B-453D-42DB-A14E-8A95529DD7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa203dde3f84a5d17d5a07d8dbf7491965626e5","datavalue":{"value":{"entity-type":"item","numeric-id":4060428,"id":"Q4060428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674263$495B2A54-3E76-4400-8E25-F5EDBCF2A88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da4c67953efef8136a5e23f9969b09c785b7e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee79149a9b01a2ef86ac15f6a07c75ce81364634","datavalue":{"value":{"amount":"+0.8527894020080566","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":"Q674263$654309D8-17BF-464F-B4CF-68AD0BB657CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010477dc5ef1af563ea9063be1aec1c99b8da15c","datavalue":{"value":{"entity-type":"item","numeric-id":4723706,"id":"Q4723706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203c5c9f289e005bd7148122c975ca4bb9b347e1","datavalue":{"value":{"amount":"+0.7502076625823975","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":"Q674263$92EDA594-1A12-41D8-8B69-437261770D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505ae68612721aef9e39b9aa7ce7d6c78e64c4bc","datavalue":{"value":{"amount":"+0.741740882396698","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":"Q674263$364EEE0C-251F-4C7D-84F2-D3E2F6D933EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a41645e3a1bedf1dd52387a6e59bd1a172bab6","datavalue":{"value":{"entity-type":"item","numeric-id":5072544,"id":"Q5072544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b099a75d3fa1ef9c229b251dd54e314e1d08963","datavalue":{"value":{"amount":"+0.7367181181907654","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":"Q674263$94D52ADA-259D-4204-8A30-2F74239168BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed-point calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed-point_calculus"}}}}}