{"entities":{"Q845935":{"pageid":847783,"ns":120,"title":"Item:Q845935","lastrevid":42725969,"modified":"2025-07-09T14:38:34Z","type":"item","id":"Q845935","labels":{"en":{"language":"en","value":"Ensuring the quasi-termination of needed narrowing computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664762"}},"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":"Q845935$5F2FAAC2-74BC-473C-9F81-050B0B81B286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd32bc496875d528477d5d210e465f5b33ef7a93","datavalue":{"value":{"text":"Ensuring the quasi-termination of needed narrowing computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845935$83BE49FC-30B9-4E27-AD25-225F2CF988EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33252cc17172fdaab0c4e4c8105968f00307e198","datavalue":{"value":"1184.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845935$4D1B694C-01B4-4B7D-912D-A02099CC01F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7b1b0e1d72b89e90d6a4a65bcbf7689919b325","datavalue":{"value":{"entity-type":"item","numeric-id":845934,"id":"Q845934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$3806C167-0E3D-46C3-9FE3-8D6517A176C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"884c78e9943241f0ff0b75178e68be61251a12f4","datavalue":{"value":{"entity-type":"item","numeric-id":418183,"id":"Q418183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$F6E9142E-9E34-47C0-A339-D0BAAB89583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$0DC3028E-0764-40CF-828C-0828EEFC926C","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":"Q845935$686738C6-DACD-4B39-BFA7-14EA505091AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-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":"Q845935$E17F21FC-06D5-47BE-8A7E-4A4E092CD362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845935$9F731ADB-C342-4D59-9895-C923CE34C9C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c4c79c0d14776cbcd44c80a22fe0b57d2a1df6c","datavalue":{"value":"5664762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845935$AA1EA6ED-12CA-42E3-8F5B-506074B89DD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845935$6F05FD54-5878-48A1-B8D9-523ABB2F6551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q845935$4B04D4E5-F1F7-450E-8BC2-862C52322354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q845935$7C5C41B5-A5F2-4BEF-A51D-FA85FB38676D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$B191B791-4F88-4FFE-ACB1-797F2731F976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$D17D16FB-AAB6-45D0-9D2A-598E0F4331C6","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":"Q845935$E85B8BA2-A32F-4A24-B332-8F725B29BB5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b9157c719b7f9ca771a5a27a4cbce459e5bfe20","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q845935$3F04EC32-456F-4009-A8CB-7837C4FBB396","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce074f62d34ec9f33e5d7b2e2614a4b6b0fe07ec","datavalue":{"value":"W2149745386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845935$6CF00936-8747-407D-95C4-EC3CD3F35079","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95485102ee6530ceab9827faad9827664e5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$0D0F7DBC-FA6A-4870-9362-A06EC3B44FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$AA840159-263B-4C7C-A7CB-DE5DFA6B78C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$425AE402-689F-40C9-BF88-8FF6FDFA6F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$64C80EA8-160B-4A60-BFDD-6BB2ECB997D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$FCFB762F-0633-45F0-978C-8C439A611FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$44D92E5B-E3A4-4132-9912-24EC26504B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fc3ac50cdc68701590cf5e25ba53d4476472d8","datavalue":{"value":{"entity-type":"item","numeric-id":2638759,"id":"Q2638759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$022398AD-6D47-4AB4-8731-40EFC9692BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577ee21ae5c56aa6765a309a06530364c8ca8a88","datavalue":{"value":{"entity-type":"item","numeric-id":4281598,"id":"Q4281598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$D0EB7639-5E04-48ED-9B93-0F1BD7B80130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41900839a0c3b2b417be2604da24b7f1f47cb5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3992229,"id":"Q3992229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$82867A42-1875-4830-95F9-87CB1E2D7D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b746e676d55af61c926e8a8c4725fb64ca981a","datavalue":{"value":{"entity-type":"item","numeric-id":4259949,"id":"Q4259949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$4120A3D1-79D8-4ED2-BB4B-0C98334FCA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845935$6110255E-9AE7-4F21-AE66-55F51F3AB63E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d41a0f64257e8818cb54e3df2778b53e125cf77","datavalue":{"value":"10.1016/J.IPL.2006.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845935$AA8B3445-7E1F-4AFF-9AB0-BF41C46D895C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654b4130d3ca48fa9f14a0aab05b24a2d789e887","datavalue":{"value":{"entity-type":"item","numeric-id":969619,"id":"Q969619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f65e368f80d5dd5f5f8a1cac99f001a8c9fd143","datavalue":{"value":{"amount":"+0.826809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$12BDC470-35DE-489D-AC1E-1EB464BA1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a328e448204986b81408e9e84660e691501984","datavalue":{"value":{"entity-type":"item","numeric-id":3557098,"id":"Q3557098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee66a2270420d7ac3e900a083a5fcedb3162f64","datavalue":{"value":{"amount":"+0.7972848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$9C8A0D2B-AF9E-4FFE-8A2D-27456CA0195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2f09c3ac6647b91d1fa8311d5deb4b29490036","datavalue":{"value":{"entity-type":"item","numeric-id":3355236,"id":"Q3355236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecb0fbb2eda4810f0a0e6333952ce5f8a392294","datavalue":{"value":{"amount":"+0.79648036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$EE812280-43E1-4877-A3BE-E95B53968A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a7d02aae67750db9ad6aef32904cb145869620","datavalue":{"value":{"entity-type":"item","numeric-id":3977129,"id":"Q3977129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c109e72d15531b3aa44c654c07bc3146bd8f5b0","datavalue":{"value":{"amount":"+0.7955239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$BA101098-A839-40C2-A20F-FCF8940AA8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98e4c710a0332b320cad52423408903835de9c1","datavalue":{"value":{"entity-type":"item","numeric-id":2457396,"id":"Q2457396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253e95648755a0a37a72018fa450d38d1d34398f","datavalue":{"value":{"amount":"+0.79364616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$6FFB39F6-D7A3-4EB0-80D4-4F13861CB57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cd70b73bbce82e8865028090460a9aee77c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1264462,"id":"Q1264462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0caae9a3500f3b0e2fb0461d902ea47d864f936","datavalue":{"value":{"amount":"+0.7912713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$2D65B9BF-39DF-44F7-A2D7-8AFE6061FF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1240c37404b9c490a32643455903d112518f36","datavalue":{"value":{"entity-type":"item","numeric-id":1300086,"id":"Q1300086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84fb2ffe07896029b6eca1fde88727c7c62c75c","datavalue":{"value":{"amount":"+0.7908904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$A4238FAD-2505-47F7-BA45-761EADD8489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6455cfd586776ee21d184fed6f0eb448e35772","datavalue":{"value":{"entity-type":"item","numeric-id":2841287,"id":"Q2841287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313437c02b656f6142f076d43abff95481b4a049","datavalue":{"value":{"amount":"+0.7900288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q845935$9F378081-F013-4963-84BA-05F9968AFB69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:845935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:845935"}}}}}