{"entities":{"Q5140265":{"pageid":7169836,"ns":120,"title":"Item:Q5140265","lastrevid":53889968,"modified":"2026-01-25T21:35:19Z","type":"item","id":"Q5140265","labels":{"en":{"language":"en","value":"Convexity and order in probabilistic call-by-name FPC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285577"}},"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":"Q5140265$4E13995B-FA57-4099-820A-145FC06E0000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56bc8899c76a806cfc36f25fe746d940df884643","datavalue":{"value":{"entity-type":"item","numeric-id":283771,"id":"Q283771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$7C9827B2-A2B4-4404-84A6-D9D9E072ED09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140265$71079B61-244C-436C-8B3E-A6B5320A0764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79f1d2dae26923aaea5610a6bc78d28e10c85598","datavalue":{"value":"https://arxiv.org/abs/1607.04332","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140265$F6D47E88-F90D-404B-8E61-086D8F2889E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"976f5ebc5b2db3670cecabbc2a5f8c00e41bf1de","datavalue":{"value":"https://lmcs.episciences.org/6901","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140265$7FFE4507-7FDE-4CB5-9FA8-7DAEED3938FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140265$535435DC-6A0D-4391-8112-D3287B6FB9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140265$5614C375-7BA9-4680-9495-9788F48119E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932adcc2602e782939aae0054a536900a993360d","datavalue":{"value":"7285577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140265$F6688A86-6335-48D0-8016-22F44E87067C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf2c8a2779a6fd4eed47029490a3d61f5860622","datavalue":{"value":"convex set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140265$774420FD-FDCF-4C00-89C6-E8EE0BFC5852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f84fba2bb605083c1857caded787e37428c6da6","datavalue":{"value":"Kegelspitze","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140265$D0491C98-9BEB-4989-A464-438A748981F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140265$44E3BEA2-F283-4D01-8063-EABA6D0E3BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7206397d52ca3223d954e202c66a720ae2ee858d","datavalue":{"value":"recursive type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140265$6CCF48E1-527F-4EF0-9D49-6838BD9F004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214080879eb7024d2e09b1045af7950440b4363c","datavalue":{"value":"probabilistic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140265$591A623A-E662-41BB-BF6E-CBAAD8F4B88F","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":"Q5140265$54D56492-8584-4517-A67D-AD554906FFD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"599668b82a5544d5e356001c5be944519585779a","datavalue":{"value":{"entity-type":"item","numeric-id":1892884,"id":"Q1892884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$8EFD41B8-0897-4030-BF14-BED3E5478E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$6DE1AD9C-5C1B-42CE-843C-F5D8C89CDB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$71763972-FA03-470A-B662-E5E0EBC6ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03aac51e422b4d9dfa821bb6e2389f979c16068","datavalue":{"value":{"entity-type":"item","numeric-id":5739447,"id":"Q5739447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$D7EF97DB-068A-4513-BE39-2396506DEE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$D0B8ADB0-6D36-4204-83F5-7941B306F1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18575257a2c0f53473e2c8e64ee6959b10c070fd","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$B48266F6-6C7F-4B70-9369-91B9947ADB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80fcdcb1d8ca6c690b4c886cf334588a552bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$556AB013-B2A9-46BF-9B4C-335D6F862D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980d6edb2ec6a3f66086ec160babe4fe574f3059","datavalue":{"value":{"entity-type":"item","numeric-id":4611384,"id":"Q4611384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$0F625B6B-7C0B-4DFD-BFB9-9E0DBED57DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$9F04CD39-08C3-4DAF-8310-572B1BBC9101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fee693ed63de795908d9ea9b39d5124d8fc52c","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$E66838AA-56B8-4251-B624-5726CB64E14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b0c4f231eafd91c4a1ea3a0ef032ca601b072b","datavalue":{"value":{"entity-type":"item","numeric-id":2848945,"id":"Q2848945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$38BCE39D-086F-4488-8029-66696371DEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc9867511b5f255398d72fa9a0202f4558fdec9","datavalue":{"value":{"entity-type":"item","numeric-id":478400,"id":"Q478400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$CA1C0BBD-AE05-431B-B8AD-D8BB2758C4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$B123B13F-2C19-4EC6-A2CA-3F62FF1561AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a648a8dbf45933ef10375980ed077e8c6b7c3905","datavalue":{"value":{"entity-type":"item","numeric-id":549198,"id":"Q549198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$737D37C3-7A39-4B75-ABBE-B5093F68E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$135FE54C-AFBB-47F7-A9B9-12BF379B1E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ce92cc25ed43470f6c4fcdac53ed9bfb956f7c","datavalue":{"value":{"entity-type":"item","numeric-id":2948553,"id":"Q2948553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$4219A828-3048-4103-9F06-57B1070432D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$E426D164-310F-45BC-ACA7-75977443BCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a687a410410024642a96f9db20b85de5897e8f26","datavalue":{"value":{"entity-type":"item","numeric-id":3997287,"id":"Q3997287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$1AC5E483-38EE-4462-BAA1-113DDA54DF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabd95059fb207199eba42dc770ae0ce2a2d6fde","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$B24BC885-990E-4EA3-8D7F-0ABFF390203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$C0976D84-BAF8-4DF4-84EA-101ED3794D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1d8d1db407a3c808a8dfe6a8cdffd64d3b3560","datavalue":{"value":{"entity-type":"item","numeric-id":4231031,"id":"Q4231031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$988DD167-F58F-429D-9885-9BA55DA9DB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$B2F31544-63AE-4A5A-B533-2CA9B73E04F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9888c3757ab243ad1f0c597eea02a6445700651","datavalue":{"value":{"entity-type":"item","numeric-id":5109520,"id":"Q5109520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$D3880E95-0805-4953-A5A4-FEE426D4DEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72be330274018d3fd272023b04c965f7a82c6f14","datavalue":{"value":{"entity-type":"item","numeric-id":2520702,"id":"Q2520702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140265$7F899123-D85A-4C22-AC51-6671AECEB9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e711760fa5ae8e40607f9d94365556c1e40bf1e","datavalue":{"value":{"entity-type":"item","numeric-id":4611384,"id":"Q4611384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82480e0fbbc947d2778136e8e0d4de256c46ecd2","datavalue":{"value":{"amount":"+0.7284231781959534","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":"Q5140265$25D02435-F4E7-403B-8971-2EF296ADF25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35582380f1cd2abc947e85fe4eb9cb72b9353816","datavalue":{"value":{"entity-type":"item","numeric-id":581432,"id":"Q581432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf2fd0dbec29136cb90c42953b191038d7d6e4e","datavalue":{"value":{"amount":"+0.7234569191932678","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":"Q5140265$1B9519F0-4B99-4F60-A018-1AF67509FA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bc1eb9b938b5072f19d8527b2b2976ca558067","datavalue":{"value":{"entity-type":"item","numeric-id":2980964,"id":"Q2980964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ab11919320db97a82459072943ef76c3055d85","datavalue":{"value":{"amount":"+0.709585428237915","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":"Q5140265$B4D4049D-F824-456E-A76E-9D33911447D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c644a985d5c6fff0a3654444664efcf12d8065b1","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1350482f6b6b36081bfffeb62a313d3a71206b7f","datavalue":{"value":{"amount":"+0.708470344543457","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":"Q5140265$B207B956-6C0F-46EB-B6BF-92506391530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b97c4bf4868abb29efa5e36c74ad7bb1c680be","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177c3a63da04671d6674219c37dfcbef954942f4","datavalue":{"value":{"amount":"+0.6989123821258545","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":"Q5140265$FA09BA6A-ABD8-4EC3-9F82-D05580593636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5140265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5140265"}}}}}