{"entities":{"Q3000602":{"pageid":3011326,"ns":120,"title":"Item:Q3000602","lastrevid":51249212,"modified":"2026-01-17T10:56:06Z","type":"item","id":"Q3000602","labels":{"en":{"language":"en","value":"Realizability and parametricity in pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897365"}},"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":"Q3000602$F26D0E5F-3162-4503-AA22-26FA8C4E3BC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a26ac900919597950e15132742af4ea3ce3b9cb","datavalue":{"value":{"text":"Realizability and Parametricity in Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000602$06CBA94F-8C15-4C4B-A94E-A498F8992178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d770a63a847fd8aa439ce57ab435919bc6ee12c7","datavalue":{"value":"1326.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$889A3D81-EAFD-45A6-A4FC-25AAE8B5325C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"090b910ad481171e777190becf9cc286be1d97c2","datavalue":{"value":"10.1007/978-3-642-19805-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$97ABB1C8-1E78-4D40-A780-71E23C7FCC43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9790df0214dc74b7e290106888ab3b69984bbcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2035842,"id":"Q2035842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000602$8CE99B83-2C8D-43A0-AD80-C6CF40761B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28e4cb3fd4ccb8acd371da62d132ddb40e7ff41","datavalue":{"value":{"entity-type":"item","numeric-id":283744,"id":"Q283744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000602$0FDFAE66-9814-466E-B242-817F3629F686","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000602$6CBF0416-4756-45DA-A654-F866A1891F99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000602$A297EE73-A2F5-4B54-9983-49B3C9E09F93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$CB10A735-B369-442C-8AC6-5A043CBEB346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$EEF04364-DEBD-4ED0-BC2E-8553C83A5ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$433CB9A6-C6F1-4CC6-9C4F-5D2AB42485BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"655fff42a2d0f841e06f513700776907b0c7d537","datavalue":{"value":"5897365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$EAC9BFBA-E2C6-4113-A818-46B19EEB8454","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000602$1E7C69F9-134C-4CCE-AF44-1DB4437A773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000602$DC4B581E-C042-40C5-A5EF-E4CD7F36D483","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":"Q3000602$218DACCC-3962-46E9-9D80-0788BE2656D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d9e00283c9f7434099446daaec6c085df095a35","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19805-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000602$2B0C0AB0-D230-4654-95D6-C46B2EC3F079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbc769258fb16c1e5a3d56cc43f84a2e1fd4a4e3","datavalue":{"value":"W2152414370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000602$33AE1115-E70A-42F2-897A-5C8C3ED854CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292c44aa865b5f70e8c78fb6355ff97ace67503f","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e1fc770f6fd221bbd2305aa039841e42b16033","datavalue":{"value":{"amount":"+0.8330709338188171","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":"Q3000602$50D58370-2EF2-458D-98C6-AD9FA63E13A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e36620af32cb2a8ddf42bcbfdd33d4f45b8857","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24cbfd094f9b5d9cf148d366685abe6a8181b92a","datavalue":{"value":{"amount":"+0.7958952188491821","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":"Q3000602$0B66FF08-48A5-4608-A9D8-83A1D0ED183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b13e65f3dbf5f4223ceeefebb92f0260fb072f","datavalue":{"value":{"entity-type":"item","numeric-id":3044340,"id":"Q3044340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae7c07bf757a9594eac92ab00f36f3121f08429","datavalue":{"value":{"amount":"+0.7956002354621887","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":"Q3000602$D413444F-689E-4640-9D27-5374A2D4FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdf043a2e7658745e988b5b4ad0ad8927ef26af","datavalue":{"value":{"entity-type":"item","numeric-id":3837987,"id":"Q3837987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb341fa5071ba09a604fd3c16fe7e8ca3222f21","datavalue":{"value":{"amount":"+0.7886242866516113","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":"Q3000602$B46FD447-FC00-44B6-8915-7B62AD1BAD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2dd721cb32296d5a4544ce9dd107292914674b","datavalue":{"value":{"entity-type":"item","numeric-id":3024918,"id":"Q3024918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c437b3f58c17cfd3533e7924aadbc905765df7","datavalue":{"value":{"amount":"+0.7849672436714172","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":"Q3000602$BE2FDE1A-04D4-4B4C-A63B-F4BCE648D4FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000602"}}}}}