{"entities":{"Q2369016":{"pageid":2379759,"ns":120,"title":"Item:Q2369016","lastrevid":49821784,"modified":"2026-01-11T01:42:03Z","type":"item","id":"Q2369016","labels":{"en":{"language":"en","value":"Probability distribution for simple tautologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020415"}},"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":"Q2369016$BFF9B10A-FAC2-46F8-904E-64B9E1353014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7038af4016dbf393e2919cd62e0a85d72d4985ad","datavalue":{"value":{"text":"Probability distribution for simple tautologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369016$A79A8FBC-A0EC-4D2F-A983-92E5532FF68B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"444c004c014cb7e86e170d099b0b65beefaeb25f","datavalue":{"value":"1090.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$C64CC880-D6D3-4928-A468-939CC5060C37","rank":"normal"}],"P16":[{"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":"Q2369016$2BBA45C3-E0E0-4417-BFAF-5C9427ACA749","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369016$AD7B10D7-AA3E-46E0-8C03-A30E76B9D0F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2369016$F2AD6F5B-96AB-42D2-8242-1D118A068835","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"057d7d2e8dbe06a983193ce03eb41d186e657b78","datavalue":{"value":"The author investigates the lower bound of the proportion between the number of propositional formulas of the size \\(n\\) that are tautologies and the number of all propositional formulas of size \\(n\\). The interest lays in finding the limit, when \\(n\\to\\infty\\), of that proportion, representing `the density of truth' for the logic considered. Particularly, the author deals with implicational formulas over \\(k\\) propositional variables and discusses the probability that a randomly chosen implicational formula admits \\(p\\) premises, as well as the probability that a randomly chosen implicational simple tautology admits \\(p\\) premises. Apart from mathematical and logical aspects, the paper has clear philosophical impact on the understanding how much the phenomenon of truth is frequent in random logical sentences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369016$14167B3F-1C61-4CF7-B041-BF0E2B66150B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$D78C5262-935E-413D-841E-01892C74E4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$8D563480-EF81-4F4A-B0B5-56051F07BA75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d982b4ddf0c358c7d3d3333830111d3d10272db9","datavalue":{"value":"5020415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$691D0AC1-E623-475F-880F-3678A8AAEC4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda8a46825a7936b00e226634d8d8fbb79b92dd2","datavalue":{"value":"probability distribution in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369016$413550AA-F60F-4DF4-926C-92655A0C10D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86e082c4c92ab9e35274eb926099008862cc573","datavalue":{"value":"asymptotic probability in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369016$C5B4DBB6-27EE-4C19-9D0A-E83F60481ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76ec4c3ca5ea2786bb74ab23a71c3207f2b5eb0","datavalue":{"value":"truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369016$F7E9311D-BF41-432C-A9D0-6374A59FA656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e08ece93ee6f48908d90d3358e8c0b75d9ff1eeb","datavalue":{"value":"random logical sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369016$3E2F03BD-D6A1-4496-8684-650EAE886498","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":"Q2369016$BF8B51F8-D4B4-4D10-800A-6282CE1EE560","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":"Q2369016$3F0D3DD7-0FAF-4D0D-81A5-8C3E2DF456A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6fc915a67538ec00ce56e03ab22705c79525d84","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369016$102D2E4F-5285-479B-8649-89DC5378BD35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887dd4789d506a1c1443fa680d51df3e5c5aa000","datavalue":{"value":"W2060897680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$90B11ADA-7382-47F6-84BE-BFA36DCF6061","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":"Q2369016$FCC30D88-DE71-4B04-888A-4078D0A4CA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe88453bae1730f2e08212ee1aae754a9f253a7","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369016$B202E054-6070-44C9-809D-44747F5CE18D","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":"Q2369016$AA52268D-69C1-4B5E-989B-ED1A51C62C2C","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":"Q2369016$EF8DCE29-F19F-45B4-A132-75FA1A630FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c124b23e66bda5f6b96b58b4ca724e8f07b76603","datavalue":{"value":{"entity-type":"item","numeric-id":3229522,"id":"Q3229522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369016$060B21C1-415B-4634-8020-968D7862F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9714020379e2daaf8967db531da8411a1f26e54","datavalue":{"value":{"entity-type":"item","numeric-id":4061445,"id":"Q4061445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369016$50AF73F4-536A-4C37-8B49-E634BA4933B3","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":"Q2369016$0B22894D-8BE3-44EC-A19D-DF42A8C6032D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1bdb005663be84ef7de583d2bc92b4b39c0593","datavalue":{"value":"10.1016/J.TCS.2006.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369016$C7FCE2BD-1930-418C-BDDF-0D960095AFBB","rank":"normal"}],"P1643":[{"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":"38c8a461a8e70bcca77964ad2cfed98b87e3691e","datavalue":{"value":{"amount":"+0.9606982469558716","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":"Q2369016$20037268-FA03-4B03-A0F2-87BC070BD02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b812e3c531d4442bf837e6809cf9b2bb6b548e66","datavalue":{"value":{"entity-type":"item","numeric-id":5488260,"id":"Q5488260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb5e3323db36b33e744b480b3f02183c8c95280","datavalue":{"value":{"amount":"+0.7957614660263062","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":"Q2369016$5030CF0C-498C-4027-852D-CE0BAE4065AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbc8ef581e26325e625d2245920a7fc4826bb3d","datavalue":{"value":{"entity-type":"item","numeric-id":4898736,"id":"Q4898736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52446d1f3bc845cb3a6d402f9afafae64cb55b78","datavalue":{"value":{"amount":"+0.7847210764884949","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":"Q2369016$713D529A-2432-47DC-A3A2-72460A4B3527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2452e6d968f5a14ac00f4ffa4e3099a812985b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3574988,"id":"Q3574988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b1b35d9059f6683f22db2ce2f55d380bd9ea95","datavalue":{"value":{"amount":"+0.7806739211082458","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":"Q2369016$87040B9C-1769-4762-B16D-4A1D6705E969","rank":"normal"},{"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":"d7e51cb4bd9d4fc1ebb62c7ec0958f42671efe90","datavalue":{"value":{"amount":"+0.7726863026618958","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":"Q2369016$B206AD14-83AC-41BB-B462-575446E35274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2369016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2369016"}}}}}