{"entities":{"Q4820474":{"pageid":6850054,"ns":120,"title":"Item:Q4820474","lastrevid":74726163,"modified":"2026-04-15T00:03:37Z","type":"item","id":"Q4820474","labels":{"en":{"language":"en","value":"Soundness of Coercion in the Calculus of Constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2108064"}},"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":"Q4820474$E50B6181-E6EA-44D1-AD7F-0D3B993A2BB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d0dd58160f859b179d5ecbc25b6e2a9ae3dc5ee","datavalue":{"value":{"text":"Soundness of Coercion in the Calculus of Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4820474$5E61D810-125B-4184-B7EA-7EF49797D78A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425893ace096893807f93541d182b393816f36ae","datavalue":{"value":"1060.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$0F438D5C-B703-4E30-A102-2AF5E6040EFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820474$885A94D4-DE51-4905-AE3D-66D2D58219D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d89478774456ded62a19904fc3ea510aad4b87","datavalue":{"value":{"time":"+2004-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4820474$3E75296A-E4AD-44BF-B0BC-208780716E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$E6FC7737-2878-432E-B34F-C9D83A2C5AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$3A9E6902-020D-4E61-81C8-C0A5C52AE938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7128b5e1be003ded8a4d09aa6d2e2bc4c878164d","datavalue":{"value":"2108064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$36340B76-4422-4856-A613-33616DA88FDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820474$FEE4D395-742A-4442-A02B-119E9452831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d1cd1651321f2e2bbc73d123c521d4ce3966d7","datavalue":{"value":"coercion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820474$C466F122-0B3D-4D78-8258-AA45739B7714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4820474$D6627267-B804-4EC9-B695-F4BDF0ADA43A","rank":"normal"}],"P1463":[{"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":"Q4820474$592022B2-5285-4B1B-B73F-8B020EE2FD25","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":"Q4820474$A28E221E-6594-4663-A7D3-F4F901344E91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e8a8aef18973a8447028705e86362a071fb72fe","datavalue":{"value":"https://doi.org/10.1093/logcom/14.3.405","type":"string"},"datatype":"url"},"type":"statement","id":"Q4820474$383A3283-7294-4D4D-932C-BD8EF3402251","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46a49b0de77582a255a51b39b08f68e662397c93","datavalue":{"value":"W1970925243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$4FCABED7-EBB5-43D1-AAFA-C7F547F323F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f741a42496c135fe2ba64d78d7ea42aa760cf12c","datavalue":{"value":"10.1093/LOGCOM/14.3.405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4820474$DF77890D-EE4A-4379-9DD7-3A4D5BBA5CBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4820474$9452AA6B-FD9B-4EFA-9093-B672637BBD23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48aae8fd39c8b4a66b19bb4c6c754b913540fee","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061206b044614151651aee8a4bf314924ef57efa","datavalue":{"value":{"amount":"+0.8933905363082886","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":"Q4820474$453BD5A5-ADF9-40BB-82B8-6DB6683B43B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef7fa85bdd314023f5d939539f7873b7fac70f8","datavalue":{"value":{"amount":"+0.8187506794929504","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":"Q4820474$C98FC449-96F4-4748-A403-C9502FCCAE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6272bff2ef2753562174842ca396160d3c8e9852","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef7fa85bdd314023f5d939539f7873b7fac70f8","datavalue":{"value":{"amount":"+0.8187506794929504","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":"Q4820474$EC07261F-FB01-4E01-9F73-C61F4991DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b88d9963b2bb4024578ef0cd0e36b6dbba0f388","datavalue":{"value":{"amount":"+0.8179026246070862","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":"Q4820474$18D2271F-9085-4223-AB2A-F5B61711D17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535b91143386cbec73fa2e9fb2300e11ad8b384f","datavalue":{"value":{"amount":"+0.8122388124465942","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":"Q4820474$C5F737CB-2722-43C7-83AB-6DAD3C4DCC7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness of Coercion in the Calculus of Constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness_of_Coercion_in_the_Calculus_of_Constructions"}}}}}