{"entities":{"Q6536305":{"pageid":14147448,"ns":120,"title":"Item:Q6536305","lastrevid":55636915,"modified":"2026-02-17T20:08:08Z","type":"item","id":"Q6536305","labels":{"en":{"language":"en","value":"Manifest contracts with intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834962"}},"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":"Q6536305$446B7354-51E9-455B-9369-BE26475E36E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b420fa4b14f178bc8c70bbbe656cbf08f1a97c43","datavalue":{"value":{"text":"Manifest contracts with intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536305$2831C5CA-BA5D-4F5E-A1BD-FBD90A340504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b238ad7daae8e460c3bfad8bb7e899e546bf4e","datavalue":{"value":"1542.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536305$2258765E-BBB9-4D2E-9F73-F7A962E2BBC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc13e51ba96da63601b7c2028de9d9e129a53a4c","datavalue":{"value":"10.1007/978-3-030-34175-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536305$0B2ADFB8-66A9-40D6-91F3-5A2EBE62E9E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4dc095a9786c7b0899909d12a00c3dff85fb4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2125673,"id":"Q2125673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$7E7D11C4-49A9-42DB-B3DE-5EBFF22DFF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$C9CA8175-82DD-4B29-9C9E-938518DE3CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536305$A352C3C8-CDBE-4322-8BFE-1A3B8E6CC64E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536305$5895D141-CDE8-461D-AC38-9B7C1582E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536305$B2634949-69C1-46CA-A8FD-1439A7F43722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"892198070e2161d86cda82eba04107ad0446dd56","datavalue":{"value":"7834962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536305$52F9981B-3528-4356-863C-891610E89A9C","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":"Q6536305$97737EEC-B7AE-44C3-B110-CC1EAE16A81F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a210f73582fc29272c781be7a4e43a089ce756","datavalue":{"value":{"entity-type":"item","numeric-id":3000571,"id":"Q3000571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$EDE230A9-3BA6-48DA-B382-837DA811B450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c5bdc7a2a03b6cf870f2ee2a9db6db747ca08","datavalue":{"value":{"entity-type":"item","numeric-id":5261266,"id":"Q5261266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$19C0B428-1816-4376-9DE8-0C33C5499343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$D4435646-37C2-4C3F-8F15-1919B4B4E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$05274A56-67F7-41C8-A747-81544F059342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b20214f4c047144aa0c807c908e134787a9081","datavalue":{"value":{"entity-type":"item","numeric-id":2949191,"id":"Q2949191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$B22D1C00-A379-4161-8D61-30AE3FCDEA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$A1E9D231-8A06-4196-B79E-BFA2F0EA134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e9fe86044a1ae9dcd1d656f7c3841b1a5833c5","datavalue":{"value":{"entity-type":"item","numeric-id":2819803,"id":"Q2819803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$D9C0DA87-E16D-4C5A-B079-C3EAD9C359D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c4a5ba538113e776e922542f26f497fdd2f7e1","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$0377DE3D-6D22-4243-9FE0-B47BC2364D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b731e7eb12d6802f70a57177abc79ad5ac2b7675","datavalue":{"value":{"entity-type":"item","numeric-id":2981989,"id":"Q2981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$173BAECD-5ABA-48A7-AE9D-F2732D92FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$09EF271B-CBB5-46B9-B58E-A276A746A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$507F8246-BF47-49F7-8BC2-36D3123C4CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a44ef094b8b1db1bffdd3654dc8d2dc861c773e","datavalue":{"value":{"entity-type":"item","numeric-id":5370886,"id":"Q5370886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$342C40F8-5D6F-4CF1-ACE4-1D97C440E895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0dd7b3a435064956166d964ddebd6d82e7a661","datavalue":{"value":{"entity-type":"item","numeric-id":2819804,"id":"Q2819804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$AE712241-024F-4480-A235-01A8A85A99EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8d9876fc4b1bc762aaa2e76ab4503f7e596a90","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$5B832982-FD3D-44B7-94A4-1404054CFC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36fad3c686c1098aefc3ea38c58cd10dd64cdc3","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$FF3BC260-1D9D-423C-B02C-499FF364FE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e478b454a848e966dd19d4bc1adbaf619f7c7421","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$A16621D6-0D0C-452B-9E0D-B36A21F02F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$A5841ECE-18F2-4111-A415-1C161AABB69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb216eaea9ef5909bc774221bd6070ac3f48525","datavalue":{"value":{"entity-type":"item","numeric-id":2926649,"id":"Q2926649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536305$96085E33-705A-4C91-892E-477C41EF5F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8ef4e6f06284c52a30b34d694b52e6a280e889","datavalue":{"value":{"entity-type":"item","numeric-id":2819804,"id":"Q2819804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd27ea92ec1d4795349ff3a3033e7278964b3ab","datavalue":{"value":{"amount":"+0.805781900882721","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":"Q6536305$45FC0B7E-D6E6-4CC8-830A-F2FF9C6CFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b006d7c3a325d3d8fbf0c697205f66cd2266aec","datavalue":{"value":{"entity-type":"item","numeric-id":5398336,"id":"Q5398336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906ae5a639bf4d5483f34108fd46044b168e32b0","datavalue":{"value":{"amount":"+0.7746275067329407","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":"Q6536305$678AEE32-B145-4D7B-8E26-96EA5AC43A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7a538c47871cfa0fd1f3ef981dcd17c544a18e","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dcbd8bb25ac8a53a2735f22933c500c38a045d","datavalue":{"value":{"amount":"+0.7731531262397766","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":"Q6536305$62BD9659-696F-4D2C-91B8-A9D476ACC579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fbeaf5920feb31958054f7fb2f25e801064732","datavalue":{"value":{"entity-type":"item","numeric-id":3000571,"id":"Q3000571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc2b4f48503879bc5dd118c8ea0cdce3d146cca","datavalue":{"value":{"amount":"+0.7598241567611694","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":"Q6536305$AA51AD99-F230-421B-89D3-DC02BDB63B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51d22e2960dc0143549f8da5c398c78201ca94f","datavalue":{"value":{"entity-type":"item","numeric-id":5370886,"id":"Q5370886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ab4c77cb3f39c96f6f02d972f7febabe5d4a62","datavalue":{"value":{"amount":"+0.7538844347000122","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":"Q6536305$88EB63A6-F159-4359-AF98-8AEEE6AED38F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536305"}}}}}