{"entities":{"Q2510384":{"pageid":2521127,"ns":120,"title":"Item:Q2510384","lastrevid":52054340,"modified":"2026-01-20T20:32:29Z","type":"item","id":"Q2510384","labels":{"en":{"language":"en","value":"Judgmental subtyping systems with intersection types and modal types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6324036"}},"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":"Q2510384$6D6AB031-35A2-49D6-89A2-6B1EE63AFEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f39b0d3a45318ac075268ef07a2d08b513d9ed79","datavalue":{"value":{"text":"Judgmental subtyping systems with intersection types and modal types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510384$385E6B13-AECA-46DD-A83D-799C5B28DFAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f459ddd56e0302063ed45224e9f8f45fc2ac1243","datavalue":{"value":"1354.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$594D6887-9DEA-4B58-84B3-8F492C4E4CF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"497b9cd43793e3ec114da580b8b6e36e06ec6c65","datavalue":{"value":{"entity-type":"item","numeric-id":2352490,"id":"Q2352490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$534FC397-B2F2-4C8E-A1EB-98CEED855310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$D96DAC60-6972-4028-8F47-51F771F6E098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$642783FB-A79D-4F97-9A19-5BD74C0EAB60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b66c4ebdc3ea8a32c3e796d6baa3c7adc2ca06a","datavalue":{"value":{"time":"+2014-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2510384$91E84D58-498D-49E2-AA7C-9BA9C395294A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$05D9DB3A-B6BC-41C4-A1D4-2A0A509ADCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$86E35E1E-37EC-4E4A-A439-766F16DA4131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$E86C108C-385A-4E68-8488-4C00AE2A773D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$06AA81BC-60A6-4876-A619-61E3DC695A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5604ab36b14cea4a622f59554f80d442fa9dc6d6","datavalue":{"value":"6324036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$7DD6C253-6A01-4983-92A8-486EB97B764B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$451328C9-F7C5-4274-9E65-AEEE31FB6207","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":"Q2510384$D68CEF7B-B443-48C1-9F0B-B954B8850032","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":"Q2510384$902741B4-1DAD-4655-8566-FCC21B16F40E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f6a723a259754287411c7ff9dac23de80205e8","datavalue":{"value":"https://doi.org/10.1007/s00236-013-0186-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510384$766AF8EE-FAEE-4F1D-9C25-3E0493B850BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0aa9fda50d2d1f3c473e619e0ce7df44d5ed4a5","datavalue":{"value":"W2165541003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$03676392-CE20-4201-8450-532143674CC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$5D64A528-DF8B-401E-9603-DDC1057F194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91f5b51b7f25d18220469de81a31167afba300f","datavalue":{"value":{"entity-type":"item","numeric-id":4525951,"id":"Q4525951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$6A44BFD6-1C32-44CE-9D93-4220556640E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e48172a8558eaecf52d6fa9eb70782b93fbf7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5176966,"id":"Q5176966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$5A4260EC-CD52-45FF-AF14-09858AE8ED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee35f895e851475cce139c8bd92617d4e18740ca","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$F94EAB89-1722-4661-ADC9-0C78B1DC0140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$8799D9D7-9308-4C90-832D-77311AC8B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325f52190b9f0f52c72c946fa62a288fdaffd2d0","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$1AC2DDF0-83CC-4DE1-B908-98812DB45502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7cbdd097548afc1faabe330adaa8a87935a44","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$3FB67541-5A3E-4010-A921-4A84B484C03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93f78816fe957e99f9429957f78db7b824faccc","datavalue":{"value":{"entity-type":"item","numeric-id":4903719,"id":"Q4903719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$A44D466F-D4FC-447A-8CC2-BCE198B5E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510384$92FEDFDF-C71D-4C59-B626-AD41AFEBD627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b79b0b1f0d0b57db2998de32d2e7056d0b2993f9","datavalue":{"value":"10.1007/S00236-013-0186-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510384$95AD9480-B76E-40AE-B34C-A4CF1C68CFF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7301e9199198a673eef4ff7b34422b8fa97e3bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7b801e67b585b2090dc68aca609249445f0fd5","datavalue":{"value":{"amount":"+0.7807769775390625","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":"Q2510384$92098F30-0834-4CA3-AFDD-2F2113381810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3281c8456c844779164c5106b348cd632c0b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":1427854,"id":"Q1427854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f1cc9b6b15e249b423cd27a116c891298c900b","datavalue":{"value":{"amount":"+0.775660514831543","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":"Q2510384$8DCA14AB-0534-462B-B459-137C8614A92D","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":"fef15c7a635969bb711c7d5364cd52b72ee1e68b","datavalue":{"value":{"amount":"+0.7539939284324646","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":"Q2510384$E48C864C-FFC0-441C-93A1-900272E6EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e23ce1b74ce90f8266b0685417baeadd29ef9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5168936,"id":"Q5168936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b67d701a4988497609e57720b35aab46afab38b","datavalue":{"value":{"amount":"+0.748403787612915","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":"Q2510384$05743C47-A5EC-4B63-AEE3-4CD67CA00F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0d7030a98165cc42a9b6e6d2663432534eac90","datavalue":{"value":{"entity-type":"item","numeric-id":4903719,"id":"Q4903719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d6ca974ff44c6dc0427de34cf058c4a860d5a6","datavalue":{"value":{"amount":"+0.7337883710861206","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":"Q2510384$25865E92-72FE-42A3-919D-66FB6AB35F4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2510384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2510384"}}}}}