{"entities":{"Q848744":{"pageid":850592,"ns":120,"title":"Item:Q848744","lastrevid":64805535,"modified":"2026-04-11T22:20:32Z","type":"item","id":"Q848744","labels":{"en":{"language":"en","value":"A minimalistic look at widening operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677843"}},"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":"Q848744$0D6C81BE-103D-4707-8972-D6956B830C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"429e897062182cdb3693e2c0e89da14bb8fa3a3a","datavalue":{"value":{"text":"A minimalistic look at widening operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848744$A263589B-ABF2-402A-ACB4-FB207948D859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02b02ea22d14cc31ece46fd0727f6ab733e15191","datavalue":{"value":"1183.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848744$057B9036-05E4-4CCE-B3BD-FCBE7EDECA77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$8D3D985B-0DDB-4A0F-8A4B-7349D0E57D60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$18DE9DFB-6602-4A52-B323-44268B4418E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848744$30C3CF9B-42D2-4B47-8114-95E8B6159F55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848744$DF4E3CBE-CEDF-4CE2-9DC2-B0505382F411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f92c3b167f8af444d219a46f44125f2af0c1bd4","datavalue":{"value":"5677843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848744$1D5F9B7D-720F-48A6-9D14-091DBB080283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$3C399FA7-5C8F-4843-BA9F-078BE686BB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$08FBF987-2686-433C-ADE2-4DF1A5119690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$9F4E6FCE-307C-4B23-B766-96F102EC93ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$7C8DB558-69C9-4704-AEDC-777A9D044E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c472186adf81302a70a4908403ced59163a955f","datavalue":{"value":"well-founded tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$0899E351-CC99-4121-8553-E24D7125AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b304c27f3fe114c5a933bdf0a604c53026d641a","datavalue":{"value":"higher order","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$606FCB87-B371-4FA9-B0F6-ECF2979125D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$E672704F-1AD5-4498-A972-FB29C446C097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q848744$D1B9AA9C-FECC-44B7-B351-D1541C93DCEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$1EDFABEF-1EE3-472E-AA03-465FE8A751D0","rank":"normal"},{"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":"Q848744$5AF9F134-1FA4-43D1-9D5B-4DA29CE1AD07","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":"Q848744$E93C86F3-2F59-4331-A2ED-7A915DDA84F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc5328f0a8cd9c0954c48afe141cab44e390ad45","datavalue":{"value":"https://doi.org/10.1007/s10990-009-9046-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q848744$EDA2710A-DA67-45D6-9725-BFF38FD9F177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6cf6c3238cb0d51794fff8964d31bb00b8be4b3","datavalue":{"value":"W2059573554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848744$DDF3D264-384A-49DF-8DFC-1712F756525F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece64e5402e1f4666a42559d521a17ab109c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$E630B070-B338-4E8A-8B25-09A171504C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$4DD727FE-25F4-4617-BCD2-7671D90D47BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$78EB5278-3F2D-4851-95C3-0EB31E6BCB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$F49EE93D-E281-4300-BCEC-35A3544EA7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$8FE9FF19-51CB-4359-B8F0-2749DB3E13C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$55F771B0-EE59-4C80-86DB-7A583C6B7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$C028A9C0-A7A3-4951-B3C2-C1D1075CB78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864d65898a766783da6ec0392493dd6440361349","datavalue":{"value":{"entity-type":"item","numeric-id":5898628,"id":"Q5898628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$F3078FF7-2682-4E4F-9D17-42C8445250AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3716658891945e7554b6fce509c3de5e2178f1","datavalue":{"value":{"entity-type":"item","numeric-id":3611997,"id":"Q3611997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$31CFE511-A419-4005-96EF-EC7874397466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$B6746A02-CA66-4101-A536-A9ADCAEC139E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848744$1B5B4D86-1098-4C20-B37E-BE0AD46DEAFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5ff5f4e282f9ff05eda1f858d9cc9d7eee256d2","datavalue":{"value":"10.1007/S10990-009-9046-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848744$6DE54581-0B4E-42BD-AE15-E99CE9FFC6A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed887b53ed329f46ca41b85d1c7fb0cc31c67ee","datavalue":{"value":{"entity-type":"item","numeric-id":2275526,"id":"Q2275526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd4f69af610b61974a22000b3d93ac309b9fb21","datavalue":{"value":{"amount":"+0.7967196106910706","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":"Q848744$1BDD3765-983C-41A7-8994-C187E4C3046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc7ff11ca30376c73b5033629ca27de7acaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5e9219af6de5c428e5e8422d255e5b1ed13d3c","datavalue":{"value":{"amount":"+0.7919265627861023","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":"Q848744$90BFB721-3A7E-48A5-9F15-7C0656ED02DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921500d9199ab280969115f550711f90d55a09ec","datavalue":{"value":{"entity-type":"item","numeric-id":5901909,"id":"Q5901909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523057cec71464ee99ec8cac60a912d7b249cff6","datavalue":{"value":{"amount":"+0.7746139764785767","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":"Q848744$70EA9C4C-ED7F-4EAF-8CF4-574644C9B3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4275ead0a026f400bb5b52fda6e1b928e0124300","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4123a97d16de68d07f64474fd0e7510b0b9567e","datavalue":{"value":{"amount":"+0.7664778828620911","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":"Q848744$9C5AB721-8561-4834-B17D-ABE8A1FF5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c988226a3506b03cd3d641201eee498ded58e51","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2834c57a9c16810c2b3e74a06ae13dbbb042d493","datavalue":{"value":{"amount":"+0.7655811905860901","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":"Q848744$E54CB81A-88EA-4017-B1A8-25780FA357B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A minimalistic look at widening operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_minimalistic_look_at_widening_operators"}}}}}