{"entities":{"Q4457836":{"pageid":6487435,"ns":120,"title":"Item:Q4457836","lastrevid":48259018,"modified":"2026-01-04T03:46:40Z","type":"item","id":"Q4457836","labels":{"en":{"language":"en","value":"Termination of rewriting in the Calculus of Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2059566"}},"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":"Q4457836$0F988F80-C539-4F4A-936A-A0C6CC0F63F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47ceddbc82c488ffd0cbdad41ed4c62d9cb9f0db","datavalue":{"value":{"text":"Termination of rewriting in the Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457836$C630852D-784F-4DF0-B623-71E8199D36A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"524accb0725d02bc52ec439000c202975e756bb7","datavalue":{"value":"1062.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457836$DD005D43-E748-4F8C-A225-DEEB69DCB1EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59611c517d88bdc881ab49981ce7654cc1ce88bc","datavalue":{"value":"10.1017/S0956796802004641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457836$4776B876-6B84-4B32-A7EC-EF6BF5268A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6a6dadae360e4b9b95a575e492c478563663d9","datavalue":{"value":{"entity-type":"item","numeric-id":3535613,"id":"Q3535613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457836$F314B783-59CD-4C70-8AEE-33B8EF91D9F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457836$474198BD-ADC6-41A7-A2E3-3605238C287B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457836$BAF6DF4B-DD4A-415B-9F48-4B5C042DD36E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457836$11C8C490-B599-494B-AB9E-643949F8749F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"915b91d4662d276dbcc79fa8059fa5866e4ebe8c","datavalue":{"value":"2059566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457836$EEFC8699-DB00-4B34-BC54-69F00A849D23","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":"Q4457836$B2E499BD-6721-46D6-95E3-A8053634C699","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":"Q4457836$E3ABF99B-9EEE-4B57-9711-F9AF43C71986","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001a44078ef4b0792bc8a54209b48d355b9084c8","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a01b0aa47b644e2655ac4c39d2c3756d986df9","datavalue":{"value":{"amount":"+0.8447279334068298","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":"Q4457836$6C33677D-7013-4916-BC5C-7023EE00066B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f678253ce014fcf1381eb6542d46a7860faa4f38","datavalue":{"value":{"entity-type":"item","numeric-id":4657751,"id":"Q4657751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071aa7193695cd1cb8530040100ea9d647c3f3e4","datavalue":{"value":{"amount":"+0.8390258550643921","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":"Q4457836$D60FFBB7-1421-48DF-89DE-3B256E904380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d81984e73f41a703a072b9b75772081d74744e6","datavalue":{"value":{"entity-type":"item","numeric-id":5881282,"id":"Q5881282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f02f5064a79461a779d5ae90890703ef947dbc","datavalue":{"value":{"amount":"+0.8276906609535217","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":"Q4457836$0D0A9BAB-1A1C-409C-B589-F1FC2D6AE501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d93a382942fa2a2b36be0dcf00c3d90164584e","datavalue":{"value":{"amount":"+0.8232411742210388","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":"Q4457836$1DB188D1-1D4C-4E0D-A939-7DC1E9FBEAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9817febe5e99c59707029dc060b262c9635af8","datavalue":{"value":{"amount":"+0.8226260542869568","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":"Q4457836$B272357B-828B-40A6-AAE2-3A5EE790345E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457836"}}}}}