{"entities":{"Q1398469":{"pageid":1409209,"ns":120,"title":"Item:Q1398469","lastrevid":71094816,"modified":"2026-04-13T19:26:39Z","type":"item","id":"Q1398469","labels":{"en":{"language":"en","value":"A domain-theoretic semantics of lax generic functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956194"}},"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":"Q1398469$3300058A-74EB-4D4E-8500-C6F783DF4457","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e21251f46fce4f5b33f8f5adf44c22824c939eb0","datavalue":{"value":{"text":"A domain-theoretic semantics of lax generic functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398469$8E102B53-4272-49AE-9546-550DAA452DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"533a3e5c1032e1045edcb93df88519e8b1a887a7","datavalue":{"value":"1051.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398469$FE36B5AC-7A8C-4E2D-9319-EBBE53FA72DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1951b7ed8dd39d6376e08790dc6836f260b9bd4","datavalue":{"value":"10.1016/S0304-3975(01)00246-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398469$C8EE0A93-8E7E-4E3A-BCCE-8A5FADC9D73D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23c9d3ffaa6f717d6ff9c43e4927c20484f70f40","datavalue":{"value":{"entity-type":"item","numeric-id":265833,"id":"Q265833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$08739764-4270-4641-9469-1810CF1396E9","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":"Q1398469$29C5E870-A22B-4CD8-B9DF-913E70CA8948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-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":"Q1398469$82CE70E8-C010-4387-9A40-5C5062F734CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398469$79421C10-C63C-47C5-8568-28CC33A2D9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a982b29b27614cf7aa079f1519a6f54429cf029","datavalue":{"value":"1956194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398469$084E3A02-676C-4D4E-9D27-388C9CE2D0B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b053584b49e24968fd75b4155610b485fe3e9bb","datavalue":{"value":"Overriding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398469$A9E78444-9EFC-4999-A39D-4110902C15CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45511c96de75d29748da2e04aa73c87a82e9ae45","datavalue":{"value":"Lax transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398469$83036292-460E-4D24-8836-52F43A00994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f01475c1792870fe6ba095e5280202f381c1c9","datavalue":{"value":"Fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398469$9F61B257-A106-4509-B837-DD8CE6B237B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3e9677d66ceefa453568c158b067cad6510230","datavalue":{"value":"Domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398469$23A493D9-CD75-433E-BF8B-CF68D15CFC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d69e85e23ab1ed0285bd64767898138d4efa64e","datavalue":{"value":"Object oriented","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398469$14D2DC2D-3A47-496A-8826-6F3DE437DD1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7065da34582d9f92b7f86f4002a6629cdf0b0436","datavalue":{"value":{"entity-type":"item","numeric-id":15866,"id":"Q15866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$267C518B-E4B0-4FEB-9565-5513D0B8FB87","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":"Q1398469$B669FEDD-956D-4408-AF51-A3AB3149027C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$45D585DC-B6E1-49B3-A1E8-E3C3A6BC40F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3375fe95d64eb1965b010106ac93d2982d639c","datavalue":{"value":{"entity-type":"item","numeric-id":751294,"id":"Q751294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$2DABA8A7-9287-4C40-A0AC-EB2E0DB86591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$38BE502B-24DC-4D0E-B238-8D2E7081CC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$01D58841-CA70-4762-854D-F89B9E42B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bcd4ae2579c74a21d7451a3e9068802bcce70c","datavalue":{"value":{"entity-type":"item","numeric-id":4286531,"id":"Q4286531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$33ED650D-B666-438B-9F2D-CA4826255135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$66FF4CAB-7F78-4252-AB65-A43587238882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21696c6ff1814194355f64378a4ee4b398c3f782","datavalue":{"value":{"entity-type":"item","numeric-id":5890041,"id":"Q5890041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$4442BDFB-1969-457B-B067-7EF9E3055783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$3A62BC05-B1F0-41E2-99BB-E93D444F9F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$1BBE366A-2B2A-4FAD-9E7C-F64860525650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e1bbc33be82f14c47bfa8bf9830d4b4e921ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4855337,"id":"Q4855337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$0D1D5487-19F0-40DC-8B7B-2D9E42195B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$854F1E63-C556-4BCB-B9A3-9DED6CEA139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$83975375-6A13-4CC2-930B-98B213273F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$8833EE8E-1D2A-4598-98CA-F5267D057C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15faa996fa2e9a7181cda9bacfc76506a79fa97","datavalue":{"value":{"entity-type":"item","numeric-id":4470496,"id":"Q4470496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$C96C75A2-D724-4DF6-9EE2-21B2A2249FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3c3e7771861343933bbbf572d55bce4ec6454d","datavalue":{"value":{"entity-type":"item","numeric-id":4236214,"id":"Q4236214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398469$FA4CCA9B-3B88-4A1A-81C0-B1455C2C14B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4da71a382e33324d06a617bd568d958b66eaab18","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00246-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398469$528ACD9C-B6BD-42FB-940B-7678106AAEBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1753c857daefeebc308a7f2f5ed12a9780f9c8f7","datavalue":{"value":"W2084754702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398469$62FB8946-4E2B-479D-9E0F-65D774B6B6A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e804fed55cf4e6cc4f542a35040d02cda6c332","datavalue":{"value":{"entity-type":"item","numeric-id":4499218,"id":"Q4499218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec4099b7531cea4bc01a3d9b2697eb55a36d0ae","datavalue":{"value":{"amount":"+0.921460211277008","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":"Q1398469$87706390-6B5D-47DE-9761-E4408CE62752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1485f2f4746a943777bb46556e15c05ff09bfed3","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98654abdbf52f80e2f5773a1e9551d8e45944c60","datavalue":{"value":{"amount":"+0.7498019933700562","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":"Q1398469$FA1E4109-23D1-43F4-A8FD-718D7846C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19de79109873f85472e3f5fb92fa3c63875416a0","datavalue":{"value":{"amount":"+0.7272029519081116","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":"Q1398469$F4893265-70F3-4C7D-9FCE-DDE94284EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c8139f459557bcc8cf884120fc485232e6a501","datavalue":{"value":{"amount":"+0.7235097289085388","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":"Q1398469$DA9921A3-DB42-4B2A-BDC1-65F82B4BAE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b8c4c33fb6c59c2c53277b6e54d37e14b84e14","datavalue":{"value":{"entity-type":"item","numeric-id":4236214,"id":"Q4236214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c8b1954f519d8dbbf8117d4e314b0508978b10","datavalue":{"value":{"amount":"+0.7208208441734314","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":"Q1398469$7F354C7B-099B-4E39-91F4-B8D42B65B39A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A domain-theoretic semantics of lax generic functions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_domain-theoretic_semantics_of_lax_generic_functions."}}}}}