{"entities":{"Q2883115":{"pageid":2893840,"ns":120,"title":"Item:Q2883115","lastrevid":51464276,"modified":"2026-01-18T09:06:26Z","type":"item","id":"Q2883115","labels":{"en":{"language":"en","value":"Characteristic formulae for fixed-point semantics: a general framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033363"}},"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":"Q2883115$DABC3669-68C8-43B2-BC0F-14A5C4706084","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b71a877ce20b2ede4a0422f7851a289cc5b593","datavalue":{"value":{"text":"Characteristic formulae for fixed-point semantics: a general framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883115$13823544-AE08-4387-91E2-AA9E2F777D61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31d9bf7143b9c6ad1ae9abaf7a094ed6374d153e","datavalue":{"value":"1279.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$46CDDD50-7611-43BF-AC5E-6BB8A3B718B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c88ae013feb9f3ee123a4e78d9b29a735c35eebb","datavalue":{"value":"10.1017/S0960129511000375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$219ACEBA-CE10-4E24-8E12-5FE904D2A4F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$93CEEE7C-F07B-4300-AD7C-2E197FCECFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$7FB67939-DD84-47F8-AD6E-8DA3669182BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$BB1DC9AA-B686-4F09-BE56-D8056FCF690D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$E23BF4AC-7A7B-4D66-A0C2-93BD3A95D5B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883115$7637F6F9-3E6D-4A6F-B9F7-B367F44B7991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$8061356E-5565-4E15-9BC4-7177798D02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$B73A8B37-E47F-49FB-8AED-7ACBD25546E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825ba7a175871dd2d37a88aae79bc1e1f333393d","datavalue":{"value":"6033363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$159DBF38-07E4-4812-A35C-87D872423680","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":"Q2883115$CD9C31CB-8F9B-4433-92F0-55C8D9380A95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$B86F36E8-04D3-4253-BA80-1B1DEAE27C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a9eb08fc90c83f2b9f9e481072b744228123b0","datavalue":{"value":{"entity-type":"item","numeric-id":1267083,"id":"Q1267083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$09C884D5-CEB0-44A3-8F27-22D333377007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff017f5b33353d99911dd1c037f16889eae25ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2729632,"id":"Q2729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$F80AB538-0167-4289-B847-7D253F7BC4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b0c02100e2ebdb3e1d58e181328512561a5f6e","datavalue":{"value":{"entity-type":"item","numeric-id":2503044,"id":"Q2503044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$AA212718-3A78-4691-A43F-556FB0690208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$A2315D14-260D-4160-BA90-5913772FBC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$AF48E0A4-05A8-4595-8097-7FD385835829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$3BE03B19-A394-4A72-B035-DDC4378F6CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$55CB3FE2-95A2-4359-918F-DAA7E7A490C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$1DC43133-D425-475F-97DB-6875FC1FC763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$C22BA8E9-DC0C-477A-85F3-E3168A966418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$74A25947-CB6F-41D9-AA1E-8769F1CD6AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$6A852216-C003-4E59-9B62-9AF58AE2DA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$74198E2A-28B9-4AB2-ADCD-A9D9E12A97B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b40039a6ec43ffe2ea22122c1ca1161e40f380","datavalue":{"value":{"entity-type":"item","numeric-id":2888489,"id":"Q2888489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$7DBA6FF8-E989-4B3C-B500-BD04B7011EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$2F12DAD0-3ED4-4A16-A15F-82E59C776B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$0A023CF2-B55A-4C4F-BE1F-3804316B0E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380e2da8428b3cc3a4a654b05a929c04c5f81ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$2A64D271-D6BB-4784-A4A3-853C2D070EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$B4CC1C56-AF4E-493F-BFE9-2B8F2D525A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3255f9e862363da7e78183694412963378f10cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$927D7C54-8042-480F-9146-F359037E0ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$A012C276-26B6-48D1-AB89-2E5B342BA854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$B02E11B5-67C1-46E3-BFF1-04A823B6FCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$1F71788C-C51E-4011-A38E-F4D0931CD0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$89AD358E-0478-4BC4-BF04-66E2CCF0BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$EA30C2C4-2074-4FFD-89A0-423411E381DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$07BDA77F-03F3-4B58-A6C4-2160269BDAA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dcc6f4a7baff5b23cb9c0f3856c98550e7a65c7","datavalue":{"value":"https://doi.org/10.1017/s0960129511000375","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883115$2A9BD856-D99A-48A0-8C55-0FA0C22A3ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"372a6f19cd890b72bb6792d26746469b6fa618ac","datavalue":{"value":"W2113617913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883115$AC87D2A2-B764-4A29-8C4A-935CA83413B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883115$86A84A88-AE5E-4D77-94E5-8CC6040AA53D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2986515c2cf47222e4d1a919eb59be013d8e41be","datavalue":{"value":{"entity-type":"item","numeric-id":5146592,"id":"Q5146592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77c4a6fd6a39fc0a2af90074e652369890d3ff6","datavalue":{"value":{"amount":"+0.9869667291641236","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":"Q2883115$08F8C095-1ABC-4FD3-A0D5-07F4EC45CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34f8d4f505f48d0f1c55fcfbbb875af46de138f","datavalue":{"value":{"entity-type":"item","numeric-id":2891432,"id":"Q2891432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25729a1061247023c1b64f94aea2c07400088ae","datavalue":{"value":{"amount":"+0.8017333745956421","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":"Q2883115$04311CF2-555D-43EA-9E45-276C6A9E2A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2429e25a9a79504574b22f49bfb45dad0f3e5d8","datavalue":{"value":{"entity-type":"item","numeric-id":5854734,"id":"Q5854734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a735928724284acc9193a54f561b27b86bcaec","datavalue":{"value":{"amount":"+0.7976802587509155","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":"Q2883115$2C4FD420-5343-4D33-8892-10B8E4C03034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72766b26d6e4ce09467fce0db7eb52dc4387f38c","datavalue":{"value":{"entity-type":"item","numeric-id":2942777,"id":"Q2942777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb937f07d3bab018e1199a53b2bd58c83d7bc4ff","datavalue":{"value":{"amount":"+0.7959634065628052","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":"Q2883115$279D138F-2FC2-44F7-BFA1-2BFFC9DF2C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec46893a4b4c0b93f133ccc054aee10052ef6958","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ea0e2a16a65263e696c88b87966f2b81512698","datavalue":{"value":{"amount":"+0.7722005248069763","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":"Q2883115$6BFC1C43-1BFB-4145-9663-0A3F4750461B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883115"}}}}}