{"entities":{"Q4903718":{"pageid":6933297,"ns":120,"title":"Item:Q4903718","lastrevid":51637769,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903718","labels":{"en":{"language":"en","value":"Intersection types and termination properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128570"}},"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":"Q4903718$98F7AEBE-77F2-4FFA-8E88-D3AB35AA58E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"518532a7c6de992d94b1ec0a21449bcb558e089d","datavalue":{"value":{"text":"Intersection Types and Termination Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903718$D44899E3-704B-451C-9E20-7F26F5FFD3C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8d36306160834ce36884fe90041fc056a6a0e3a","datavalue":{"value":"1266.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$DA61CAEB-E64B-46FF-94C8-D92055B00001","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9e831fc12d9b7be4e01476807ed9c4b06bdb1b9","datavalue":{"value":"10.3233/FI-2012-775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$30D28B25-984A-4172-AE56-6B68654E3419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3988f98b05642e3bc187c3dafb8ec055c3d6c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":2276942,"id":"Q2276942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903718$5D8D3751-F786-4AC7-8D49-D33557FD5E77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903718$F65978A4-E5C3-4511-AFB6-2A4173385EA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903718$E6EC5E84-CD9A-4FA2-9B2C-8BEF54D5BB3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$6560D818-A6B6-4C8C-98D9-13AD9800473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$F0DFF742-908D-466F-9C29-6C408DE8A83C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"054a9928aa269d48cef89efae5c1a7c990ff555b","datavalue":{"value":"6128570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$AD61D92B-B314-4B8E-9CB4-AF71BA08DD27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903718$AB255638-13F5-4D98-82D7-F699F1F1B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903718$2AA862E2-6654-4F91-A5B5-F7624C17140E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903718$C99BEBB1-A55B-4A99-A062-8C2D0FD97D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903718$0E4EF611-21C7-4DDE-A2C1-A2D300F57B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903718$386DB79B-62B1-43D7-8E0D-1331CA0E394A","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":"Q4903718$683FC203-10C8-4458-AE11-5DBB917074DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5805e825451a875cbfe799df8913982935564cca","datavalue":{"value":"https://doi.org/10.3233/fi-2012-775","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903718$F352CB61-A415-47DF-8C50-162A8718CE3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2da4c8b0bcc84df8f725e6e764947a6be4ca15","datavalue":{"value":"W1898802113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903718$98233E39-EED0-4924-B636-2F9B8A7C6DCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcffa8894e2339f068fc5f5814ba951cff769c6","datavalue":{"value":{"entity-type":"item","numeric-id":2566033,"id":"Q2566033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb49e0bdfd029ee252bd44b2fd904d18a70966e","datavalue":{"value":{"amount":"+0.8199329376220703","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":"Q4903718$34AF1A4B-EC7F-4398-83E4-3DCBA68F1372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee482c69d1c03ccdad4af08b4279047c87ce18a","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8f5cb749c2ac2ffacb77fdd5ddfb64a2bef19e","datavalue":{"value":{"amount":"+0.8147066831588745","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":"Q4903718$DEE8E8EB-6887-4778-9A2A-0CED037D3710","rank":"normal"},{"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":"7326265720f94fe2458f0e0a8ccb121ae47eb6d7","datavalue":{"value":{"amount":"+0.8119478225708008","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":"Q4903718$667A56F2-2ACD-4623-A0FF-7BCCAAADE375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0714c1ad7271fe06a92ec21537edeaf4889a8418","datavalue":{"value":{"amount":"+0.8094703555107117","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":"Q4903718$660038BA-ACCB-4063-A971-C52CBED072DF","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":"bc12af0de8046aa73476ae14a8c54f6698441fbc","datavalue":{"value":{"amount":"+0.8067243099212646","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":"Q4903718$1020F73E-40BF-4CB5-A3CE-B6728C7F842D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903718"}}}}}