{"entities":{"Q5971392":{"pageid":8148188,"ns":120,"title":"Item:Q5971392","lastrevid":52700654,"modified":"2026-01-23T07:32:02Z","type":"item","id":"Q5971392","labels":{"en":{"language":"en","value":"A presheaf model of parametric type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664926"}},"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":"Q5971392$921F0F56-5B63-40D4-A5B6-7B5258059751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af1098c50694303d69d6146a1309dd893808356d","datavalue":{"value":{"text":"A presheaf model of parametric type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971392$098718C6-569D-45B4-BCFE-07161A29AC35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6503292ce53d11c75921f3e7763b6669cb44d680","datavalue":{"value":"1351.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$E5F3D59B-772C-4B04-97EC-8ED3182EB076","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":"Q5971392$DA3F266C-6197-47ED-828F-6111FA13B83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$4C0822F8-698A-47D9-9D11-EFFD093716DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"512a8f9a3d9286425feb1704ab2ae28880d53e39","datavalue":{"value":{"entity-type":"item","numeric-id":2986789,"id":"Q2986789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$45CDF720-127C-472D-BC2B-633FC89C48FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$33C7A9F2-AEAD-4F43-9FBC-77E96F04863F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971392$77EC49BA-3172-4DCE-A288-501949A29C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$EC61D6CE-074C-4F0F-9AE8-8AAA9C21DC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$443B9AD3-208A-45F6-B8F6-7EE1FD627456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$7B802C98-DE66-4862-8F02-BD0C43CAD68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$60C6E780-3DEE-45EA-8534-5E01962044C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6387011666987572fc0ca933b890cfe1e3e8156","datavalue":{"value":"6664926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$13B41717-C594-4DFC-A96D-917E056407BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971392$ACD40BBE-9751-4FC6-82A3-16183D8026F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9549b9b59d12b51bdff96e0de2f12a921c8bcf1d","datavalue":{"value":"presheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971392$2F52240C-2123-48D1-9DF2-C57D193E4427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971392$A87AFCA3-B6F6-4959-BE9E-0BD46C4EAE55","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":"Q5971392$C8A807A1-D001-4386-96CB-493BFDB6EF22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fae3b0b2d39c83ef57d10e61c9bffaf3cd60175","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971392$49788008-FC0B-4636-89DD-7182FAFD6616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdbc638b52b6a40f332de3f197b6e6b5d33d84d9","datavalue":{"value":"W2148275052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$67A45FB0-4E66-4A75-9944-E5FEFBD56813","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"367ec69b98dab04f92e5bdeea5224d66b2baedc4","datavalue":{"value":"Q113317736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$75449C2F-813E-4315-BBBD-EDFB980A59D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$20ACAE7C-DDCC-4F20-98C7-F2F2658C12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227ed32b547e0189aa789e582cf93de4da5af35a","datavalue":{"value":{"entity-type":"item","numeric-id":5371043,"id":"Q5371043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$05AD9AC9-A266-4AB4-9A85-5AC0A2429675","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":"Q5971392$6AB06B5F-8046-4E87-BD7C-E2683177953E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eaf49138713565599e7343411da476b66f8d2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3000602,"id":"Q3000602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$104A305B-4953-4100-92A7-C1F8EF7C8610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa3fee9904ef2d514238b07722c21a5047ba696","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$F7663FDE-D2B7-4409-BB89-0735282AFCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26be07e1b0f74693961d9bc40d199ed44b0c024","datavalue":{"value":{"entity-type":"item","numeric-id":5244789,"id":"Q5244789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$2D6FF702-1566-4F04-9028-03C4E5CE1D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e154aa9118f1cfec335fe4b3f0ee878903e59e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$A8382DA2-7C37-4CBA-A264-7D255EF9168A","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":"Q5971392$21D6A42A-50EF-4672-A23D-9944C52C029A","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":"Q5971392$140E563A-C681-4CF9-B2A0-0102148BE42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$D857ED36-E838-4331-8E3B-D4C0322778B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$CF86BA2B-F7A4-4510-8D49-36F7F7B79189","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":"Q5971392$2B851876-83F6-4A9D-9C29-EB5AAB7EB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$6FBA271E-1F8D-4CD1-A0EE-65075F8344FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa702d7d109a22b360d5066a3e267a9b5cb26b6","datavalue":{"value":{"entity-type":"item","numeric-id":5176983,"id":"Q5176983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971392$C526CD58-BE28-4514-91D7-065F4D8ACD6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14ff635ccd70807a76ade350ff1755da1bf2397e","datavalue":{"value":"10.1016/J.ENTCS.2015.12.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971392$DB7AFFB2-8624-4147-8A12-AC43DF4FF62D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ac623f8164632ca736cced5382c948cc6e5cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8eec352ba9e3d15b54ca7c4d9103c857e5b3ea5","datavalue":{"value":{"amount":"+0.7839362621307373","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":"Q5971392$D3B91E7A-01B9-4FE3-9001-344E33459938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645ad25b577ad22d25dff575938608584a841b56","datavalue":{"value":{"entity-type":"item","numeric-id":5028425,"id":"Q5028425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa0d02b21e6cacb95dfc2568d59ced4c07cc4b9","datavalue":{"value":{"amount":"+0.7717287540435791","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":"Q5971392$65556FED-E593-481A-BC94-B6E0B1EE3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4e09f400a0a6430d738e28b58e00c8960cce8","datavalue":{"value":{"entity-type":"item","numeric-id":2958537,"id":"Q2958537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff45700103e74361a27ceeb7deb2e923c171f747","datavalue":{"value":{"amount":"+0.7568314075469971","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":"Q5971392$B73894DF-B8B4-4D71-9A08-5CFCA5E8ABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90089d6df52c290ec234d616f19f72a44010599","datavalue":{"value":{"amount":"+0.7539927363395691","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":"Q5971392$C59C5C3B-77DA-4803-9137-C56D707F2A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bcc8aeb44460893848e59e91008ebee928816a","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9db44acac1fd8c351cc5da89bb4bc05f94478f1","datavalue":{"value":{"amount":"+0.7506501078605652","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":"Q5971392$39D1921F-F1C4-46B2-B4A5-0809891F0E05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5971392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5971392"}}}}}