{"entities":{"Q4918240":{"pageid":6947822,"ns":120,"title":"Item:Q4918240","lastrevid":51700688,"modified":"2026-01-19T13:44:22Z","type":"item","id":"Q4918240","labels":{"en":{"language":"en","value":"\\textsc{OutsideIn(X)}: modular type inference with local assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156953"}},"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":"Q4918240$6631F9F1-A333-4BAE-80E9-01F38F0E82CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7075c02021a4d8107d76d425fbe2081bbebfee77","datavalue":{"value":{"text":"<scp>OutsideIn(X)</scp>Modular type inference with local assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4918240$AF06E942-A095-49FF-B814-AE7307DEBCD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b8eff50f05d610b95ad3a316a3f2fd1ec6e8834","datavalue":{"value":"1262.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918240$2639238C-E4F7-4CA3-8601-25A4C629B4DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"329d0abff3a4a8372925230d7fe25e349b2a873f","datavalue":{"value":"10.1017/S0956796811000098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918240$1B3909F8-EA17-4791-8E04-DDE29A8D59B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$8236B7BF-4DFD-452F-B27F-A261047F98C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$4F65DB4A-6CF3-4B47-965D-AA22606F7E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$40F130B4-B166-42B3-8F22-2F6CC3EEAE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1049de561e4e0575c7855d0da60607e65f900396","datavalue":{"value":{"entity-type":"item","numeric-id":1818317,"id":"Q1818317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$4FB0EE82-E070-41C6-B24D-C382CC79AFC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$C56C6CEA-AA50-411E-B6CC-77D7844180D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e216c612d07f9116b5513eaa13cb6534e6ca9d3e","datavalue":{"value":{"time":"+2013-04-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":"Q4918240$F95DC414-1F7E-4948-B8FA-F5A9D7189C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918240$6A15ED9B-83BA-44AC-81AE-0FDABCA69BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918240$167E7135-23A9-41A3-BFDA-E5E25AC5DB36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddb2438b6b39ef65c09f5e55b398f44b229475b2","datavalue":{"value":"6156953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918240$6F0DDE26-CC98-4737-90C7-E42722787023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82384cb65da7554b42542890d7af92d513bc80dd","datavalue":{"value":"constraint solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918240$248ABB77-F46B-460F-A089-1C49D581194E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33c82c865fa37a6d1cabc4a35141db36d96798c","datavalue":{"value":"constraint-based type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918240$4377D960-E4EB-43B4-B19F-2947290CA181","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$F415A8E5-16C0-4A95-9C5A-18F81C87449F","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":"Q4918240$8E626F7F-825D-47D9-922C-9928FFE2A189","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$87505014-83BB-4957-A328-55386C2BCCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$EF882E86-5277-4F41-BB57-F226A741D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fbdcfeca765d18f7d3b2cc70ef3d3dbbb4e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3434624,"id":"Q3434624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$66894C50-632B-4096-B952-A1EE00814101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a441da9409ddffedf9bbe35244797e4a0e62ff","datavalue":{"value":{"entity-type":"item","numeric-id":5385585,"id":"Q5385585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$EEC2C31B-4D52-4B66-ABE1-095FA83EA4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea247b3691dddfe4722c687e57417d62cf0744fc","datavalue":{"value":{"entity-type":"item","numeric-id":3419813,"id":"Q3419813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$F120D1A7-3F0B-4946-ACC8-F64A2E3129EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63899175be9ed3802d3d3087d00174f09aa5f497","datavalue":{"value":{"entity-type":"item","numeric-id":2936783,"id":"Q2936783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$1F352FAD-B799-43C4-BE5B-6F65B223F090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920941013986d0fe98de8d648b55f604839d6693","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$9F5CCBA2-9ABA-41B5-8766-7B66F1D6C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461051b6e767f08fb11be910583fecd77b28fcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$C51EE5E5-0DFB-49F8-A0DB-55ADEC582CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddd09ca595a3169604b18d5170be278d168555c","datavalue":{"value":{"entity-type":"item","numeric-id":5178755,"id":"Q5178755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$3ABDE6F1-D61B-471A-ACDB-4FD60B28B396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14b168b7c2384a28a93bacf812c9b0b793392d1","datavalue":{"value":{"entity-type":"item","numeric-id":2936787,"id":"Q2936787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$95C6654B-E31F-4110-8947-7BC84E05A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$FFC1FAEF-2828-43DB-83D6-D226A247E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a72454df53d61ac16bbd43d99bc7ef1ed77f2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$D60F7450-D370-4302-913E-21C57F0EAAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017089f1b8820cff138bb4305c5e5fd1db1ba3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$7AF56203-9B3A-44E7-9C61-8D4F8A82F97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918240$BD081D43-75A2-4474-A859-A52006DCE744","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980807ce7a8f4a0fa49fa180b5c0c08d532a8d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2936831,"id":"Q2936831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d39c1ca11f98405a1e3e0843bc5b836dcfead05a","datavalue":{"value":{"amount":"+0.7757571339607239","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":"Q4918240$86F9D60E-E9BB-42D4-81A6-B934ECEA734A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2fa650039ee73eab17a3314b7699f968d08c777","datavalue":{"value":{"entity-type":"item","numeric-id":5385585,"id":"Q5385585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc7edcec0b3b7255c0c35cb0ec86cb81c48d0df","datavalue":{"value":{"amount":"+0.7597395777702332","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":"Q4918240$F5A2C3C5-5407-4026-BDD9-DACE09D58F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f60eb72bfbd77468baad6ea1f60803db6da171","datavalue":{"value":{"entity-type":"item","numeric-id":2937793,"id":"Q2937793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d1fbb55811fed9c72c96e521da728557bf4d58","datavalue":{"value":{"amount":"+0.7594628930091858","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":"Q4918240$5EBDFD76-4307-47DA-884B-CD21A6FDB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d654042debfe05ad206d8c9d05e83e0dead0622b","datavalue":{"value":{"entity-type":"item","numeric-id":2828286,"id":"Q2828286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b848e912d2022b097b70925b7bcd43a380e22692","datavalue":{"value":{"amount":"+0.7567455172538757","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":"Q4918240$C36A425C-2FA1-4570-8C9D-24D829114481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b686d02a59caaef29804645b31adf05aedec8f","datavalue":{"value":{"entity-type":"item","numeric-id":2763643,"id":"Q2763643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cd3344fc71fc32ea132f4e55324f15b3f62a15","datavalue":{"value":{"amount":"+0.7343292832374573","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":"Q4918240$00997E51-9A14-4C99-9D11-547B4B703B7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4918240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4918240"}}}}}