{"entities":{"Q5505601":{"pageid":7535161,"ns":120,"title":"Item:Q5505601","lastrevid":101382233,"modified":"2026-06-06T01:07:25Z","type":"item","id":"Q5505601","labels":{"en":{"language":"en","value":"A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498388"}},"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":"Q5505601$F7490A21-4BED-4D31-94E3-5FE2E0326C9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0efe071b5f23a6ce54ba7248cebbb8461c5a6e54","datavalue":{"value":{"text":"A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505601$E7C94CF0-AC46-4664-95E3-DF03B603D62E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc71019a6f8a8d4a45e2fb35fd0ee8e81a2f8ec8","datavalue":{"value":"1161.68558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$F2DA14AE-BCE7-4340-96A5-BCF6A56D27AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69eecefbab325b4abd3f70ba977183dfb40f2224","datavalue":{"value":"10.1007/978-3-540-85762-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$17FA71F7-E6EC-43E8-8D94-A38560B5767D","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":"Q5505601$B7094FE6-9449-4209-90B8-C785C62B997B","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":"Q5505601$2A178600-4665-48E1-AB6A-AC107C500915","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":"Q5505601$1447DF54-8D80-4D1B-8D3D-BC0E7AD8DAC4","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":"Q5505601$C0B649ED-9724-4E70-839B-45B8997DDF19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed248be93f2dea7fdfc2631642f97cdf031ba329","datavalue":{"value":{"entity-type":"item","numeric-id":5505591,"id":"Q5505591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505601$5AAF2C03-8521-4279-A4DD-EE855F87950C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505601$BA5CF07E-7962-45CD-907E-8BE7A50FB829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d06226912bcc0a9af1c6fdc7b3b310e547ee2d1c","datavalue":{"value":"https://arxiv.org/abs/0905.1566","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505601$027BC126-6E8E-4DA6-A038-431162978F7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$432C4D28-A85C-4D1F-A281-27A2F37FC18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$5C0DCA21-39B9-46F4-B3E5-665FCC4400DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c8de18fe1f3d8c2435f1e5fb3272988b40a634","datavalue":{"value":"5498388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$5DDE541E-4366-4CF9-BDFF-3824EF74D598","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":"Q5505601$219CF346-38E6-437D-ABE1-8297ED5C2CFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77e434b5f07825b17653b0dd60bc78f2665578bc","datavalue":{"value":"W2136711795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505601$AD392900-9A2F-4A40-9BBB-96EC2E2C43EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565e4b3737d792654d3469ad4ab8768df765b615","datavalue":{"value":{"entity-type":"item","numeric-id":4903717,"id":"Q4903717"},"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":"Q5505601$C0BCF140-5DF9-46FF-AACE-D2DF798E3EDA","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":"3bdb517d68baf3846917e84f5cedeb65a19fd8f8","datavalue":{"value":{"amount":"+0.8070019483566284","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":"Q5505601$58BCC56F-8E44-43EB-9D2E-105AD2415713","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":"f44ff05968b6d0f6015dd2dbe34ed66285c3f8c4","datavalue":{"value":{"amount":"+0.78419029712677","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":"Q5505601$916CDE59-CB51-4421-B3B8-B639862DB6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4b957c3fac1fc75f644e3b074750278a310366","datavalue":{"value":{"amount":"+0.7781000137329102","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":"Q5505601$D48CCED5-499F-4C2A-B84D-0001001A398C","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":"d0b51804e973d2f387f762b45e27d78abb580fc2","datavalue":{"value":{"amount":"+0.7764798402786255","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":"Q5505601$E0BC9D87-E955-4EA6-AF2A-7EEC452519D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Complete_Realisability_Semantics_for_Intersection_Types_and_Arbitrary_Expansion_Variables"}}}}}