{"entities":{"Q5168936":{"pageid":7198508,"ns":120,"title":"Item:Q5168936","lastrevid":52044779,"modified":"2026-01-20T20:02:25Z","type":"item","id":"Q5168936","labels":{"en":{"language":"en","value":"Subtyping and intersection types revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6318921"}},"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":"Q5168936$F6E007B6-641E-4D34-9CC8-951746EB80E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62956ae618ca5c3feecc374bd40becab8b0eb28c","datavalue":{"value":{"text":"Subtyping and intersection types revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168936$7089ED63-77A5-473B-9053-D8C810ECC7B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2102f0a0b22540c63f77cad77341e8467dad95","datavalue":{"value":"1291.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$F9EB7B9C-9550-4C2D-956F-EB7CF6BC9F6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76d5b33e883b70165e6d69966aff38617ad8c583","datavalue":{"value":"10.1145/1291151.1291153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$5210C36B-D055-4CB4-90D1-CA717BC217CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8a97c3b573e5dc33c87a084ea7e842f0d1a64f07","datavalue":{"value":{"entity-type":"item","numeric-id":5168919,"id":"Q5168919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168936$F44E0722-ADD8-4C15-9B21-C4B0ED1E02A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5670447523ca0c92d2715e5586c267824127db6a","datavalue":{"value":{"time":"+2014-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168936$6BBC228E-D4F3-4FB4-BC65-CAA16D915744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$AA137869-4D97-45F4-891D-E75532082F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$580ABC8D-24DD-49DC-AB87-3DE10DB4066F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"190a23a8aa7b78627e5b46ce32a2551cfbb4bc1b","datavalue":{"value":"6318921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$48244E7F-2E65-420C-B092-6E0C813AD5BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168936$FBAED426-6229-4007-87CF-CE7F75AFF3D8","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":"Q5168936$13EF2472-D2AC-474F-ABAA-C993D513B688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86a5528c4a42b5c776fcb0451caa211929110dd3","datavalue":{"value":"https://doi.org/10.1145/1291151.1291153","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168936$0D32EA0B-F9BA-4E0E-9CF7-A7F71FC1CC1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5643def2c027c456e45e65a1ce96d749e49c9b","datavalue":{"value":"W2033125451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168936$29ED02A1-DEDF-4F90-B9A6-AE6D5323B0BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d431a54fedd394db44def9deaa8dc8abd77b93d6","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a735373fa1dcffb14ed953cbaf79923f17e1e79","datavalue":{"value":{"amount":"+0.7766713500022888","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":"Q5168936$8C9BAEB2-4A64-4FBB-A6B5-CBEE1CB5F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6b93420c7e2994d0369ec226b714f70e548b4f","datavalue":{"value":{"entity-type":"item","numeric-id":4417863,"id":"Q4417863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae30c52e67a1562b65ea8cf1c365fe059710e10","datavalue":{"value":{"amount":"+0.7754419445991516","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":"Q5168936$6FC49C14-D21A-4EF1-8079-DDF34E55EFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b936e23f2a8eab116bc96ab52c1b6d4e41ea5c7a","datavalue":{"value":{"entity-type":"item","numeric-id":2510384,"id":"Q2510384"},"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":"Q5168936$F590E0D4-FBA8-4DE5-A590-53E431CEE415","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":"d8b1038abb81c7f622fcd25c64ba2970b80eddf7","datavalue":{"value":{"amount":"+0.7453696131706238","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":"Q5168936$AB7A9F13-3F94-45B1-88E4-458538E95B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2978efd233b2394ea61c2adec1511e9277df8184","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93192c73673684d2a84c0d725776a20dd0dba463","datavalue":{"value":{"amount":"+0.7299884557723999","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":"Q5168936$36C2FF44-22AF-4D78-8F30-0C7C7C7E7AB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168936"}}}}}