{"entities":{"Q4903717":{"pageid":6933296,"ns":120,"title":"Item:Q4903717","lastrevid":51637766,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903717","labels":{"en":{"language":"en","value":"On realisability semantics for intersection types with expansion variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128569"}},"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":"Q4903717$8CAEE82F-04B7-4D20-B483-87C861C0E8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d320132a84963ca336c8ce33f95dfeab01fe0c82","datavalue":{"value":{"text":"On Realisability Semantics for Intersection Types with Expansion Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903717$064CF85A-08D8-4D41-B979-853B85EECF8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63e337e7eb0d98fedb83f7e70620efd907173269","datavalue":{"value":"1272.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903717$A5E000DA-4878-4166-82F2-0E57B594A4AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b72ef3b48c55a72aad682942cd218e2c23f144da","datavalue":{"value":"10.3233/FI-2012-774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903717$7399A155-AD1C-4A46-A7F2-EA57698DC7E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903717$BA763702-A10A-4A7F-99DB-2875EBF97E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94e04c8c2512ac0b5c5096b1f636df023ddd07c2","datavalue":{"value":{"entity-type":"item","numeric-id":507362,"id":"Q507362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903717$3D2E1962-B551-4BEE-A1AE-D80DC535E846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903717$A6AAF491-CF51-49BA-B34D-8034D52B1D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903717$F72FD2E0-459F-4037-AD69-3C39FC6354A5","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":"Q4903717$45895E38-2E35-497B-A7BA-21AEFFB7824A","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":"Q4903717$5F89F3E9-8687-4AB5-941D-7C3052220CD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903717$4F4365B3-3A43-4291-AF68-9D9C9221557E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4b0f782f061375a4ba2e087c94941d2ccfa64cc","datavalue":{"value":"6128569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903717$27646966-303B-4723-8972-0ED42A28AB3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678089bab64f26544a4d7e1040529288e766da2a","datavalue":{"value":"realisability semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903717$3B5B18E8-2CD6-4CF4-A342-9F643DFE83F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0227cc914b920f91cb8ca351fd4e4576c4e00271","datavalue":{"value":"expansion variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903717$28E81E59-FF34-40B6-9EFC-7693C21061EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903717$6BC32505-5D3C-4546-A8A4-D5DA53CF38AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903717$7EBAD4D4-68DB-499F-A584-C6B7DACA9DB6","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":"Q4903717$BC9C50C7-E1D2-4C19-941B-D89B1ED2D865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b751daaca12fd82f128bee5dabc9df9f482bd30","datavalue":{"value":"https://doi.org/10.3233/fi-2012-774","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903717$F3CC1220-E8D4-4AA3-A55B-BD80F53DA301","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc044478725568b8320b2df656d0679d123eb591","datavalue":{"value":"W1656634778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903717$BD547079-85EF-4623-90D5-B449615F46ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6917a9455ca51f549bd39d4dccf9a6ef30cf","datavalue":{"value":{"entity-type":"item","numeric-id":5505601,"id":"Q5505601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dfb1e4cba400d053bbfe3160b870e83d12fa4f","datavalue":{"value":{"amount":"+0.9658034443855286","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":"Q4903717$341A308D-1E4C-4761-B113-0411100A11FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352ebd878bb922dd4f37b7f24b551b180f9c13f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851092,"id":"Q2851092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285d596bcbf6aabe93f4d4077396938d3679a124","datavalue":{"value":{"amount":"+0.8210784196853638","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":"Q4903717$F58C50CD-441F-414B-8051-3BD9B85C7A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241fa85fab1fbb8731063dc0d36ef24d03c1f1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5308705,"id":"Q5308705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebad2891045aeb0c94a7146690ada0d74e83897e","datavalue":{"value":{"amount":"+0.794084370136261","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":"Q4903717$30CD7229-578E-481D-B4EC-A8AFB0FF50B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"343efb3c93a1d0726dc89e08a5875cfa708ff09e","datavalue":{"value":{"entity-type":"item","numeric-id":4903714,"id":"Q4903714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab028a35d06de92fc3d583bb3322a775ab3d6a9","datavalue":{"value":{"amount":"+0.7762601971626282","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":"Q4903717$D772A353-26B7-49D7-8219-86D2A2F90B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b0dbff6ab1686a2772322cbff5b97194611de1","datavalue":{"value":{"amount":"+0.768824577331543","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":"Q4903717$C4819A19-979D-41EE-AFF6-5874D55103ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903717"}}}}}