{"entities":{"Q4903724":{"pageid":6933303,"ns":120,"title":"Item:Q4903724","lastrevid":51637781,"modified":"2026-01-19T04:56:40Z","type":"item","id":"Q4903724","labels":{"en":{"language":"en","value":"Towards a logic for union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128574"}},"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":"Q4903724$04075F51-F1A7-4B6F-AF9E-25AB385F6F4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10153424e3878e88f748b9de39c13a22fb93b39a","datavalue":{"value":{"text":"Preface","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903724$FB74C08F-C7E6-4600-9ECC-4E0ACD7BF07E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e77a76b54e2bc00103f72c8f39b64d3b1999711","datavalue":{"value":"1284.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$0481AE55-7867-4D43-BB70-34748CCDC605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7b70f9b2b820d3eae888afa691813e704e8c902","datavalue":{"value":"10.3233/FI-2012-769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$0E0E994C-0397-4166-8169-EE7DDED7EDA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1340890d3f31f541772b206d90f6a758d6fc352","datavalue":{"value":{"entity-type":"item","numeric-id":4903722,"id":"Q4903722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903724$071BEF96-C367-40BE-9C92-8343E9D021FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"470b44ffc2fe87cec27dfef1de4b82036b3c8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4903723,"id":"Q4903723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903724$879367A6-E31F-4DDD-A366-84D77CD6CFEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903724$1A91B19A-0D88-4342-A270-7AEC56AE5BB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-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":"Q4903724$6CD733C7-A3A8-4772-BBD5-E31AE01046EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$C207A0ED-85B9-4E17-98CA-880DF80309C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$22CCFA58-6F3A-4BCE-87B3-F2E685E8D555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb5c4e85c9ce8dee58a4374b317d3eb691929224","datavalue":{"value":"6128574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$A0D0811B-99C7-4F79-BE7F-82516E187E08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153bf8c6121d63a3657d5b82d4c567e20ad75c2c","datavalue":{"value":"intersection and union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903724$43F34218-9926-4018-A63A-183AD0E053E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a33a948bb65c13b19ec6e9e714c28b02def93e","datavalue":{"value":"intersection logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903724$E75D54CC-59E5-4A90-80A8-6034F8BCB6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f1555016565f3f8793d738a1dc9773215d75d3","datavalue":{"value":"kits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903724$3C8A9553-9862-446D-A154-E789C85EAEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f74ad1e8f8d4d6b93ec1a3ef1601f9056d6bd2","datavalue":{"value":"molecules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903724$FE262AC6-98CF-46C8-AC96-1F4AB4F6F6D2","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":"Q4903724$C7BAA4B1-4C82-4530-8527-66C7F416918B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47241981b9ee16c5a1147206c1bb0d1a87d873f3","datavalue":{"value":"https://doi.org/10.3233/fi-2012-769","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903724$5EDA4D7D-996F-4D9A-9995-87C0EA8EF40E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cda325ce5eff1aa7d8d77b21f0a23129198203b","datavalue":{"value":"W2256295863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903724$FBFDAA80-CC86-4669-9271-DD8D81B18293","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cd600f73acee806ca34e0fc206de8110e71326","datavalue":{"value":{"amount":"+0.8043988943099976","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":"Q4903724$F6F56A6B-3D31-44F7-881F-47FC052905B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54146fd50ee299f350aa200ed88b00fedfcf3130","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15419671ee7ca9a4151b238d4aac8596fab3e45e","datavalue":{"value":{"amount":"+0.8041254281997681","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":"Q4903724$C5E45428-AE33-4654-9FBE-1791629A03E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd449c1e1dbee3215507d938d7460a765866bc7","datavalue":{"value":{"amount":"+0.8006876707077026","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":"Q4903724$4CDA13C5-FFD4-4E46-8D0F-3FA01ED0D517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60041b4920e9c3804bdc1557201ff7970f225ba","datavalue":{"value":{"amount":"+0.7778371572494507","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":"Q4903724$02C94411-B3BE-4669-87CE-7434909900E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c765f35a976b3da7c633c0499fc23d67a87c928d","datavalue":{"value":{"amount":"+0.7741318345069885","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":"Q4903724$BE663430-98F7-47FC-BDBE-C802A363252F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903724"}}}}}