{"entities":{"Q4982069":{"pageid":7011647,"ns":120,"title":"Item:Q4982069","lastrevid":52231310,"modified":"2026-01-21T05:20:05Z","type":"item","id":"Q4982069","labels":{"en":{"language":"en","value":"Axiomatics for data refinement in call by value programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418441"}},"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":"Q4982069$A2A9D64E-09DC-4B59-8A02-8A687BA0B5DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46ecc3c0b77637a4f0e9ce9086ee8cc255e70280","datavalue":{"value":{"text":"Axiomatics for Data Refinement in Call by Value Programming Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982069$F5E61F9D-654A-411D-8126-2822A8DBE5F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f09bf631de76ad7e8e8a1a64a3507467893e19","datavalue":{"value":"1336.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$59D6C9F7-D7C3-4FEC-AAAC-71126CD16E93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5589a4066d298dc1e61fcee6fb7a455e55218479","datavalue":{"value":{"entity-type":"item","numeric-id":853746,"id":"Q853746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$DF306333-32C3-462D-8F4B-A82C5FDDC29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$041499EE-1991-4FCD-A7F4-1B8994C50AD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$574D0358-D343-47B1-AEB3-7E7A12FD698E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982069$12D81CC4-4D97-4F5A-9F36-7A569520AC10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$021B6E0D-C94E-4FC0-B0D3-5647772155CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$4AB0174A-BF17-4E3B-AD78-47240C0D961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$7E49EF89-01AA-45D9-9AD5-76CFDA3E0A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$8C00BA30-4284-4BA8-AAE5-0587711BCEF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73c37e5e901105dddfd016796c49bc282b10dc4f","datavalue":{"value":"6418441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$6213D70D-B4E0-47D5-AC6D-70FF40AEFC8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e47d20892c6a3fab8da5a5a6066b1492c6ce327","datavalue":{"value":"computational lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982069$84F83BDE-F253-4849-B350-27BA0DF424ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1ca1cfd49d6f74c40ec9a34851735f36dd29a2","datavalue":{"value":"premonoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982069$12C52E7B-AB05-4796-BC3C-E6A9E1E30203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982069$C479360A-857C-4940-A550-96FFC7F8AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e7b87493fea0fb170cc350437591e1fb14fdff","datavalue":{"value":"Lax logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982069$47BCF251-4B3E-4E01-B5F2-8E708F1B3B2B","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":"Q4982069$A9F59878-FA99-445D-84C9-C8B6192A717A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a1022d80d7aa198e9ca124de0d6995d7c32098d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.081","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982069$DAD01561-D58A-4164-AEA2-0C324D75BE52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b1eaebeef9c641637016b51f3cc68165692bd2a","datavalue":{"value":"W1984439283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$F7939094-872B-4DC3-87CA-0C4625A5C2F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15dc0ab41827656200ec3a4b31f4dcd6666e92ae","datavalue":{"value":{"entity-type":"item","numeric-id":1391859,"id":"Q1391859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$05CC2BC6-7E89-4BFF-945D-8F778BBC47C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$BAE2A4BC-AE0E-422D-9284-C13586C1C27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$D72BC539-D935-4970-8A69-FD1BFC001AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd876dd55b983f5bd21351f6d2e1cdf072ef08f1","datavalue":{"value":{"entity-type":"item","numeric-id":4945250,"id":"Q4945250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$7396F79F-D84F-4CF7-9830-A9BF687A7DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4ba927f525be7fd212ca113d06c5035d23cd42","datavalue":{"value":{"entity-type":"item","numeric-id":4936143,"id":"Q4936143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$50CB9050-CA99-4F82-83AD-A8F6BEF943CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$63D29204-92EA-4FBF-8441-C2045BCAAE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$7E787190-E06C-4FA5-88AA-27B119949582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$95AB0AE5-2453-40AD-B55D-CCC1035C0432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$F2B561F9-F854-45B4-BFE8-66B9F5BBAC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1450bc7cd4d509650f7b3190828dcb8ef308fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4364388,"id":"Q4364388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$EB064A5A-3284-43F7-B4F7-A59E80919FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bf4bad6f8b89ad49154a44370071fbef55f85","datavalue":{"value":{"entity-type":"item","numeric-id":4945251,"id":"Q4945251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$2EBC19E8-EE74-474D-97C0-D3B3B9BA6FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba329e833655c2698a058c4e720cbc05ff997fb","datavalue":{"value":{"entity-type":"item","numeric-id":1567199,"id":"Q1567199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$2E3E5611-817B-45C6-AB1A-523BB71688C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf3ba57067ac72756a32cd05634d5e88f92a01e","datavalue":{"value":{"entity-type":"item","numeric-id":2722025,"id":"Q2722025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$07BEE620-662D-46DF-AD0F-3A1B035C29EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff9a50bd7a588db4b52f42842fe16c94f4fc620","datavalue":{"value":{"entity-type":"item","numeric-id":1818636,"id":"Q1818636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$2EC3CACD-6593-46C1-9955-EB3942BC6E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08427b30aac08e02f04f166ab00d76cfca546567","datavalue":{"value":{"entity-type":"item","numeric-id":6171748,"id":"Q6171748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$AC44B8A1-D3F3-4CEF-A3D8-661C8C95F77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$62A6AD41-87F7-443D-8172-08E0BCCB4389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$243921A4-5839-41A2-897E-7303D4885444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda2433ff62eb56ba811c7e4235b3f1c827547a8","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$BDEB4A83-F8C2-4B6C-81B5-90355914F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31daa00c9cb71167c35aa089b9b7cbf5ec684ae","datavalue":{"value":{"entity-type":"item","numeric-id":4218944,"id":"Q4218944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$337BAFA8-080F-4353-AB91-BE20A32D2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca7f74cbe385bea7babec5314f1a122985a828","datavalue":{"value":{"entity-type":"item","numeric-id":1605185,"id":"Q1605185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$DE88BC56-7942-4332-9F61-15169E41680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9de518124fc749576558d7271fdacb5d6904728","datavalue":{"value":{"entity-type":"item","numeric-id":860841,"id":"Q860841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$D91073E8-0843-41F0-BA90-F5F010C6ECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b804bf61899331ed3cb80319b9e1347ffd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$1114F571-AD87-4A3D-B328-867031B3F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f0d3c85baaddcd7621ef4c4972bd7d3c391017","datavalue":{"value":{"entity-type":"item","numeric-id":4261097,"id":"Q4261097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$27BCA137-4B12-4C50-81CE-FC01CA213EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b70d3584c9fadc54c53f3869aa7b37971aaf58","datavalue":{"value":{"entity-type":"item","numeric-id":4364395,"id":"Q4364395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$8F421073-81E0-429B-90FF-F81142D2BD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193d2ba990381a7c2594630593ddcf0ae9d362f","datavalue":{"value":{"entity-type":"item","numeric-id":4222903,"id":"Q4222903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982069$59F03EEE-F6C3-47B7-9407-7B3FB90917C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5bd47b8350dd3ccf6b6d5ec8020d1c3b49c0051","datavalue":{"value":"10.1016/J.ENTCS.2008.12.081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982069$30202FDB-7A9D-4157-BD72-701AE6CDCB8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7377b467ddcdb934ed475cca21da3b08c2c16e0","datavalue":{"value":{"entity-type":"item","numeric-id":4945251,"id":"Q4945251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064aa1e272f51a82403bcd8c5882a4c953a79bf4","datavalue":{"value":{"amount":"+0.9174082279205322","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":"Q4982069$27A22DF1-9010-4D80-A2E3-A5D5B99320AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04a6a9b10a8d62591516ab840f0eb5eee93977c","datavalue":{"value":{"entity-type":"item","numeric-id":1906039,"id":"Q1906039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bd964be2fab93d6d6a5be0a6a37b8e9eca1500","datavalue":{"value":{"amount":"+0.8004738688468933","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":"Q4982069$41AAE66E-716B-4DB9-8847-1F829CDD154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c54e73e8d9d101ad3a3ebd0bc99e602071d6bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4982051,"id":"Q4982051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f10e6b9d23c74028abc2c3a0a470f823f11c7b9","datavalue":{"value":{"amount":"+0.7992064952850342","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":"Q4982069$80E78D89-0486-4647-A5F9-864D8696F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495f9df67f8f42c28ee7756b457d577df9eb427f","datavalue":{"value":{"entity-type":"item","numeric-id":4364388,"id":"Q4364388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97b60e88a5b5fa1846b3f3d0d77494c8f306575","datavalue":{"value":{"amount":"+0.7759279608726501","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":"Q4982069$88B38734-DDDE-45C1-B6B1-34153D1E738B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7cd8263db5255ef2915625ef1026ebe3900f0f","datavalue":{"value":{"entity-type":"item","numeric-id":2769433,"id":"Q2769433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48718af6fdac1fabebd817dcae7c8d5bbc231239","datavalue":{"value":{"amount":"+0.756110429763794","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":"Q4982069$511FBF4B-0E7C-41D5-A00A-65C5B3846962","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982069"}}}}}