{"entities":{"Q2926650":{"pageid":2937370,"ns":120,"title":"Item:Q2926650","lastrevid":85047080,"modified":"2026-06-03T05:41:11Z","type":"item","id":"Q2926650","labels":{"en":{"language":"en","value":"Sound and complete flow typing with unions, intersections and negations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363642"}},"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":"Q2926650$A06C4570-406A-4CE0-9E25-8AC5E78AF3CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ea3ecbdfe91a600e6fe2129ce5a149ad6f223ea","datavalue":{"value":{"text":"Sound and Complete Flow Typing with Unions, Intersections and Negations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926650$B3DFB675-B549-4854-AE7F-02559A2C38B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c2711faf50bcd42d793a04a3e4c874dcb8d7229","datavalue":{"value":"1427.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$D28EC978-B9F4-4205-9C89-5783E94A232F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b49666187dd2249b0304c0ea3663b3f35903af2","datavalue":{"value":"10.1007/978-3-642-35873-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$56DE3CBB-AFDA-4F96-969D-18D45E220E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86a1fe0df51154f1c030991a03a7f21bf121868","datavalue":{"value":{"entity-type":"item","numeric-id":532424,"id":"Q532424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$528EE866-9EB1-40D1-9637-4EB52A51B8CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$6EC2F5D6-B94A-4E81-99D4-A3F2C5C8967E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2926650$6B362A22-1291-4964-A639-079130E14157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$62CBF7FE-0FDE-46AE-AA7C-70D339269E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$B8764B75-4E1A-4C2D-8312-DA40F1BABA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$7C0FA272-0989-4B47-8502-E684FBF344AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46997275983511d8fd8ee2f0cec2ba191a03434a","datavalue":{"value":"6363642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$A5076DF1-EA37-4BDA-99FF-5490B70BE694","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e6b332eaddaba275128ab7548503cb9917b3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":24362,"id":"Q24362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$20438C95-2A46-45F0-B7C4-F7FCBA6A6801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$4EECD0DA-909D-4532-81BC-C55B0706F595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9082493959d9446d6273076839fd23e7b597ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":24364,"id":"Q24364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$0A359832-F686-49EC-9F66-933E2008F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d61cc2ca99394c0fbe11f37c185b2b083af6a9d","datavalue":{"value":{"entity-type":"item","numeric-id":37805,"id":"Q37805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926650$8E011961-98FE-4D76-9055-654B79BDE194","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":"Q2926650$A878C0BB-1F9A-45B5-B4E3-9D7C31ADB8DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ffe26706d82f98e1d85a017ca6a54b52be3ecf9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926650$8F0A842A-9C1F-4407-98F8-FAA04DA81F30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1635ccfb15b859048a628875b01490237e5612ed","datavalue":{"value":"W175791261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926650$DF826A59-55CD-4264-B539-7DF7424EFE0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6831d7d5fc7e9cdb78d0d829af808072af0ed9","datavalue":{"value":{"entity-type":"item","numeric-id":4490756,"id":"Q4490756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ffcbe7e6202c1c879ae30ad5237fdd38649b6d","datavalue":{"value":{"amount":"+0.7308381199836731","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":"Q2926650$1FAEC45E-3EA1-4E4B-A5CD-26284C4F0DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11af6d69ff179f9290e188f403bcf8b563bbe1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4964692,"id":"Q4964692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd565e18ab21c0f5e7dfcf5b7d5145fc7dcb6273","datavalue":{"value":{"amount":"+0.7284248471260071","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":"Q2926650$CF08E317-EB51-438C-BF62-9859896519B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75775e895d2970575daab34c06f5c12812be9493","datavalue":{"value":{"entity-type":"item","numeric-id":1698759,"id":"Q1698759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5749c9c12b64fa715e07897a74cd5e735ae4f7f0","datavalue":{"value":{"amount":"+0.7211982607841492","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":"Q2926650$CE60BDE1-063A-44C5-9674-33072DD142AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bb553dce1a7850427f2b10761069eb256af0be","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3ee9f88596e79ac3bbf1d3fb5285b4228d6e8c","datavalue":{"value":{"amount":"+0.7148288488388062","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":"Q2926650$E53AF5F3-10AD-4C2E-AD33-90E60D190D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179a179249b1cc9584c6c79b6b053ed9e5b7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":5168879,"id":"Q5168879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338bb0dd5de2bdf421b90a042ef50377a24c1ee5","datavalue":{"value":{"amount":"+0.7082865834236145","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":"Q2926650$47A24A0F-EE4A-40D1-9434-4AB5096E01BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound and complete flow typing with unions, intersections and negations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound_and_complete_flow_typing_with_unions,_intersections_and_negations"}}}}}