{"entities":{"Q1893736":{"pageid":1904478,"ns":120,"title":"Item:Q1893736","lastrevid":46391832,"modified":"2025-12-24T16:56:13Z","type":"item","id":"Q1893736","labels":{"en":{"language":"en","value":"Intersection and union types: Syntax and semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 772337"}},"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":"Q1893736$44DE6A9E-E987-4A35-A381-8DA3043257C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a7d51df1cabec2eb9262d86d67d72701ed4a252","datavalue":{"value":{"text":"Intersection and union types: Syntax and semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893736$3608E652-62D7-4DE6-9941-FFE5029722CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d0686bae1458fe7cb62c15d1793ac71bee352c2","datavalue":{"value":"0832.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$4B480CE4-CC7D-4BB9-9921-DB3BB4E467AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893736$353C6130-4B8C-4CAD-A9A3-47C2797A8568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893736$FF8C418D-8852-43EA-81A8-317372ED724B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893736$1ABD7318-8D1E-4CA4-A7AA-2BE9C0A65603","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893736$F344A5E4-29AC-4DC6-A81C-725040A04FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e89868b1c268f0defa51f67a4a63561a369e84","datavalue":{"value":{"time":"+1995-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893736$C5A4E67B-228B-4C4E-8B48-B249BECFA8CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$60057013-4D0C-4CD1-9F5D-D32BA95EAFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$F5A276CC-873C-4588-887B-2D7381A16594","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ff0568d538944a96e7add47f3ccb15f57fa120","datavalue":{"value":"772337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$66BB3956-A5B2-46CE-80FF-ED2621A33507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8daf03f57cb38339d341c16bdaa346c0fbbd5d3d","datavalue":{"value":"Gross-Knuth reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893736$FBCA12A6-061E-4A6E-A959-1F55A85137FA","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":"Q1893736$4FE65CC8-74BA-4E79-B0DB-867E4E7097D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9277921869a09e3a802ec4d9a08c66cb49b742b5","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1086","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893736$C528257C-FC8F-47E2-92EA-B88BB6973FDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91ff7a4a6fdb3d3e87a48a445b2baf46fad3020e","datavalue":{"value":"W1990370351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$9AA1964B-D5C2-4FBA-8355-959ECE733501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5036bf54b8c7a4bbeb5e24cb8bf39efd9969d47f","datavalue":{"value":"10.1006/INCO.1995.1086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893736$BD5CE01C-8B68-4ABB-A7BE-1EE0A92B7E75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d64bbcda4737c46f7a108b315f6e23e47e3953","datavalue":{"value":{"entity-type":"item","numeric-id":4835619,"id":"Q4835619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc25fefc8dfd6caea47d7598a04e6b55f8e4f186","datavalue":{"value":{"amount":"+0.8340054750442505","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":"Q1893736$25DFF696-CF5E-4EEB-BE15-D5796ABACCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a1e465d9cf947edf3cb473af5303a9b11bb64","datavalue":{"value":{"entity-type":"item","numeric-id":4903713,"id":"Q4903713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42965199b261a06c9fb02ca55c27203fad4b8c3","datavalue":{"value":{"amount":"+0.8291593194007874","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":"Q1893736$50682F7E-453E-40FE-86BF-ED8E933D55E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9554e151a38f401b9e380bfdf8430f12c143f","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d57c6339041d45d3328fcf5cd75adc071361ec","datavalue":{"value":{"amount":"+0.8201529383659363","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":"Q1893736$9442CC95-7232-4CE6-9A13-78831EFFED2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1893736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1893736"}}}}}