{"entities":{"Q4632162":{"pageid":6661743,"ns":120,"title":"Item:Q4632162","lastrevid":53408402,"modified":"2026-01-24T22:14:40Z","type":"item","id":"Q4632162","labels":{"en":{"language":"en","value":"Extensional constructs in intensional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048067"}},"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":"Q4632162$D46621AD-B9E6-472C-BCD1-0E72A90A61A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5eaae80e5dfd0161c842f93d1a19f8e7d161d917","datavalue":{"value":{"text":"Extensional Constructs in Intensional Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632162$874F5CB6-9626-4ECC-AB1B-84352A6E4D1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6add39104ad1ccddf11d75eea825b680f357e9c","datavalue":{"value":"1411.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$A8079076-8E10-4779-9D06-F7E2C2584344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0d7c85bcc7d55683bf73e91f827b1a833ff0aa1","datavalue":{"value":"10.1007/978-1-4471-0963-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$4E468F67-BBC9-46B5-81EC-3DAD7170D9EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632162$C21B601C-0C31-43C2-9EC6-4E741C9EE92E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0368fcac4180a6b094041fe719d3c9855e55cde6","datavalue":{"value":{"time":"+2019-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632162$7EC700B3-67EB-4FC2-B916-462869417E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$4F61CAD1-09C2-424E-B26E-DA3BB5CA2FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$38327C1F-DCC2-4702-8D94-7A20821C51E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$CA58EE5A-6962-4C7A-8E77-100DF3ECFE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$A83A4AED-C86E-4538-B83F-897BEC21B454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$D49C60D4-6279-42C3-9F11-AF69B9104C72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38189cc7ecb5e7c3106ef7433fdfafa78d11538a","datavalue":{"value":"7048067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$EF0E9B61-095B-4FBC-B623-39AA9DA5671E","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":"Q4632162$A1B40216-8848-4315-9D27-DE99C5B424AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd47c11ef351a7192d6dcebe2a9c837dccfb8876","datavalue":{"value":"https://doi.org/10.1007/978-1-4471-0963-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632162$05BC183C-96E8-47F5-9924-1C1ADD89D7F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"668cb288a96039d3bccf08d236cc73c739c3a92f","datavalue":{"value":"W1481180394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632162$9C615149-F1CA-41A8-8F37-2A6DFE7A56A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb02f96daa6e4e21a1ed6c7402d449a1dfba3e7","datavalue":{"value":{"entity-type":"item","numeric-id":639262,"id":"Q639262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d113f069cd85d5288e871eee0bfd89ebdc372a","datavalue":{"value":{"amount":"+0.8162471055984497","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":"Q4632162$F687DD10-A37E-4AFB-8C46-4123EEE89297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16b1bba8ec90fad219ebb520a3535925fa67cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0335816c7f98e80de303d60d2807214cdfc9e841","datavalue":{"value":{"amount":"+0.8089122176170349","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":"Q4632162$8C8B848E-6B23-4BD6-BC2D-AE6571D961F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69d7da4e3f4778ab03a22c319a669731e63e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749963de8b606788758b98c69f2e0180d9468d49","datavalue":{"value":{"amount":"+0.7801655530929565","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":"Q4632162$D59D4E96-6B99-4E8E-8A28-A256662A734E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110f67ba70c5c7e6649841785eaaf89cf65235ba","datavalue":{"value":{"entity-type":"item","numeric-id":2925448,"id":"Q2925448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6753ee1618b422e60a4a6f3425c0e9d39993088d","datavalue":{"value":{"amount":"+0.7703106999397278","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":"Q4632162$4B7605A4-79C1-4F46-B88A-6A12BBC0B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81622c7d1e10e3d3586021e9b2a8f69e94eb54d4","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff29c192b3cb24a49754981567a45e32efe78d2a","datavalue":{"value":{"amount":"+0.7681609988212585","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":"Q4632162$8E5F3B5F-97EE-4630-9553-5CAFC68FA840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632162"}}}}}