{"entities":{"Q2968420":{"pageid":2979145,"ns":120,"title":"Item:Q2968420","lastrevid":52762757,"modified":"2026-01-23T11:06:14Z","type":"item","id":"Q2968420","labels":{"en":{"language":"en","value":"Definitional extension in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694188"}},"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":"Q2968420$59008D99-C2AA-450B-80F4-15D6766F5403","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95a494277444ed21783f6b11acadc07891f687c1","datavalue":{"value":"1359.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$E6C81917-449B-491E-8566-879FF79192B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2261eea6702366a04194f4a4fef3e85b11f07f42","datavalue":{"value":{"entity-type":"item","numeric-id":328129,"id":"Q328129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968420$505A34D8-8430-4110-A197-8DA3663FFCE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968420$26CC87E6-8F1A-41EA-B3C0-38A36F25E4B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$DC900844-B9BD-42E8-8FD8-7CFD2035B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$EDC83C08-9DD8-4595-AE45-600EE0A0E89C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa98893d418f4c416e04909f67478c3f6dabb33a","datavalue":{"value":"6694188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$17365043-C275-4C0A-B5DF-722E9D4396B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968420$C86B2EB3-9EEE-4963-99E8-0896DE7E8F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f13f40d1fa1cba40bdaa890f19d94855a46a951","datavalue":{"value":"definitional extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968420$90673AA8-B0C2-470D-B768-7350FC25CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775b93ad84fdee2915973da4578f856aa63d1a11","datavalue":{"value":"subtype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968420$B3DE987D-07DB-4E8F-AD7D-219736BE186B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968420$F0405DAF-165B-4F1A-8FA3-0E30D680D2FF","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":"Q2968420$36C5E21D-AC58-40AA-A924-AB30C684AF07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b7f3caaeb8666925f12fa99d8bdb60d4111052","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4635/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968420$0B2E9704-74D2-4DFB-A4BC-43F0FAE18327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89923301c6df76e2264fad21d1e9d457f6de3488","datavalue":{"value":"W2898556184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$02988851-BB84-47B2-B8F3-2723222AAF41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f53ec15e773bb22a909ef379ea492e3527da735","datavalue":{"value":{"text":"Definitional Extension in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968420$8FE16B79-D0BD-4434-8E64-DE020BEDED3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c194154f527db7f30e6002a99302c8d85f3074a","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968420$5B0EFD90-BEAA-4293-BA83-6797167A644B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6272bff2ef2753562174842ca396160d3c8e9852","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f37a80b07e4240eee6384f4c12e0e7685496d","datavalue":{"value":{"amount":"+0.7877725958824158","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":"Q2968420$CDEE2FF9-5D7B-4A6E-B203-E79AAA95FDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa142c6cb4a16cfcad3b17801e88cd109e09adf","datavalue":{"value":{"entity-type":"item","numeric-id":4435472,"id":"Q4435472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399f37a80b07e4240eee6384f4c12e0e7685496d","datavalue":{"value":{"amount":"+0.7877725958824158","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":"Q2968420$A0124E57-AFB6-43CC-A314-D57FC5D2CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a83f34a6d466ff8775991253d992d628241efb9","datavalue":{"value":{"amount":"+0.7791851758956909","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":"Q2968420$73380BA7-6395-4F09-861F-FF789A017C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5db0ad1cc20208b14a54151b78597243c48d07","datavalue":{"value":{"amount":"+0.7791337370872498","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":"Q2968420$A4648CDB-0F0A-4224-B6CD-16D8B960CFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841776116ee8ad519513988e313044cf2d35d31b","datavalue":{"value":{"amount":"+0.7711694836616516","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":"Q2968420$D385C876-EA6C-4FCC-8167-20D2D5D29596","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968420"}}}}}