{"entities":{"Q3064169":{"pageid":3074885,"ns":120,"title":"Item:Q3064169","lastrevid":58112091,"modified":"2026-04-03T20:44:09Z","type":"item","id":"Q3064169","labels":{"en":{"language":"en","value":"Refinement types for logical frameworks and their interpretation as proof irrelevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5828007"}},"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":"Q3064169$28E13661-625F-410F-A819-6AAA90AE67CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63380c8b1698fab5bb0d1458f911c68c4de17bd2","datavalue":{"value":{"text":"Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3064169$9779F8EA-0406-4A4C-B1DC-FE7C0FC25D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"600305d57718d722110763a63febfb1e72933d9c","datavalue":{"value":"1202.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$41DE876D-A0D4-416D-A033-AFE83BA0442E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59db5563fd3b73b4ef3d219fa2c4ad3884274dcd","datavalue":{"value":"10.2168/LMCS-6(4:5)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$B7C8BFFB-60B4-46F6-A73D-EA13F4F732B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e288457c9d1f48601505d7fe21df88c418d5a038","datavalue":{"value":{"entity-type":"item","numeric-id":2871878,"id":"Q2871878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064169$B77F7F0D-901A-4B41-B1BF-F777C0E95C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064169$09A5428C-491D-4359-9070-28A153842079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064169$5B80C55A-49F7-4E95-9D6B-714DF2AA7ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79bc2204c9544f0bf0ce0dc7a60244bd9899c05a","datavalue":{"value":{"time":"+2010-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3064169$FA313736-76A5-4B66-8A72-7A928F78C151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f3288ee4a64af97349dc876acaa7e6559e561e","datavalue":{"value":"https://arxiv.org/abs/1009.1861","type":"string"},"datatype":"url"},"type":"statement","id":"Q3064169$E8709F0B-E765-400C-85E2-189E6E91D2E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$A9F7E190-EB04-46FF-B22E-6906CEA1D2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$EE9CE456-2DDC-421C-AEAF-AF4AE7E9B9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$456E5D46-DA44-4A4C-A586-D5EA22F8E349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4415dff8a458124b7f26ef06904eaa8fe7407bdc","datavalue":{"value":"5828007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3064169$127DADFC-3C9D-4F31-9598-D495B19B1174","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064169$1596CBDE-4932-4FB9-8D42-394350FBDAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064169$DF83A03E-2301-4EF5-ABE2-9DB2A3F4EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3064169$3245D552-1387-4956-B97C-9A12A257E992","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064169$920F0499-AB6C-45CE-B98D-CFBB6251F2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3064169$284D2860-31B2-42D0-8454-60090C4F91BB","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":"Q3064169$406D63B2-70DB-4616-BAD5-86B7327A4498","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":"Q3064169$4726AB22-1E66-4B80-978E-11A78E355D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f1d80d053d0aae0b9fb2a89457673c62032bdb","datavalue":{"value":{"entity-type":"item","numeric-id":3637193,"id":"Q3637193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2848bd738d7e1f2a85135cb2f5bbeaa7c10de6","datavalue":{"value":{"amount":"+0.9390596151351928","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":"Q3064169$0B06FA88-4867-4D92-9BAF-AFEBE2FAC4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538f59f2f47ac861685fa7159300fe779d13b403","datavalue":{"value":{"entity-type":"item","numeric-id":2871879,"id":"Q2871879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86645008f1768b6ca30af428fffbd4e2aa662d6","datavalue":{"value":{"amount":"+0.7932125926017761","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":"Q3064169$A2ED02B1-0D80-4D6F-AB7A-126F8209056D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e1add42ca357fe9d26926200613b2b4fe19f8d","datavalue":{"value":{"amount":"+0.7220923900604248","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":"Q3064169$7EFB9DB0-8F5E-43D5-A306-4D4835DBBB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ca46566fda6e5ddaa75cfed81904d6f3f2b404","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c173bc899f2f1fb240f9079e46d5e0ea130269","datavalue":{"value":{"amount":"+0.7072375416755676","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":"Q3064169$37DAC58E-1339-4990-A9BE-9BD0D5F78F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9425ac4f2b0d553e23ac5338717734486a1b4b37","datavalue":{"value":{"entity-type":"item","numeric-id":3060978,"id":"Q3060978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a903940e07de558c755edae2c3fd420891225e5b","datavalue":{"value":{"amount":"+0.7067398428916931","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":"Q3064169$D243C7BD-E1F2-41C9-935C-01F66913B1BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3064169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3064169"}}}}}