{"entities":{"Q6856043":{"pageid":20632897,"ns":120,"title":"Item:Q6856043","lastrevid":84259910,"modified":"2026-05-14T07:57:55Z","type":"item","id":"Q6856043","labels":{"en":{"language":"en","value":"Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8161592"}},"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":"Q6856043$077A6945-E46E-4F85-B140-463B82B018F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e7ce0baf5bb84e5f19d6bcebe5510094e279858","datavalue":{"value":{"text":"Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6856043$4FAE1F45-2B3E-4E57-A5F8-A03949C088F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"121a7fce24a40f72b67f07e418c9569fb006598b","datavalue":{"value":"10.4230/LIPICS.CSL.2024.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856043$C79586B5-C0D3-4BDE-97E5-DD82670799A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1369a315c85b35e44be8ebe258f600e470de9ef8","datavalue":{"value":{"entity-type":"item","numeric-id":6460906,"id":"Q6460906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$253F2526-1172-4EE4-B1BB-5C47140E9CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"833b94707d11d9754b30179a565d9345a149561c","datavalue":{"value":{"entity-type":"item","numeric-id":2117747,"id":"Q2117747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$8EE59FC5-E8EF-4718-870F-BCCBDC3036B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0acc3e310b002e7d9eb6bd1bd0a699ed13f8904","datavalue":{"value":{"time":"+2026-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6856043$2242ABF4-8174-41FB-A2F9-FC909B3D6A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856043$6EA7801F-6DFB-45C9-84F5-53EA869182F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856043$36F1D41A-F4C7-4C7D-8C0F-990D99B7B300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"878fa8ae96bf17713b48b64fffaf9486e282cc81","datavalue":{"value":"8161592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6856043$4D895C1D-23BE-4F42-BE1D-6A4467880E2A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$7BB7D618-D857-4927-82EF-196600E9DFFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856043$5DC1FF85-7EA0-4AF2-AADE-A7F4675BFDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856043$6AE3C2CC-4546-4721-9DD8-26394557DA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32762c2d80b89bbd18c1b1c0926dcce3a0be7133","datavalue":{"value":"tropical semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856043$079EBC13-BE77-407A-941B-099A76FFB550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1c255b93c378673a63d4f698a269d081157def","datavalue":{"value":"program metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856043$5F8F0541-D967-43E5-9E3D-EE66EA41E6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a6eb0cb7361a2dc574b32b4efb78c0ae7f2f15","datavalue":{"value":"lawvere quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q6856043$AF959309-2BBB-464A-893B-7ED7DE1A9ECA","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":"Q6856043$5752970C-3F69-482F-871E-EB243840AC50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$4859A69A-0F10-42DB-BA8B-E1520701AADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac901c708c183aa8e58846d883d9b07974caf86","datavalue":{"value":{"entity-type":"item","numeric-id":2882394,"id":"Q2882394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$C084CF2C-4972-490E-8B7B-FDE15D6A267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c035be6ebc888b6abb1e7c81adbf728eb63ceba0","datavalue":{"value":{"entity-type":"item","numeric-id":716439,"id":"Q716439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$64CB5C1B-3353-4406-959A-F820496CD7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f394a01dbac2b48ad2e4f9f544cf7d995df8fa01","datavalue":{"value":{"entity-type":"item","numeric-id":2200813,"id":"Q2200813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$E80C1884-F25C-4113-8348-9242605130AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c5707886a3eca23aea478a8a1c5a4df211fb78","datavalue":{"value":{"entity-type":"item","numeric-id":2289062,"id":"Q2289062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$399D26B3-2C6C-4627-A12C-08C51D97D376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b669d99f34e65c2bfc2f278974361852e47e27","datavalue":{"value":{"entity-type":"item","numeric-id":5370888,"id":"Q5370888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$12A5E566-BB8B-4859-843A-538BFF121340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b64b18fe530e8f3161e2edb300e7864c9a49c58","datavalue":{"value":{"entity-type":"item","numeric-id":6654506,"id":"Q6654506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$9E8C7D5C-729A-42DB-A728-F7A14ACD9152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$8CFCC6B5-C8AC-4432-8EC6-C41741DE1AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab64a8c9ac458e857c328e4205432fa6bbd6f59d","datavalue":{"value":{"entity-type":"item","numeric-id":2942860,"id":"Q2942860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$3E213CE3-865E-4744-B9FC-17203C4F83B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38447e5d9274ccef2f40cefecc5e03028fa5d203","datavalue":{"value":{"entity-type":"item","numeric-id":5521153,"id":"Q5521153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$1DBB5251-4469-441B-9312-6A9D42088321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e7e25499f042d4a04e8b2999b4c341c55d9a73","datavalue":{"value":{"entity-type":"item","numeric-id":4904081,"id":"Q4904081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$86D0C7D0-7A71-4047-8329-64FDC3E5EF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db18f5072dbd6924c4a465d7588d8379c8a93915","datavalue":{"value":{"entity-type":"item","numeric-id":2307523,"id":"Q2307523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$C54002E4-2DDB-40B9-8048-7C625B97895B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$4D24D192-9324-41A8-A28F-985558C4634E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee35326208938388d3b1f535614e5567866e336","datavalue":{"value":{"entity-type":"item","numeric-id":3178254,"id":"Q3178254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$7FE191F2-04BA-4076-8C43-F88EEE453A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb09e61e50f9ec1f2ea1272ec63f9d2d33062019","datavalue":{"value":{"entity-type":"item","numeric-id":2508932,"id":"Q2508932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$6D6727E6-4B5F-422A-A8CA-5EEEDA97310D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68137658b7a6e04206f6f14b41f78c75b1f5d32b","datavalue":{"value":{"entity-type":"item","numeric-id":513312,"id":"Q513312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$61717F9A-41FE-44F2-AF55-13D8697B6D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d55796b13861afb189aafda70c905b0c0418af","datavalue":{"value":{"entity-type":"item","numeric-id":5145300,"id":"Q5145300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$A18B2ED7-AC8A-4E63-ADC7-D1AB780164F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c701952d118ef3996b1cfb1761a06e47baa2bfb5","datavalue":{"value":{"entity-type":"item","numeric-id":5091273,"id":"Q5091273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$1CF6C9DC-1219-4AB5-8E12-AD417542EE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6d6ffeba9664a115afdccbe01fb0dfea5aba9b","datavalue":{"value":{"entity-type":"item","numeric-id":6397728,"id":"Q6397728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$2088A46A-A144-47E2-9254-EBE4FEB5CEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5a3ad8b2508272240077bd03f9ecc1d77febe3","datavalue":{"value":{"entity-type":"item","numeric-id":276265,"id":"Q276265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$BD14E41F-FFDD-4ED7-8D6A-FCEBA20B7E20","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":"Q6856043$75D768EC-1CCF-42AB-B712-902477B481AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$88513789-CC39-4C5F-BA88-0424BD873187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$D5321628-A00F-45D1-A1C2-B98D6CF66B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340939432c5a5d06e884c51fa8fa92ea5f231196","datavalue":{"value":{"entity-type":"item","numeric-id":4577980,"id":"Q4577980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$60218A9F-5A5C-4E52-817B-9636B5EEC2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57be3236fd3630a7ff89fc966a751eb5ef1160ca","datavalue":{"value":{"entity-type":"item","numeric-id":5145648,"id":"Q5145648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$53AFEB1E-408A-4939-B514-63591DEE44E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d560aa72601d00574cd14423ba8bfe774f99013f","datavalue":{"value":{"entity-type":"item","numeric-id":5101335,"id":"Q5101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$83EC2E49-5A55-4666-880C-D9FB42CE167D","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":"Q6856043$8115C707-279C-4310-920A-5AFA45FC3D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$CD30A044-8227-4D74-8779-0723F5D89495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0ef026fdb50210a464dd504204943def4364b9","datavalue":{"value":{"entity-type":"item","numeric-id":2931812,"id":"Q2931812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$E893BE76-EA58-463C-B9D2-2DE70FE42BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db03327591a4260776f13ba391a4203658c4929","datavalue":{"value":{"entity-type":"item","numeric-id":6159925,"id":"Q6159925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$855D32C6-3D70-40E6-BAE5-9D488D2E0CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484a042842a30321233ea31fce6294dab1f0e004","datavalue":{"value":{"entity-type":"item","numeric-id":1678172,"id":"Q1678172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$2A36517E-8DFF-4390-AD54-E6BD4119E55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123ff6d56abc5495162a68dc0dfc976ffacd7a33","datavalue":{"value":{"entity-type":"item","numeric-id":6839813,"id":"Q6839813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$382D85C1-889C-4088-9281-A9F4D42C7203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$E3F24786-5A7A-4674-8912-4C41A90F7F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4a9fab3bd7ece13bd33c98c73ac0aaa610d673","datavalue":{"value":{"entity-type":"item","numeric-id":4035310,"id":"Q4035310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$093B956E-8AA4-4E4A-B826-644E3774C50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38203c09b23a6fa54cd690721808bafae930da7b","datavalue":{"value":{"entity-type":"item","numeric-id":335863,"id":"Q335863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$47048513-49A3-4AEC-B2BC-9E10B4777D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c45e451fd0f7a92a5994a15590d3cd4011eba","datavalue":{"value":{"entity-type":"item","numeric-id":5144684,"id":"Q5144684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$BCED1B1C-A54E-401A-944F-0AF972746566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b751a3979c79fe1f89302da5be97058d231ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$4650677F-EA0A-4A82-A7BD-BE7CE9BF7BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fff9621d0ecd90ea4daf05e5380380dc0f944cd","datavalue":{"value":{"entity-type":"item","numeric-id":4004652,"id":"Q4004652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$3F5A6049-ADD8-4578-90B2-D434341A5481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1bb18d3b822c9e12aa8c5ea6a6b880b7e378bb","datavalue":{"value":{"entity-type":"item","numeric-id":1652971,"id":"Q1652971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$A6585CBB-BC4E-48BC-8FA0-C7FA7942A4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$279E5C91-04ED-4635-9674-7DCE1A265E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$EBCE1E46-E8EF-4BC0-9E3E-D18013639402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8ef13b54b4f52f88007ba0da2bff7fd003642","datavalue":{"value":{"entity-type":"item","numeric-id":5139291,"id":"Q5139291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$7917A788-F43B-4044-AF52-2A61FD856342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c15ec649a3e39e172a312ad28f3dede7905f4c","datavalue":{"value":{"entity-type":"item","numeric-id":6083353,"id":"Q6083353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$BA21F626-7856-4787-B1B4-6910B5F8D0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee9ec37c8933bef95aa942f010a8ee095e9491fd","datavalue":{"value":{"entity-type":"item","numeric-id":5189558,"id":"Q5189558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$10EC54AE-321B-4DC4-8485-6378EB89C805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6652941c6c95371d45e83f1f1f3200a6931a93a","datavalue":{"value":{"entity-type":"item","numeric-id":5251430,"id":"Q5251430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$1851F59A-DB8A-4A36-8214-B91C3944C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb081088460f94d532a7de5adda0040c9d334ee","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$B7173F6A-1084-4DEE-B742-97910EC6B773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb0dffb4f53d966bd71a12fcad1413ceb580454","datavalue":{"value":{"entity-type":"item","numeric-id":4635933,"id":"Q4635933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$30C57D17-DDE8-415D-AAEA-97CE86D7817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e212be46e3723768e59f24b825f2b63d7c08c1","datavalue":{"value":{"entity-type":"item","numeric-id":4577986,"id":"Q4577986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$D8A5F01C-3279-4820-84F2-2A6DF6F0BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eedc45a3fd91afb525db381b8a561c9ceae014","datavalue":{"value":{"entity-type":"item","numeric-id":5251754,"id":"Q5251754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$DFE100A6-CC33-4AAB-ADD3-5D2812FBFBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a63dc3ec4923736a398d0abe4420ba5704c67e04","datavalue":{"value":{"entity-type":"item","numeric-id":5460860,"id":"Q5460860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$7EEF60B1-DB1E-4DE4-95E6-51946E4D0196","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":"Q6856043$748D3D87-8838-4406-AFDA-39F7FF07DBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ecd85fac6a91f87d421a94407c81aa413d02af3","datavalue":{"value":{"entity-type":"item","numeric-id":5176936,"id":"Q5176936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$C5F36EE1-C130-4339-B73C-69F10ED8CE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e9f14b28bbd8eb226e48d3402b7f0f8977c681","datavalue":{"value":{"entity-type":"item","numeric-id":4365014,"id":"Q4365014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$593730FD-418C-40AB-A7D3-5F25E407E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c71bf2b61c24623b29851a7d0f670feab01c36","datavalue":{"value":{"entity-type":"item","numeric-id":3411948,"id":"Q3411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$0FDE46BF-14FE-48B6-AE01-9F8B5B8DE65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2c12d8a5cdb0a5877c1ab7dcb4a54e594f4431","datavalue":{"value":{"entity-type":"item","numeric-id":277336,"id":"Q277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$CF1CFBFF-67ED-4BBC-B83A-05F52E95E3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$218DCD87-3213-4CFE-A4A5-ACEAA4A7D172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9f336bb22a0a9b1f13cfa7c11188b117f2964d","datavalue":{"value":{"entity-type":"item","numeric-id":2847375,"id":"Q2847375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6856043$69A2AE18-8686-49C1-8443-F1F374030764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tropical_mathematics_and_the_lambda-calculus_I:_metric_and_differential_analysis_of_effectful_programs"}}}}}