{"entities":{"Q931404":{"pageid":933252,"ns":120,"title":"Item:Q931404","lastrevid":65435790,"modified":"2026-04-12T02:34:38Z","type":"item","id":"Q931404","labels":{"en":{"language":"en","value":"Asymptotic densities in logic and type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292850"}},"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":"Q931404$FAD67339-2F73-4509-AA10-108357512185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0b8d9e7aa801dc539fbdbe2b077f719373209b7","datavalue":{"value":{"text":"Asymptotic densities in logic and type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931404$ADFE25C8-42CC-47E5-B7C8-1CD2D74E5908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe0d0218ce73a8db452ce8079ce7fbe6d3f13da","datavalue":{"value":"1142.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$D7A9EC92-7BC7-4B8F-95F0-EC3BDDCE98EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fce13c76b03bec4a57e6b04fa4e225a456e870","datavalue":{"value":{"entity-type":"item","numeric-id":519845,"id":"Q519845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$733561E0-DA22-452D-BF53-D2565593336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$6034010A-B4C5-45FA-BB31-438FFE471607","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$4BAF0D28-480F-41C1-A91E-738CE08C4FD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d22e5aa1312e25f0a07a398d2f087c7d9d7a788","datavalue":{"value":{"time":"+2008-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931404$E3AFDE40-A657-4E25-BC9D-74B50D1EA1E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63df19e1da9fa7a8e100cde2f48c087c48c1c3e1","datavalue":{"value":"The authors investigate the proportion between the number of valid propositional formulae of a given length \\(n\\) against the number of all formulae of length \\(n\\). The particular interest is to find the limit, if it exists, of the fraction when \\(n\\to\\infty\\), represented by a real number called the density of truth of the considered logic.   A short review of the authors' earlier extremely interesting results has been presented [see Stud. Log. 76, No. 3, 307--328 (2004; Zbl 1049.03007)] and, in the sequel, it has been proved that the probability of randomly chosen fourth-order type admitting decidable lambda definability problem is zero.","type":"string"},"datatype":"string"},"type":"statement","id":"Q931404$5AFB5F6A-8018-4C63-861A-D13CFDA4B7BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$CA712128-1C1D-450F-9EDE-365FF867C277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$84120F3B-2611-4519-B1A0-76854434C937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$6F20F7CA-9B73-437E-8A47-C488AFB2B74B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa6127eb6ccde06bff924851d1f8d2f9e2be6ded","datavalue":{"value":"5292850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$262A0417-CE46-4B5B-AD1C-F719B04D9AD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q931404$F2B7C37B-0BC6-4E43-9F82-01FC9DDA5C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a29106375639db1da555a3243cec13e66397423","datavalue":{"value":"asymptotic density of tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q931404$67A5D4D5-62F8-4F54-829E-8B5E50A36FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4766f132847c75e167e31e96727f2dbb36c80dd","datavalue":{"value":"probabilistic methods in logic and type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q931404$85A5ECF3-5CB8-4868-ADB0-CA45C5D1BE90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$8EEFDE67-9428-4577-8F52-94C95F0EA38A","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":"Q931404$A83E49E3-AA32-4DDD-8985-384B2A01F4E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a1e7f97039792e620752bbb8a395bb784dee162","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9110-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q931404$BA8716B4-2934-4C5E-B4CF-F38044C19995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afed5f81f6d9b71867e89a25c8ce55b857ee1cb","datavalue":{"value":"W2154492192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$3506035F-4860-4EE5-A241-FFA9B5DE81F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2854cda7e5988d324d2751b394a4a2ff4b92b03a","datavalue":{"value":{"entity-type":"item","numeric-id":4769056,"id":"Q4769056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$792B52B3-1318-4ADD-80D5-CD9CF57F9114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76988eeb330b74201f9a4ad033a0fa0935f14c68","datavalue":{"value":{"entity-type":"item","numeric-id":3496337,"id":"Q3496337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$BA46FAD6-B5C6-46A0-BE23-9E476E7E5D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a9c231afc404909080472773d6b0ebe5d0024e","datavalue":{"value":{"entity-type":"item","numeric-id":3575996,"id":"Q3575996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$1E663484-303C-4C7C-B5C2-99939A058B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd47a8d2d181f84e90445545d2f5c03857e23b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4681365,"id":"Q4681365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$DEFCBD28-8A4C-4B1E-A773-937ABC7CFC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1917add7c489d02038777c2312a6df3b2aa073","datavalue":{"value":{"entity-type":"item","numeric-id":3643262,"id":"Q3643262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$5A3C2823-A0B2-4439-B447-C35250459D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d9a04354c74392b4fa6509da95ce7ef5b8e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":4826045,"id":"Q4826045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$C69E5C8E-B4F0-4E7B-92AC-56C442060850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f071ee277de0872e38566f410c4f5d18e68a6b","datavalue":{"value":{"entity-type":"item","numeric-id":3574988,"id":"Q3574988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$90E82485-77B7-48E0-876D-378D03881C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2c1afbe2ea8e17cfda6d0be606cd090c2c061d","datavalue":{"value":{"entity-type":"item","numeric-id":1826933,"id":"Q1826933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$2AC1957C-09B3-4C23-9E2E-7F2F9167AA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ee2c0680d9f15e7841f5f39651f053961522e","datavalue":{"value":{"entity-type":"item","numeric-id":4428885,"id":"Q4428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$7CC06BF9-7A43-48FF-9EDE-5A2BDEA762EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bd8c1433b334d5563b2f966c5aedcaf2ada96d","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$E80A5A47-EC74-43CA-B3F7-3929D31CFE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299d84bd8be4de2d299646c82508e4e61ad3db7a","datavalue":{"value":{"entity-type":"item","numeric-id":2851692,"id":"Q2851692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$A9AA8239-947E-49DD-8BED-50F9D64D1B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2330ca0732becd004147c331ff89990de545627","datavalue":{"value":{"entity-type":"item","numeric-id":4324964,"id":"Q4324964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$81782B3B-2561-4748-B878-8F592CAD5987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6eb4a945770a6378844e9bcad8b793cc0c301c","datavalue":{"value":{"entity-type":"item","numeric-id":5488260,"id":"Q5488260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$05FBB327-D576-4E90-BDD3-E682D0881E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3547537cf98c44e1171d389fed6b51e92af47b02","datavalue":{"value":{"entity-type":"item","numeric-id":2369016,"id":"Q2369016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931404$35A0D4A9-1AE0-4358-B477-D4F2460335FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d1af94ebd94d95847f8d48a321879e2f4a06592","datavalue":{"value":"10.1007/S11225-008-9110-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931404$29FED0CB-C5A0-4305-AFEB-0EE0630BB3E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b3929d8558353d74798b2d05a21fe03add943a","datavalue":{"value":{"entity-type":"item","numeric-id":4807688,"id":"Q4807688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0636942b18bd2a560bb6bb43ee77843661f179","datavalue":{"value":{"amount":"+0.8745318055152893","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":"Q931404$2B68F6BE-06A5-40AE-8041-56AE90982DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577b46ed0afb46f602df71296e463a1f781f520","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c63e786de8c2a36e56a5968145241c11a292703","datavalue":{"value":{"amount":"+0.8174459338188171","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":"Q931404$8C6F9F66-E844-48F8-99F0-5B6D970A3A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f631c367fccce241f9924ff70e467e44941f5c","datavalue":{"value":{"entity-type":"item","numeric-id":1826933,"id":"Q1826933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8990b797aa48bf5c5e5c0836300b55e041a396","datavalue":{"value":{"amount":"+0.8134785294532776","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":"Q931404$D3CB4F86-BCD3-4F5B-866F-F05A04781E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfdd81a324187287ef323f9c137ecf5f978dfd83","datavalue":{"value":{"entity-type":"item","numeric-id":4924541,"id":"Q4924541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c03844b2ab039499834bfa11786ea7cecd4a6c","datavalue":{"value":{"amount":"+0.7806134819984436","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":"Q931404$0F170546-CBBB-4D9D-87BA-F72EFC9A5328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411be130d95c3c3d62f295743aca6b5a5b403aba","datavalue":{"value":{"entity-type":"item","numeric-id":2369016,"id":"Q2369016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33254df88e14da5c9550e22bd63af0923a5510fe","datavalue":{"value":{"amount":"+0.771789014339447","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":"Q931404$59A4D60B-FD74-43A0-9EB8-44B53155C6ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic densities in logic and type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotic_densities_in_logic_and_type_theory"}}}}}