{"entities":{"Q4964003":{"pageid":6993582,"ns":120,"title":"Item:Q4964003","lastrevid":58379556,"modified":"2026-04-04T23:23:37Z","type":"item","id":"Q4964003","labels":{"en":{"language":"en","value":"Multiparty symmetric sum types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7315081"}},"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":"Q4964003$DBEF69B8-FB25-4D14-B932-EF18DA789B4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf31d73280dc66fffa6e3be8683168b504ecaf64","datavalue":{"value":"1455.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964003$86B70A69-E2EF-4FB4-9CDB-F7C9DC86774D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04629563362f38b78d9ef2e65822e59c5b69ffb7","datavalue":{"value":{"entity-type":"item","numeric-id":1041754,"id":"Q1041754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964003$FF4CA07D-40BD-4FC4-920C-C67E49859773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964003$8DF03F16-C1A9-4CA4-82E0-EBD3D56A8603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964003$AC7BFBA9-4FF6-4B1F-B55A-064241C83562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adf4f4ff00d375f9dadfee22b395ad0bd8222ce","datavalue":{"value":{"time":"+2021-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964003$29D01BA8-33AB-4DA5-BB22-5E3E08AF93E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1b7654c250b0d7593f74ad7b688d2c01e2e07f6","datavalue":{"value":"https://arxiv.org/abs/1011.6436","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964003$C1D94ABB-BD69-493A-979D-8B56D5028728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"590373a2e02737a7e26877a917128849027317d2","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964003$D1D9CCB7-7809-4CDF-8A4B-BA88C4543F73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964003$F4C555C7-1C0F-4FAD-9BB6-9B931F31E351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbd7015310b0b6616c56c76354237cb681427959","datavalue":{"value":"7315081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964003$3B20428A-9B02-49F9-A0D1-E06948DB712F","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":"Q4964003$DF86C165-B20B-4471-9EAD-6050F78D7802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66c0f02a84328e4eab724e93f8b8820f9eda613","datavalue":{"value":{"amount":"+0.7657961249351501","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":"Q4964003$8295B39F-39CF-4B3A-A49F-B0E26D44D00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2c3df684a238b4ca180f547c4cb412d0e75670","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e410470987afcf88afb199730786475758f22df0","datavalue":{"value":{"amount":"+0.7575026750564575","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":"Q4964003$D2E9E5C0-768F-4209-AC9F-C91A6D1E9B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad2eb0bbac0c1b49467a411a93ae34968509d34","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001aef8bc1e3f25898306048a8b79f311c4894da","datavalue":{"value":{"amount":"+0.7512296438217163","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":"Q4964003$67E36E22-2C5F-47F4-84EA-8C802C35EAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d6db7dc15ae7ceea65c52f8b05c501001d533e","datavalue":{"value":{"amount":"+0.7512218356132507","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":"Q4964003$13D3A4F9-4212-4826-94C2-5BE8DF853FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6be5d489558b1c63708c2620716e6d13499cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2827461,"id":"Q2827461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9163a0e2e5cb835f6943e3b87c570efc6955a6","datavalue":{"value":{"amount":"+0.7498075366020203","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":"Q4964003$CE3FC6E0-35B1-43BA-988E-28CEA8EBF0AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964003"}}}}}