{"entities":{"Q3188282":{"pageid":3198990,"ns":120,"title":"Item:Q3188282","lastrevid":86626622,"modified":"2026-06-04T03:11:46Z","type":"item","id":"Q3188282","labels":{"en":{"language":"en","value":"Proof-Relevant Parametricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617686"}},"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":"Q3188282$4832AC31-CBF6-41AA-BAD2-0213EFE79695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cad36a2e3121813efa2ef218878b2c76e5bbfd38","datavalue":{"value":{"text":"Proof-Relevant Parametricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188282$73D18397-3EC8-494A-B7D4-E0DCFEFE436B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d9521bf68d54167c4390a5a6f25b8fc30cd57bc","datavalue":{"value":"1343.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$218B7373-3797-4870-AA1E-7D681656C324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc210ec2b94dd8b244004f96a1179d79a8f1ebb","datavalue":{"value":"10.1007/978-3-319-30936-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$B23DA93D-3179-4A5D-90E1-0F69A6E3F604","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$A893FA4F-DF31-4B7C-BAC3-FB24BCF0A544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bdf3d36e9ce42e8810d203cfcd2e72a91b62c0","datavalue":{"value":{"entity-type":"item","numeric-id":724936,"id":"Q724936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$BECC9714-2899-42FE-8BDA-7E81F39906E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07821dd6d6dbcf9b87c02ee0c8c8faae186e4bac","datavalue":{"value":{"entity-type":"item","numeric-id":2947461,"id":"Q2947461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$0AFCBDD8-8513-4233-976B-D9933FFC1616","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"30b138afa210da55cb9a06d15cf92f19c3ffcf7b","datavalue":{"value":{"entity-type":"item","numeric-id":3188277,"id":"Q3188277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$61D8F373-1855-49C9-B9B0-9A9B05A09A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3196c5237bc6566da6820e6255a2cd27163ff7fd","datavalue":{"value":{"time":"+2016-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188282$9123E6FA-7EA6-458D-8D6E-7936F636D3A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed72ba2bf1b81ccb70ef745d54eaeb621ccc50f5","datavalue":{"value":"https://strathprints.strath.ac.uk/64286/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188282$03912919-8F04-4B1B-9D84-8A90CE043A77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$45196DF4-5192-4849-81AB-FA708A0E7092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$ACDA9FE6-BA32-4BB0-B5D8-29576AA5F1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c47162faa3366b9844254575c00ca6f2c573e97","datavalue":{"value":"6617686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$B46BFAD4-344C-4CD5-95E3-13E7756ACDDA","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":"Q3188282$B31475C8-4C35-42DC-B2CA-9223796AFA6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25a525799309e0452807572b64c80de825a3509d","datavalue":{"value":"W2484548461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188282$F48DC19A-2E4A-4D81-A536-4BA922744B73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b56df43783f1ee1ac33ede87b59dadfc0b3214","datavalue":{"value":{"entity-type":"item","numeric-id":4649537,"id":"Q4649537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$5A0237EB-BE79-4A64-A557-AB69FC8D8F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$36B8BD1C-7A10-43C4-AB94-771461546BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a24fad2ff9db69533d40041ceeea69bfdb0cd26","datavalue":{"value":{"entity-type":"item","numeric-id":5971392,"id":"Q5971392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$0FDE92BF-BE6A-47A6-9AA3-F5057699B41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$9F304718-F596-4336-8F80-4E8A512CE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$62DFAEBF-2217-4956-B55A-70267F8D18E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4fc907233110cf6ea798294c0827e01035d68b","datavalue":{"value":{"entity-type":"item","numeric-id":1156392,"id":"Q1156392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$A9945018-AD2E-4763-9DF8-5D49730917DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c59c4f1c099bf3aa105699227af5848a751ebc","datavalue":{"value":{"entity-type":"item","numeric-id":636218,"id":"Q636218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$336852FD-5473-4D8C-AD86-C97F5B1EB8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$0060400B-37BC-4C9C-976E-9CCCC7DF5480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49862011e061c40f77cd7e82e87d964c5d5edab7","datavalue":{"value":{"entity-type":"item","numeric-id":3395310,"id":"Q3395310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$079301A5-7AF8-40C6-9B4A-4DA8DA540227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1be44fca92651157a6f097c2181a77e2a6d5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$D5DCA859-EDB4-47DC-86E7-5E5A6C450971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849a5d24298d5fafacfb54dd2578e6f846c4b45b","datavalue":{"value":{"entity-type":"item","numeric-id":2947462,"id":"Q2947462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$1824DF8F-FA50-4D22-A8AA-FE8598A69389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c2886dd17526dc69325b13dd6be4fc2add162d","datavalue":{"value":{"entity-type":"item","numeric-id":5193042,"id":"Q5193042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$03F3E900-D88E-4099-AED4-E6E71885BEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad5201318f40b2ac033a107b17bfa5759808384","datavalue":{"value":{"entity-type":"item","numeric-id":2958537,"id":"Q2958537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$CE14FFA1-9BAA-40E6-96A2-3D0544560204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$FAEBCEC0-A8D3-461F-9C34-B1BFC0F1AED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3683459034a240002f90c09e2ba2fe76d0cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":4369880,"id":"Q4369880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$A6C9C365-AB9B-477C-AE2C-AF3EB44F3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036e5c22d0346ebd8afe2f0065acf9457584fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1566861,"id":"Q1566861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$24FCF13F-79DB-487F-BC64-CEB2AECBD452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d684058f89a07ea799f6cc42f304669df6352c26","datavalue":{"value":{"entity-type":"item","numeric-id":879366,"id":"Q879366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188282$92166254-1ACF-4C14-B15F-43498A6CF697","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac1cb70d413200f825fa5275ee7edb79b8fffc1b","datavalue":{"value":{"amount":"+0.89358705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$B687A15C-2448-4697-BB0C-04E4F477EFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea51aa8b46322a71b92d5ca9d2d83318cb366e11","datavalue":{"value":{"entity-type":"item","numeric-id":1694478,"id":"Q1694478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20762b24280790cb68e6284ba558ecdc5a57b3e9","datavalue":{"value":{"amount":"+0.87637687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$9067E6AF-445F-49E6-B83B-C5AF32D5DB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec58512e961243446ca882b6a45f111a9d3f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b035137679334da09340679f20e11c5daa6812f2","datavalue":{"value":{"amount":"+0.87097555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$CDF92278-2713-4640-AE8F-87CD482974DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c2af1de7f58122c0be9cb361053d7c235e616","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b293d247e28a333bae9fb0b2b759de6ea051b02d","datavalue":{"value":{"amount":"+0.8706102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$45726570-FD25-44A1-9DE7-40793E88332C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8f8c95e408e802b80dd3811fdcc4ce5584c5ce","datavalue":{"value":{"amount":"+0.8634037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$465A9DCE-62FE-40CA-A83E-8B609D5F3189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3add2c57c62ccf6a1aefc7f31f1cb7c05bc9a0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5140119,"id":"Q5140119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38281f9838cedc8f2c66e23b0a8a6b06fa62f6d2","datavalue":{"value":{"amount":"+0.86084735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$0A7AD9AF-D5FA-414B-BDF8-A6BF1DCF8D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed706a74a9f1d8ae113012030bb4559fd2e7c63","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebd5ef4faff16e52dad90844c3aa05ec44e8794","datavalue":{"value":{"amount":"+0.8560154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$DFB4E1B8-2AC6-4AF3-AC49-6E9D4CACEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf053528b161a4de0c12986c8c0ac2abf54ccf9","datavalue":{"value":{"entity-type":"item","numeric-id":1297027,"id":"Q1297027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4040cbf135d260e9171788607c9dc8998b269170","datavalue":{"value":{"amount":"+0.853391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$8907D560-66FF-45FE-8718-C4B8ED71D326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ab5db63666d3652cb74817024c07c1bbdf598","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a56153ceede04e0017406cbab9a1ae36483b28a","datavalue":{"value":{"amount":"+0.8526404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3188282$47750A7D-6FC8-4218-8E2E-1ABD4830C00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-Relevant Parametricity","badges":[]}}}}}