{"entities":{"Q3179292":{"pageid":3190000,"ns":120,"title":"Item:Q3179292","lastrevid":52706342,"modified":"2026-01-23T07:58:11Z","type":"item","id":"Q3179292","labels":{"en":{"language":"en","value":"A realizability interpretation for intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667493"}},"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":"Q3179292$6E85ACC8-2806-4133-8C90-4FB1F6AA4A47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70947242b5ce3d90880ea2a21799fa95a4fe02dd","datavalue":{"value":{"text":"A Realizability Interpretation for Intersection and Union Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179292$E9A7A38A-E6FA-4917-A5E3-B94E0E093348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c395d6fd253cb3245cb75207a42269ed99e338ea","datavalue":{"value":"1485.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179292$6A6387ED-7A94-4934-8163-804C4387E4BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"904ea5da7437a99ec89d05404385cc43bbdb46a1","datavalue":{"value":"10.1007/978-3-319-47958-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179292$66E65CFE-6CE3-440F-9798-BC1EE00C97EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$0D816BA4-292B-44EC-9AE3-81CF8AA33E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$4EEB1DD5-E43C-458C-BF2C-A52E40B79B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$91BCA5A6-60BA-460D-B426-334F65070A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0f9f06fecf77307a35dd9e625719dd263175fb","datavalue":{"value":{"entity-type":"item","numeric-id":1698758,"id":"Q1698758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$1997B589-DCE8-41C7-9E67-709EFDB57433","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$0D3E5C5E-3947-4C3F-9D1E-EBFC4937C249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179292$949C3642-AA36-470F-AD73-367C9D67D137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"238917f9daada9bb7d1d3799e4f36ceb9ae81412","datavalue":{"value":"https://hal.inria.fr/hal-01317213/file/0-paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179292$6703CBD3-B38B-4409-91B6-904B360B974B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179292$9AC10214-4F65-4B2A-B5A4-23A904CC7AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e8d4bd7554faddb645a030b8c9886e7258346a4","datavalue":{"value":"6667493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179292$DD0A3DEB-7658-4C32-B1B2-907409CC14B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$075CE9CD-4291-4442-BE9A-C50D43F82F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$7E6F9473-A221-42BD-A59F-996250620BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5bbf77f7f6056d0e55fac094035de7178400fc7","datavalue":{"value":{"entity-type":"item","numeric-id":33175,"id":"Q33175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$7412AF8C-4800-4D35-83A8-DAB439346575","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":"Q3179292$478E2582-12BA-4CE3-905E-75DA1B8EE01A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ed6ee191937d4aed35c00f261a00e6398a60ac1","datavalue":{"value":"W2519014191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179292$47A09B33-468C-4D96-A355-D7A67DC8F4C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1a0a2327301d6b7d392f56d6312d170cd0ea93","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$EF02F2D3-D88F-4DB0-B16A-3077AFD6F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$F3CB0D57-FC8E-4679-B5DD-5E4E356C8DA8","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":"Q3179292$DA176A49-3142-4E75-8C0F-047A272B9A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$94E12998-8437-40F3-9911-80DDF89A7E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266951cde9d4d6e205d84e7e17950c7492546b46","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$6A253A34-EA73-410A-A58D-C4FFFC4CCD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$F07A0222-0CE3-45E8-9C6B-02345BC1C767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da91aee9b91a914d3335ad44bfa5497f94a4ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$4FEDCCD2-51B1-416C-8ADE-AA186C837C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1648bdcfaee094ba2a2bd47f6ddea0e5fb136a","datavalue":{"value":{"entity-type":"item","numeric-id":4916178,"id":"Q4916178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$CABF925F-0FFC-4A32-86F2-6FB1DD91953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6702cea0608dda49f9fd0c414c42b15c1d7b9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$E85B74AC-D1B7-4754-968A-7605B209185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd35ad3ed3c5403a3e23d07e67d9bc49df575d8","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$DC74AEBC-5F00-4D74-BDFD-71FE756032BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11805d1495c33264ee44cf930f8f0f04f6101d63","datavalue":{"value":{"entity-type":"item","numeric-id":5168879,"id":"Q5168879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$DA95F04F-13A3-4010-8279-6319752204F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$6EE66F3D-A5DA-4085-9A06-F729DBE80A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8192a60062b4ffd5625199647ad409694386fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4723730,"id":"Q4723730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$F58E41C5-9954-48D7-BD75-4D17AB6A1405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d5a6af42d172b77b05b13c0c63ca4f9ebeb6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$AF5FCC19-0A4C-44FD-8FC5-7026F0E8F494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c81e5d29138fadaa0991012a6b61d4de992c19","datavalue":{"value":{"entity-type":"item","numeric-id":916636,"id":"Q916636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$457CE236-95C1-4D14-BEAF-39C7C0D098D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$1D351CD3-0B30-4CB5-9B83-D737C09019BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$3F826B22-E668-4003-A178-BB31A401BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$C293774C-4D28-4BE5-8DBD-2487494CAB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$9FC4F058-6373-431E-AEB7-2A54E2BA62CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$D677BEB5-B6D2-46D4-B678-8D5DBE593854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$58E0E744-8492-470A-B12F-87769313F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbce5de4c77185caa8d7bc5b184a55acd88d3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$D51E8422-B9FA-4074-9F97-FBBBDEB34DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20042831b1f6c6ecd30f7c56ffcc730575175375","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$1A5194DA-4A04-4D7A-B360-960BCB42149C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b829e11b7e086e434ca5f59894bd994b3f0b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738350,"id":"Q4738350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179292$1B174F0E-E5D2-40B1-B5B0-74DCF534A634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e542305bf8cc64714cd14298eb9b0892528ea","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6368dda675bf0b648e143496a25e274378c027","datavalue":{"value":{"amount":"+0.8473582863807678","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":"Q3179292$75055A4F-5DA8-4E1F-A403-406C5388230B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d38d28c46ff1302439489f07643c13a8784af29","datavalue":{"value":{"entity-type":"item","numeric-id":4964689,"id":"Q4964689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4424a9994f86837da6b8503df3c4a5e7f8a577","datavalue":{"value":{"amount":"+0.846274197101593","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":"Q3179292$043970C2-97B6-4788-AA2D-79023B0142A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3730caeef5f657afff89553d6b6eeb732d93ea52","datavalue":{"value":{"entity-type":"item","numeric-id":4035227,"id":"Q4035227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb8ceefc17948e7dea374679b4399015bebaad5","datavalue":{"value":{"amount":"+0.8442357182502747","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":"Q3179292$461943FA-0416-462B-8027-998AE7C99309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb8ceefc17948e7dea374679b4399015bebaad5","datavalue":{"value":{"amount":"+0.8442357182502747","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":"Q3179292$7435C1B9-93F3-4BE3-A265-573C70150884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea4a3b8cb38b26c59fd6a1944a8686073731072","datavalue":{"value":{"amount":"+0.8065356016159058","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":"Q3179292$C1FF7100-D21B-405F-830B-F59B82042BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179292"}}}}}