{"entities":{"Q5043597":{"pageid":7073174,"ns":120,"title":"Item:Q5043597","lastrevid":56753292,"modified":"2026-03-23T11:58:59Z","type":"item","id":"Q5043597","labels":{"en":{"language":"en","value":"On sets of terms having a given intersection type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596583"}},"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":"Q5043597$BDE8272A-1558-4F9E-A18A-D1E4F2461362","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d67e625d57413f55e6524a6e0d2a5e8f1cf29ccc","datavalue":{"value":{"text":"On sets of terms having a given intersection type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043597$AE95243A-A731-47BD-BD5C-41709C6C2F1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$B950EA5E-6714-499C-82DD-B525A8335898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$88AC6E46-E853-4530-9458-26ADBE689097","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$005E1479-2197-4896-BF37-BC10211FDC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5043597$108EA091-E387-4DBE-8632-1CF4242D4F80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04a31ad43ef686d693d48ea04d7886e22af3a512","datavalue":{"value":"https://arxiv.org/abs/1809.08169","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043597$A2E4C1A9-26CD-45F7-8DE9-CBC523533B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043597$55D3E134-CE7A-469D-9FCB-165824535D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043597$65853F8C-EA25-4EF0-92E5-44C7FDFBE957","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cd4c3cffc1fa9f7367e0906793f27d4c6abcf93","datavalue":{"value":"7596583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043597$BCD70651-0214-4FDC-8727-C1877FEC8630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043597$2A2E84F0-1CB9-4513-B103-6A22345095F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd63671df0ad391f9302dd46fa1ab4fca9e56d4","datavalue":{"value":"uniqueness typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043597$A0037F9C-4485-435A-9712-C64493E910A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043597$4C25B466-E595-4567-9F16-A6C75D8E6BC5","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":"Q5043597$D2C474CA-6139-4F58-853E-A94A213AB48A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e49109c7f7a29f4fcdfe9a73bd6272c64f89580","datavalue":{"value":"W4289542596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043597$053588B1-5846-43C8-A99F-C5EC6C097242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$857F31DC-3119-44B8-9D95-0E48D12B27C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$DABD9C13-FB52-4262-A7A7-BBCE7DA87117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$0ABF131A-CB99-49EA-B37D-77CA43B9FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$A60C0592-2B9A-4C98-8FF0-0438C4F174C2","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":"Q5043597$D3DE2C5C-94F2-4982-9225-E3B0580FB12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584123c13fa29e5ed8a103f25bcff5db3af2f51d","datavalue":{"value":{"entity-type":"item","numeric-id":2889181,"id":"Q2889181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$18E280BC-A391-456F-8CD1-ABE93DEE9974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b785c0bb451256d53294bc267f11e79faff1dd5e","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$F47DB735-E46C-4FC5-9467-5DBFF6559079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a292200e8ece9220edec7ee9558d02e9f5d54","datavalue":{"value":{"entity-type":"item","numeric-id":2915703,"id":"Q2915703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$FCE463D7-819C-4459-AE11-D9689541CC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c51f0549effb7c4b70bd53d02365b37856dbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4626432,"id":"Q4626432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$BA26CC62-A610-4F6C-8A61-843B831E84DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380ea457d6474b31f8ad58577d88982a6e4a3e51","datavalue":{"value":{"entity-type":"item","numeric-id":5898150,"id":"Q5898150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$FBB89A15-82FD-456B-A9BC-95FC27BF604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$CA4CDDFC-6959-40CD-9682-86A8F87A1262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44fea3f6a92dd40bad7c5ae2fcb2a71bdbefe2bc","datavalue":{"value":"10.46298/LMCS-18(3:35)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043597$9103B063-02F0-482B-AEE1-E44EC9839FC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07253e62cafd1991e47c8bd25d42c55970e0ce24","datavalue":{"value":{"amount":"+0.8383908271789551","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":"Q5043597$D4955FB4-8614-4DAA-8901-76D29B1806B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f1b780cebde05557ec99994f3a49c1f3a4ef09","datavalue":{"value":{"entity-type":"item","numeric-id":1854555,"id":"Q1854555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c22e6382bd7820ffbd5450f468b1e208d535a84","datavalue":{"value":{"amount":"+0.7897038459777832","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":"Q5043597$A36D2534-D924-4942-80F1-70F0B69DA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e24fba81ee90527427cb20b65fbb1bc00c52a","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048e1bd7a3a92a551c9ea32c7f5bfeeb24f0c148","datavalue":{"value":{"amount":"+0.7825298309326172","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":"Q5043597$77A4F0A0-71CE-4E85-95A5-1F9716BBC751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3bcec2300d72928343a038cc29924b55117a92e","datavalue":{"value":{"entity-type":"item","numeric-id":4708431,"id":"Q4708431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c059486cbb7489256bf38844c35e26f9a3cededc","datavalue":{"value":{"amount":"+0.7780141830444336","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":"Q5043597$30129CC5-2ABD-48A8-A6E9-7D8885C5F204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2483ea6927d7034b5661e5bd3c0c5ea91395a672","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac86dbf6eaeb4e23f4eca8a70b85ce7cf0259d6a","datavalue":{"value":{"amount":"+0.7766112685203552","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":"Q5043597$BA60E776-5ADA-4B10-8CBB-A2AB5928CB7C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043597$08DC102F-29A0-42D9-A3A0-241563C754D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5043597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5043597"}}}}}