{"entities":{"Q4898736":{"pageid":6928315,"ns":120,"title":"Item:Q4898736","lastrevid":91559894,"modified":"2026-06-04T23:29:02Z","type":"item","id":"Q4898736","labels":{"en":{"language":"en","value":"Density of tautologies in logics with one variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121108"}},"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":"Q4898736$A652BA82-8FD2-4F3B-B07E-BAAC615CE1FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a2199cc3c5b61bdbe907b1f34eb9dbfbcfc24e","datavalue":{"value":{"text":"Density of Tautologies in Logics with One Variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4898736$BDE7314C-FAD6-4F50-99A6-EE22B5268E38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eac1aec8a8fe413f8f5aed3d9276f3d63cc78d66","datavalue":{"value":"1265.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$7C78D0D6-9145-449F-A973-2A6B4A10043C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23b1e2692e0c18ac88a72b72427fbcc9f872c528","datavalue":{"value":{"entity-type":"item","numeric-id":904172,"id":"Q904172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898736$B6DDADE2-E9F5-4555-8FCB-1C62E2C06BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae27d76353f4dd7df68ac5b77befaaa8ee50e19","datavalue":{"value":{"entity-type":"item","numeric-id":1352415,"id":"Q1352415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898736$238FCD8D-B527-46E6-B413-9BA9745E0A11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898736$9D38FED6-A7CD-483F-8786-6BA215F77F2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e78dc582cccb265eec7a023159b5315b28fd05","datavalue":{"value":{"time":"+2013-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4898736$3EB00C03-8232-4D4B-ACC7-918EDA4DD9BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51cf5db799a2806448f5f2316316b4e95b8e8c4a","datavalue":{"value":"https://semanticscholar.org/paper/b31f439d11313c5ea8e50a46604fbb19510ea43c","type":"string"},"datatype":"url"},"type":"statement","id":"Q4898736$4C0D9B3C-53F6-41E6-9A78-E35CB50E362B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$AD7B7DBF-CD9F-456C-8530-5391B1D0DDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$D118C920-62B6-4C0B-AE46-A8D93A0E3BFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd9c06aa2442f810ad1d9a068656e420f7ed9c44","datavalue":{"value":"6121108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$CB8F10A1-024D-45CF-9FC6-79243E17B3E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898736$01307DD3-03BE-4B43-A0E0-E8607C9DCCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898736$333828C8-6A35-48A2-91D7-636D4B4B6F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898736$5AEFB5B7-D336-4556-BDDA-DE2E2E9C872D","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":"Q4898736$DBD8B141-5364-4285-ACB9-47BD8FEFA04A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70fdc8a1bb92f437099fd6e284ba81bef9c338b8","datavalue":{"value":"W2219129943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$9A706CF0-3C99-478E-8FD4-E65423F1D72E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8c31146e67f5e5686df10439b0b1e676b44a36f","datavalue":{"value":"10.14232/ACTACYB.20.3.2012.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898736$03DAE7E0-20DF-4A64-8EE2-B432A3818680","rank":"normal"}],"P1643":[{"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":"bb8ae0bac5001f826b73a01983af273132f18cc3","datavalue":{"value":{"amount":"+0.8690919876098633","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":"Q4898736$8AD3DD37-DEF4-4963-8C8E-1260EA2AA3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916d2f0aa7997049a294ebcf6efca1412fa966ec","datavalue":{"value":{"entity-type":"item","numeric-id":1006461,"id":"Q1006461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827302510b7fbcddac42eccd9d69f6109bb4dffb","datavalue":{"value":{"amount":"+0.8469186425209045","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":"Q4898736$B4451CBF-4E54-4F1C-A24F-B6B05CB1D1C3","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":"f6d5e912c6ad8f6b1e63b83986dbbf7daf8caae2","datavalue":{"value":{"amount":"+0.8420459628105164","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":"Q4898736$7ACCC72D-D4F3-42F2-B3AD-F30223C9FB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd81c66f68c90c796b81641b6d3cfa41a78ec2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4826045,"id":"Q4826045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424d947d6662c468355f03c3ed5723d36ef4b92d","datavalue":{"value":{"amount":"+0.8382707834243774","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":"Q4898736$2CD8AC78-3DA5-4551-ADDC-1D0BE0D35A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650c04e4a6dacba60e93fc8c703f4abccd9860b9","datavalue":{"value":{"entity-type":"item","numeric-id":2959883,"id":"Q2959883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604d60092104bd7566882e844fd14db765bfbc01","datavalue":{"value":{"amount":"+0.835692286491394","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":"Q4898736$BBCA8511-1C46-46BE-B2C7-76A1A64C63BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Density of tautologies in logics with one variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Density_of_tautologies_in_logics_with_one_variable"}}}}}