{"entities":{"Q672122":{"pageid":673971,"ns":120,"title":"Item:Q672122","lastrevid":63602430,"modified":"2026-04-11T14:16:39Z","type":"item","id":"Q672122","labels":{"en":{"language":"en","value":"Fixed-point operations on ccc's. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984807"}},"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":"Q672122$B9F270D3-4362-4BAE-BF7D-B068346D129F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9091766f767076954c176b60152045018e090e8d","datavalue":{"value":{"text":"Fixed-point operations on ccc's. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672122$66B0A786-1BAA-42BE-818F-265852D4BA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"128763a7d6e8ecab3f3cdc67ea790bc988af3a0f","datavalue":{"value":"0874.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$3EA59B8F-1E95-44C3-AEEE-9DFF28C1F1D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"504cda813a7234c499e1c7fabbdef13b82b1d8e1","datavalue":{"value":"10.1016/0304-3975(95)00010-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$DD8E13AB-84A9-4BD0-8D68-EBF86470837F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8a37106204b8df07e822047b49d4ca05495cf2","datavalue":{"value":{"entity-type":"item","numeric-id":671350,"id":"Q671350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$1014FD41-496F-4BCD-AABF-9C3C37ACFCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$2BAD34BD-25BA-47DD-A96B-BF09E5E905E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$77F3733F-1D0F-4507-82A1-8A2416EE72DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672122$829874E6-D57A-41CC-AF2A-E6F7E870F7CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$42104796-2E27-4DDF-9665-198BE3404A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$C31F093C-7903-43FD-B12D-FC02EDB24DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$13EF2ACF-EFA5-4607-9AEE-DCCD35E5B1CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c581b6038be8722a8684199a625b0f8d3265ee3","datavalue":{"value":"984807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$CEBF8D22-A755-4149-B6DB-F1B2155A8A48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d96d69276570af264ed995b8f201e68549827f","datavalue":{"value":"equational properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q672122$DAD23AC7-6470-4BDE-8176-CCCE443824F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"159cd3c54730c0cae759d1791faa8d9d102b0f0f","datavalue":{"value":"fixed-point operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q672122$6911A341-3649-491E-8551-304192C1DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q672122$A0780506-BBFF-4D3A-B8ED-DAAAF2F2A8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c4ef6cb2b2029f72e6e577e2d63ae1d31fde84","datavalue":{"value":"Conway identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q672122$2D750CF8-3C61-4A37-A5D4-674170E421D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb4426951b00c5655c63417c46a1276ba65a6ae","datavalue":{"value":"standard functional completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q672122$98658286-13B0-4629-9A74-FFF571DE331D","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":"Q672122$67684C42-51A8-4A46-B3CF-8989CCEABDBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f0ed663325860688f0a5a981129a5f1520bf14a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00010-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q672122$390A2827-5F61-45A1-97ED-2251796433A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"194e9453f5841bcb4764ff096a9a0bad1b267583","datavalue":{"value":"W2051175345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672122$5ECC7DDC-7DD2-4862-B676-F74295CCA053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$C73F7443-7AF4-4A10-91FC-23BEBB8FFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0587f95dc3598cec3bf6b609062464bb7985f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$DC0F4450-BBB5-445C-B2F8-07383C394A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$C7B4D136-1B5C-4E23-A783-BE20516243CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$7D3432AC-0C31-4E0A-B01B-5C61C089F161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$409A8CFE-5632-4896-BCD8-0FFC908A4FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764bd90beede562984ef82320d5442cfc57c9532","datavalue":{"value":{"entity-type":"item","numeric-id":4853332,"id":"Q4853332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$471A81D7-3A6B-477B-9F92-AA8DE63D97B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$2BEE7FDC-FF43-4577-9EA9-4C7E22CBF027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$46E087EE-4060-4E4D-8F21-F2EA90ED2DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$07F03B62-A0AC-46EE-B54E-ACDFD2909529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$D85EDAC3-9C44-4E2B-B434-DB9B880FEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$394AB16E-4542-4CBC-A983-75B6820EF1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$8EF77F5C-F7FF-4D59-9577-E85738D72396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5598cf522edbbba51e11baa5b22dbc2fb83702e","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$35C882DB-5AF3-40AC-8A30-8F0AB1A7BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c0c08c998a0a93f03ec352999bc5310d5a0101","datavalue":{"value":{"entity-type":"item","numeric-id":3920613,"id":"Q3920613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$1CE9A8EF-EE11-433E-AD19-2A54CF2D43FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48dcf1a37ca01ddb742ea1a2d08403ee0bf6486","datavalue":{"value":{"entity-type":"item","numeric-id":685386,"id":"Q685386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672122$E2331B23-B578-49D8-B08B-2D7CCBEBA3EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623a01005e8c152ea7b9ec25363b932fd3b9e989","datavalue":{"value":{"entity-type":"item","numeric-id":4853332,"id":"Q4853332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0aecae73f3abd4a8b83ab3030fab655b1ff24c8","datavalue":{"value":{"amount":"+0.844452977180481","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":"Q672122$3745D3E4-2533-4C8B-A649-96392086FE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8f9c826a1ba2b0d627ca217c631a240fdd27d8","datavalue":{"value":{"entity-type":"item","numeric-id":685386,"id":"Q685386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae29c699fc2fa64dca8b4b47aca8f8596e93e5f","datavalue":{"value":{"amount":"+0.8405749797821045","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":"Q672122$13C05D6A-5BC7-49E4-9C9A-42BD2D9C2781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03af741bf23e060bcfa1ce7936f346f5f46d2328","datavalue":{"value":{"entity-type":"item","numeric-id":753945,"id":"Q753945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a2cdeafe3c285f943d64ee088200d4325552ed","datavalue":{"value":{"amount":"+0.8064069151878357","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":"Q672122$37C02757-7F10-4089-9191-00BEE19F27D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1682f8cf06f7089f871883be9a6bc05cb5377e","datavalue":{"value":{"amount":"+0.8031330108642578","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":"Q672122$3C322B5C-C00D-467D-8CFB-4DCEA6394BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894804e746f1027d4032baf3c4365a466ce085da","datavalue":{"value":{"entity-type":"item","numeric-id":5377703,"id":"Q5377703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337c9601ff6f61af12014c8af638342f5ed46cca","datavalue":{"value":{"amount":"+0.791946291923523","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":"Q672122$2C688589-F0F4-4FEC-8338-89D5B75698A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed-point operations on ccc's. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed-point_operations_on_ccc%27s._I"}}}}}