{"entities":{"Q5901480":{"pageid":8009189,"ns":120,"title":"Item:Q5901480","lastrevid":101933729,"modified":"2026-06-06T03:09:59Z","type":"item","id":"Q5901480","labels":{"en":{"language":"en","value":"Consistency and Completeness of Rewriting in the Calculus of Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528319"}},"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":"Q5901480$0E0150B2-4A9A-4462-BB84-B0CAF7C8DEAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c172e33b48daee4e0054247aef0e2188beec4f7f","datavalue":{"value":{"text":"Consistency and Completeness of Rewriting in the Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901480$4FEF8AF7-8811-4393-A235-9431429295DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea433b7a78b94a567aac6461714503487d765135","datavalue":{"value":"1222.68376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$DF4E9001-CB26-4206-B500-01BD21D9A43D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e8f617468c063812a396c77d685300646e3a69e","datavalue":{"value":"10.1007/11814771_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$4173A250-1353-48B5-BAA1-16E5B966BC39","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":"Q5901480$362626EC-A3B7-446A-B80B-A42F115066FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901480$36534128-5C95-45EB-A293-249F04B16D3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901480$56AA9EFD-6F01-4B5F-9F36-D2814C1F8391","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901480$1A6C5027-702D-4975-92BA-F75D7C6313CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2631b7de7fb0f0607f93f0ab3fd67e10d90369ac","datavalue":{"value":"https://arxiv.org/abs/0806.1749","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901480$2115DD58-5EA1-40FC-BA1E-DB202F01A4EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$C527A05D-23C2-454B-B9DF-D18A32F3B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$81770A54-DD3D-40DE-98B6-540552D28900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c1289e591bee3795f7d8ed42d9e51ca224472b","datavalue":{"value":"5528319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$C65A0B0E-C27D-48F0-968C-77C5D839364C","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":"Q5901480$A4DBDBF0-9EDF-49A3-87AE-3048C16E4B43","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":"Q5901480$0729F3DF-7C52-4B3F-922F-5A0F35F91CE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e7f8845fe349b968e5e82a8010c9b1c087d5055","datavalue":{"value":"W1542173269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901480$E237296A-D2A5-4E4E-B62E-DC96F27605E0","rank":"normal"}],"P1643":[{"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":"4d5fadc24a6c3f3bbd54b0428f472d6f7d44b4c8","datavalue":{"value":{"amount":"+0.9996866583824158","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":"Q5901480$F8F5223B-6E6C-40F5-B349-5C84B8753423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4e5f69ac10da5dfbf809d1b24702f6902e7150","datavalue":{"value":{"entity-type":"item","numeric-id":5747669,"id":"Q5747669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1283dc6a60f41b502b13d5fad011977b57473f2f","datavalue":{"value":{"amount":"+0.8476465344429016","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":"Q5901480$4AD332DA-44A1-46DE-8ECB-5B8DD3E44C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b93737dd207056426cade4e5dba1254ba6edf5","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"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":"Q5901480$07F0718C-5B93-4C4D-9C9C-E71B79D525D8","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":"5daf9960d413c1e6a49bef87044c71b3c9ff2f87","datavalue":{"value":{"amount":"+0.8212167620658875","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":"Q5901480$32D89B31-61E1-4AB9-B897-5EEF29B9CB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b85b92a612525e53f1940e47c9de317d158f38a","datavalue":{"value":{"entity-type":"item","numeric-id":3608814,"id":"Q3608814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20aefd3f96f52b2252af4a6c4aa396022f7613d6","datavalue":{"value":{"amount":"+0.8033142685890198","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":"Q5901480$9FA57C58-8450-4BDE-A493-A11AE34D2C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency and Completeness of Rewriting in the Calculus of Constructions (scientific article; zbMATH DE number 5528319)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_and_Completeness_of_Rewriting_in_the_Calculus_of_Constructions_(scientific_article;_zbMATH_DE_number_5528319)"}}}}}