{"entities":{"Q2844811":{"pageid":2855531,"ns":120,"title":"Item:Q2844811","lastrevid":83489516,"modified":"2026-05-07T08:23:38Z","type":"item","id":"Q2844811","labels":{"en":{"language":"en","value":"Ambient calculus and its logic in the calculus of inductive constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199474"}},"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":"Q2844811$E7552744-8F44-4E46-9A91-AD95B1701A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fda2ae3c76c9e920c70e93dfe02e298a12d2b66d","datavalue":{"value":"1270.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844811$ADC7B060-DDE4-4A5D-A7BF-201EA33FF298","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844811$D459ED51-6347-4F77-BC90-92FDC96FEFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844811$20EFFC7F-BF5E-4907-AFE1-9464260E89D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844811$868D2BDB-46EF-4FD2-BDA7-9BF07C754D39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ed90c83b57985b3f203c225cc35ebad6b720a0","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805073","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844811$96CB2F2C-5856-4729-8131-5BFA43FF75C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844811$BF36F9B4-3D04-49A8-9D9B-71F94EF36F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844811$4AC1C61E-09A4-46BB-A175-2DBEFF3498BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844811$26B91A87-230F-4334-A4D1-88BC88597C8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00419ecb698da7bf9868bfac115d88014a430461","datavalue":{"value":"6199474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844811$EE723D43-93D5-4B72-B53B-FB4CCD12A5F1","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":"Q2844811$C7237C1D-2171-4315-BB6C-DCBBA30660B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46189be390e57b660595e5965ed0f054fac66226","datavalue":{"value":{"text":"Ambient calculus and its logic in the calculus of inductive constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844811$CF5BEA6E-56FF-4F8A-A864-B7B930F1A1BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3421793f2b92dca65ac361dd3a987be334f3e53","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8634bc7b0d7a1b9fadfa385f3789133c4063921e","datavalue":{"value":{"amount":"+0.8112310171127319","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":"Q2844811$ED57F90B-5294-48BE-98D4-69FA0149FBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44f0f0b41fca00cb07169583428d5ca6e91c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2844039,"id":"Q2844039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41de8d1c632f1a0ad9833259d9cb2b2b06fc7d68","datavalue":{"value":{"amount":"+0.8064879775047302","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":"Q2844811$3E458DFC-B0F8-458D-BF1F-26E2866FE8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb8d73244b8204ce298b70d79c39f8565aebb58","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072f6b553f6cf9de8ecfad851626efa91cdf4904","datavalue":{"value":{"amount":"+0.8053755760192871","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":"Q2844811$32DE843D-E332-4FE0-8DBC-50EF7C5A5111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be720b63400f43790e1e6472af71a6fa3b956db","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d9b4798b7fea876d4c1e8a61df06a3e5adb862","datavalue":{"value":{"amount":"+0.7988956570625305","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":"Q2844811$F160718B-8184-4D4A-812B-48051912B34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcca467694dae300571567f6418124732fe4e3e","datavalue":{"value":{"entity-type":"item","numeric-id":5308697,"id":"Q5308697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235e7276a1c0ccab0ce9c00f6a9fe1d9010bee18","datavalue":{"value":{"amount":"+0.7936307191848755","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":"Q2844811$45980B5C-CBB2-40BB-A43B-683B33C84237","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ambient calculus and its logic in the calculus of inductive constructions","badges":[]}}}}}