{"entities":{"Q5900438":{"pageid":8005947,"ns":120,"title":"Item:Q5900438","lastrevid":101899478,"modified":"2026-06-06T03:05:55Z","type":"item","id":"Q5900438","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 5365480"}},"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":"Q5900438$134CBE3B-5475-407E-8753-52A9CF4318B6","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":"Q5900438$74C27ACA-3DEC-4BD9-A97D-D9B9A53BE204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec957feadcfdca92ec152669a547b6b56ab70c46","datavalue":{"value":"1147.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$13A0730C-3F4B-4EEC-A12B-97920FB59AF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76af78c3cfafcf3c2d224804304a943fb95e2116","datavalue":{"value":"10.2168/LMCS-4(3:8)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$BC9710ED-2EA3-4AFB-A226-A247F6670C7E","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":"Q5900438$6D75FEEE-09D3-4B85-889F-077DE929BE83","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":"Q5900438$367740FD-5DF5-4711-85E1-B5C596DDB2A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900438$79698E6C-FFB5-4D29-9675-2688EAD38B17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-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":"Q5900438$892BCDD1-E466-487E-908C-584FE45CDC97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$02C6CA58-90E8-4A24-BAF0-191A5029D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$AF2207B6-3D79-4A8D-AFAA-855E352799B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d29645f5444a938025a4f38f15983ae2c04d67cc","datavalue":{"value":"5365480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$0FB94E97-7C6B-4449-8EF9-C8B821DE98E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead1e79390a0e4436e688900e7702c91c388b98a","datavalue":{"value":"adding of rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900438$EC72402E-7A67-4B5A-AAE5-B5A922884D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcaee20b2d9c9d3854380f71e500a694f76f764","datavalue":{"value":"logical consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900438$BF0794F4-E535-4EEF-AA2A-41BD3F85AB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900438$069D30C8-2AA4-415B-9DBA-48E70A69D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900438$64008E85-B8C9-44C2-8211-4EAFC57FC90D","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":"Q5900438$3835A0B4-2666-419B-A61B-189468306B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900438$420B2A94-F62B-417F-9754-0E1957CEB989","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":"Q5900438$C50B7585-A697-486E-AAE3-5EC06878973F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"507e1bf856786d59d2e3e43379077cf13e5793f6","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(3:8)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900438$952A15FD-15D4-4E0E-8CDC-18D33AA92119","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddb313f031c3513359311960c3618c997a4a8bd2","datavalue":{"value":"W3105663870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900438$851A972D-3AD4-4088-B696-70008F8F8AD3","rank":"normal"}],"P1643":[{"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":"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":"Q5900438$C29D263F-C14B-4296-BD67-7C02BD285119","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":"16d865848dc14d3eac7076639f3568c9ff3b16fa","datavalue":{"value":{"amount":"+0.8479391932487488","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":"Q5900438$D8087783-444B-431C-860D-337C5AB181E7","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":"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":"Q5900438$5FDA91D6-DA61-460E-9695-DDB7F9B9B105","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":"180b2d82b519708e809785786dbccd4f8f519ef3","datavalue":{"value":{"amount":"+0.8212795853614807","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":"Q5900438$B8768C4F-96EB-4E53-BD93-968B469344B7","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":"e444390075622d135eeb062abc5ffa1b111a3b5e","datavalue":{"value":{"amount":"+0.8032508492469788","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":"Q5900438$72B0B8BC-A74A-4958-89F2-FB51FC8D0AE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency and Completeness of Rewriting in the Calculus of Constructions","badges":[]}}}}}