{"entities":{"Q3638245":{"pageid":5668151,"ns":120,"title":"Item:Q3638245","lastrevid":50699873,"modified":"2026-01-14T20:43:15Z","type":"item","id":"Q3638245","labels":{"en":{"language":"en","value":"A New Elimination Rule for the Calculus of Inductive Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574308"}},"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":"Q3638245$8B56E2F8-260E-47AA-8871-6606CF30DC1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0101c6a5f8cb8cf07ae34e97084f0c4f437cb0f9","datavalue":{"value":{"text":"A New Elimination Rule for the Calculus of Inductive Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638245$56BA01ED-5C46-4FA1-BEC1-BAC04EB742B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38baa135c959cd6d06b239e9b89a2ae48b251ed9","datavalue":{"value":"1246.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$6E486B74-A2D4-468E-83E7-63F680F0E650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4014e42baf8d360297e5b0808246c8bf2ab6fcb7","datavalue":{"value":"10.1007/978-3-642-02444-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$DE750F21-5023-40B5-9476-4156D932650D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26e1c71794d37584d6b37be5173796d517f4644","datavalue":{"value":{"entity-type":"item","numeric-id":2754028,"id":"Q2754028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$BB4554E6-3308-4810-BE38-016F7028FB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba22885585929376251b983dd7aa4f2529c0ec35","datavalue":{"value":{"entity-type":"item","numeric-id":2680866,"id":"Q2680866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$7A256816-494D-4808-8828-8814A6F2DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$A50A0E49-E45C-4623-A072-66C9E58F4F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$52CA6B94-7BF1-46B1-A843-12C000B16919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa5e0f8abfb3f1ea506b254bad83c448ab10e6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3638244,"id":"Q3638244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$1C21E820-1C12-4B4A-8268-1F9FFE20E41D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$7F3448FC-5EAC-4B84-ADBF-E32EE0596AA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638245$7ECF84F5-51A3-4C1B-B069-46CEB007E7E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$FA4EF0DE-D7D3-4759-B33B-E669E1945DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$167E78F8-485C-4544-836E-92ADE2BD4293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$7C38194F-AB22-4DCB-9831-EB822EB283F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b821b091b8d379cef850a360cdc8047f369560a","datavalue":{"value":"5574308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$F7DE3045-0D36-4D37-8C99-9A6995958EFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$B4C34C6A-9115-48AB-BF9E-81E15C132B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$0F3A9772-A3E1-4297-A6A7-174A6FD7EE59","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":"Q3638245$352F4F82-BC67-4EDA-B56C-FA362B084797","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9b1cf25e47dcb66293fbed93fc053d3869258d4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638245$9F8ED0B0-1E5F-443A-9A97-7CAD95F828DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d23f02a4ecb2be6af8b326f12385288829a88bd","datavalue":{"value":"W1571309311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638245$5C99DE16-3A2B-4570-8014-8F802D060349","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97aac3e9983bb038948e2fba3a98c71cc7d8d801","datavalue":{"value":{"entity-type":"item","numeric-id":5757920,"id":"Q5757920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$B5D5FC28-58B1-446F-9882-7D36EACFAC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfd356224155dbd75db29249481baba3510e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":5394302,"id":"Q5394302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$E6B3CC89-009D-4C48-B31B-841E6CEFEB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$3ECE43BC-1042-4783-BF81-B90A2CB1D8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$1BE2967B-C1F4-427B-8674-9A2C04BE12CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8cf2dc492019f717e5e3e0a386be0e43cff24e","datavalue":{"value":{"entity-type":"item","numeric-id":3559763,"id":"Q3559763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$4CD8AA03-66C9-4324-BDB3-23FE022AF730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba8bd57f8794d317056b114a38bf751913f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":3612448,"id":"Q3612448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638245$7B94D3AA-B409-42D8-A8A2-A0B00D81C10C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8539898db5b61c21ec1b6595d98c5f48208ec3f6","datavalue":{"value":{"entity-type":"item","numeric-id":5371975,"id":"Q5371975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2320c1bf2c6457b1cca0c71d7b70c70132cbf036","datavalue":{"value":{"amount":"+0.791964054107666","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":"Q3638245$8A3CFCDF-8BDB-4EDE-99CD-056BA48675FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adf72458b82eecde21137a71cec160c3524776","datavalue":{"value":{"entity-type":"item","numeric-id":5757920,"id":"Q5757920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0675a992c7fa9fc64cdc4e90f5345f2ba923ca1","datavalue":{"value":{"amount":"+0.7844418883323669","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":"Q3638245$D70F49E6-254F-4350-8576-1DA73857FE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf5160f2ae5534d814d632941273d2d234e9005","datavalue":{"value":{"entity-type":"item","numeric-id":2819686,"id":"Q2819686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0affbfd7607fbcbc0cc443d4010462f4ab7451","datavalue":{"value":{"amount":"+0.7736406922340393","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":"Q3638245$61C774F3-900E-4CF8-B28B-4CC3C26AD414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55446309c0901cc7b227f20e9eb6f3af5322b55","datavalue":{"value":{"entity-type":"item","numeric-id":5372010,"id":"Q5372010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7c15291671d8d764f740e393e8f46838f8a9c1","datavalue":{"value":{"amount":"+0.7612414360046387","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":"Q3638245$8A0E565A-6E32-4F6B-ABF4-3CE4FAC501F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708000713b6cdf341993e5983c9b8c36157e671d","datavalue":{"value":{"amount":"+0.744849443435669","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":"Q3638245$8C5D4A95-B0E0-469B-A296-82B346ABD095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638245"}}}}}