{"entities":{"Q5941728":{"pageid":8118530,"ns":120,"title":"Item:Q5941728","lastrevid":41716902,"modified":"2025-05-07T12:28:24Z","type":"item","id":"Q5941728","labels":{"en":{"language":"en","value":"Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1636391"}},"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":"Q5941728$5F5EF172-D572-4E20-A9D2-AB2C7D600297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47322e4d23915df01d528d024fc072a6d0d98907","datavalue":{"value":{"text":"Types in compilation. 3rd international workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941728$538CB2C0-5AB9-48B2-B90D-DBB509D57671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aca85bd52df8029c5c2d7343622f49068eaf248","datavalue":{"value":"0967.00071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$786A4F16-043A-4DA3-8AAA-22EBA756CB3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27a82c5d9981519ce750da3ad24ccfd26af0abb2","datavalue":{"value":"10.1007/3-540-45332-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$9EED070A-365D-4F16-A2C3-F05E583D02D6","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":"Q5941728$560BC55D-6000-4C35-A76F-670366C962AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3190f357053ae1b7a6692b25e4aa81e02b63efa","datavalue":{"value":{"time":"+2001-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941728$15448CE6-024E-41EC-847A-24EAC7A045AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e2e0dd71cdfb751016c61efcda5bacce34604a6","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Crary, Karl}, Sound and complete elimination of singleton kinds, 1-25 [Zbl 0985.68008]  \\textit{Dimock, Allyn; Westmacott, Ian; Muller, Robert; Turbak, Franklyn; Wells, J. B.}, Program representation size in an intermediate language with intersection and union types, 27-52 [Zbl 0985.68674]  \\textit{Drossopoulou, Sophia}, An abstract model of Java dynamic linking and loading, 53-84 [Zbl 0985.68506]  \\textit{Duggan, Dominic}, Sharing in typed module assembly language, 85-116 [Zbl 0985.68507]  \\textit{Grossman, Dan; Morrisett, Greg}, Scalable certification for typed assembly language, 117-145 [Zbl 0985.68659]  \\textit{Hicks, Michael; Weirich, Stephanie; Crary, Karl}, Safe and flexible dynamic linking of native code, 147-176 [Zbl 0985.68658]  \\textit{Walker, David; Morrisett, Greg}, Alias types for recursive data structures, 177-206 [Zbl 0985.68007]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$7A23B3D8-9CF5-439A-A7C2-33E7D5F75F61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$9BA02A65-FE94-4F07-94DD-7D1DD26A4ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$E1D6B9CB-3D66-426F-BA47-49D2B4717B50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9d7438461a8d3e6a825620901c4a8a9e7f0dc25","datavalue":{"value":"1636391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$A17375FD-8973-4726-9B96-1880697056F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad04f73ff0bb1043a0377c8934eb6b798ec14705","datavalue":{"value":"Montreal (Canada)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$5F4CF44C-EC78-476D-8379-FC67D53FE4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$F4C0FAEA-1D85-4D99-93CC-A055F3A2886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$E40C1123-FFC7-4662-84C6-2F9F2BCB896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75579364fa86991d36e9e011df7b0ddf36b0ef9","datavalue":{"value":"TIC 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$C6ABECB4-5429-47A6-A9AC-A125C2D94E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e0caff5c0a91fb198655de720cf8460d53d094","datavalue":{"value":"Compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941728$7A21167B-FD8A-4A50-B7FD-77B876144D9E","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":"Q5941728$A4A1C804-5226-420C-A88D-9E0D4BD2436F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfe470d73bc6abae78ada15c94501c3c13914a1d","datavalue":{"value":"https://doi.org/10.1007/3-540-45332-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941728$50C807B9-0E2E-4B8E-A242-FE6540B5663E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"550da5599198e0c7c2a325100bbd6960b6ec1153","datavalue":{"value":"W2501880816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941728$584EB967-CC54-4513-BB2F-702DD581A10A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ac21b2203220885a2e45c32f822be994ed3adf","datavalue":{"value":{"entity-type":"item","numeric-id":704168,"id":"Q704168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1322ed018619959a3eb057832ed8765de963b678","datavalue":{"value":{"amount":"+0.82147646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$F819FB1C-37AC-4C94-A130-733D21C26AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654a6e3796f9ced1249d7c480e29845f34cb0cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1601174,"id":"Q1601174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fdf5a6c105c6283a7885c71df1515249289bf5","datavalue":{"value":{"amount":"+0.81619847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$CECCA003-50C3-4505-B61E-D4677F44E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fe65993e794ceb364f460c685272a81366462a","datavalue":{"value":{"entity-type":"item","numeric-id":1189444,"id":"Q1189444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d55531e81d3c8c6f8f578830806ff72fba7047","datavalue":{"value":{"amount":"+0.8094325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$369980EF-70DF-4C6A-AE09-66F082D1ABCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255c4335d7ae748fda7a144d35b64f163efbb67a","datavalue":{"value":{"entity-type":"item","numeric-id":1591869,"id":"Q1591869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fd7af40de01e210a0fb8601956d81133e7eaae","datavalue":{"value":{"amount":"+0.8087076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$5D0F5A21-9F15-4B6F-909B-D01FCEFF3024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e209a0f83950f285c46abc220ba2f72b52f2de7e","datavalue":{"value":{"entity-type":"item","numeric-id":1819249,"id":"Q1819249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1822e5724c7aff351379cf8a69077f8a36c1afc","datavalue":{"value":{"amount":"+0.80546224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$BBB3F46C-6B7A-42DD-8F06-725800B63181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c3b1191d34a5d176946d875484afa4d4f96cb3b","datavalue":{"value":{"entity-type":"item","numeric-id":1327718,"id":"Q1327718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cc4a51a6aa9b05804e9b7bdcdba486dc2ee3c8","datavalue":{"value":{"amount":"+0.8049021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$E207B390-A226-427A-89E5-885804311771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bb23c45bf236fb85e8cd9fb0ac84a4ca66cab2","datavalue":{"value":{"entity-type":"item","numeric-id":1270497,"id":"Q1270497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1073adea441f4cb415acadb0108cd7f2f9b2a1b","datavalue":{"value":{"amount":"+0.8044797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$3FC8F156-3087-40C7-BA3B-90455200D30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023d74d238dd375a42f166b8afafc31e923be664","datavalue":{"value":{"entity-type":"item","numeric-id":1815797,"id":"Q1815797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6643cc10e476b63887a9d7dc1ee0b9f118c27e0","datavalue":{"value":{"amount":"+0.8018882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$5A2270E8-6A74-4577-9483-E33C4741CCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0eddb819bf62c0b111b3b94a54aea50b3a6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":2508309,"id":"Q2508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89881658372bfe42670889b6e9793a80de85c2b3","datavalue":{"value":{"amount":"+0.8005069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$A6416F34-7F89-4020-B633-244566CE8A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474198bd04cd80531599dd5b1a860ffc59e990a4","datavalue":{"value":{"entity-type":"item","numeric-id":1902697,"id":"Q1902697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3642416e9e951c4b3485cf90dcfa408c8b2dea09","datavalue":{"value":{"amount":"+0.7997786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941728$833E47B2-FAEB-4B85-956B-0F401DCD733C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941728"}}}}}