{"entities":{"Q4903713":{"pageid":6933292,"ns":120,"title":"Item:Q4903713","lastrevid":51637757,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903713","labels":{"en":{"language":"en","value":"Completeness and soundness results for \\(\\mathcal X\\) with intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128565"}},"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":"Q4903713$45B7FFC7-1CD4-404B-BD95-A8313670FF47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38d0eaad39754eff6b247ed2ee2ee5686364c322","datavalue":{"value":{"text":"Completeness and Soundness Results for \ud835\udcb3 with Intersection and Union Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903713$088E4D24-70E9-4F5A-8C11-63AFA867DECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3822283e7eb286f9e383394b235ad46e8459764","datavalue":{"value":"1283.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$37F1FA30-1DD7-477F-912C-35880B1D3D12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd64c76e1c57f432a2d4d883748f4d68b19f5482","datavalue":{"value":"10.3233/FI-2012-770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$AA7D2C9F-1031-4F30-B18C-9FF86DB70E84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903713$7F3A55FB-294C-49EC-B399-B2ABD05A3D4E","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":"Q4903713$2E40480B-E4A8-4A8E-8890-521E3F278F32","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":"Q4903713$7370DA97-D2E7-4068-AD99-1B53F3013B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$3B27B3D7-BC34-45DC-92B1-E4B323635D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$58A4F4B0-BDD1-46C2-B801-026A3E67BD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba0969a2e8d71800e893c4d554bd5d341f47600","datavalue":{"value":"6128565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$0A38B5B2-0B03-46F0-BFBC-34F673B49282","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903713$12B4F014-7502-4C94-8BE0-35E4BE27BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903713$AFB5B870-98B4-4C54-9DA7-6B6C602D86DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903713$3A1A2CD7-96A6-4D55-92F1-B3697124401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0964c617fecad7b834e90ec9e1147ee56be03f08","datavalue":{"value":"union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903713$514C34D6-A559-4A2B-8F3A-9F94A4D5AA79","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":"Q4903713$92B843A7-9E6E-46D2-B7C7-19C98289C13D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"919434f983e52c9a4b2c0ffae52dcd66f36a9235","datavalue":{"value":"https://doi.org/10.3233/fi-2012-770","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903713$D6D1FAA8-C463-4CD5-ACA6-55F743F6F7E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef3a11d21598ab72be45aa05d041f2a37c227ae7","datavalue":{"value":"W2129488350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903713$C43BF0A0-A52C-4916-9DE3-B6B68DC153A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66118c8bd507f5c048a8e4141ac25ef6374d2824","datavalue":{"value":{"entity-type":"item","numeric-id":636376,"id":"Q636376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aea99b1d7a1e16df84b84fa1dffb47c6d9adae2","datavalue":{"value":{"amount":"+0.8768729567527771","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":"Q4903713$58CF3BAD-CA73-47F8-87DF-C2E7B1E265F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436cfba0c9c71ba2c1a8ff4867e8aa529b349e68","datavalue":{"value":{"entity-type":"item","numeric-id":2851093,"id":"Q2851093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960d9d81fa0f90e8b0d63783aa48f1871c64dcd6","datavalue":{"value":{"amount":"+0.8591779470443726","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":"Q4903713$FD5B8EAE-AAAD-4EA5-8D47-894363F745D9","rank":"normal"},{"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":"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":"Q4903713$518BBC41-173D-4903-ACC6-EB6814FECC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c819cb150c4d225104efe1d97603db6a7cd0f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4964690,"id":"Q4964690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747f6e5541bae0254e69b75dbbdc2a88fda7bce1","datavalue":{"value":{"amount":"+0.8226697444915771","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":"Q4903713$29EBE489-755E-4764-BEB6-682C4F4F0A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7a527ce7fbdfeb8b284e9efe0c0dfc91bfc7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958296,"id":"Q5958296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522614e93ded19856d529b21d49d0fd6da84c7c8","datavalue":{"value":{"amount":"+0.804326593875885","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":"Q4903713$C3188BFF-C135-4FA2-B6DC-8400DB670885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903713"}}}}}