{"entities":{"Q3583801":{"pageid":5613705,"ns":120,"title":"Item:Q3583801","lastrevid":81016805,"modified":"2026-05-06T17:31:33Z","type":"item","id":"Q3583801","labels":{"en":{"language":"en","value":"Tautologies over implication with negative literals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772367"}},"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":"Q3583801$284F7C07-C1D4-43AA-BAEA-CC482EB638F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc16d625241eee29fe51ea3c464c1db82751de65","datavalue":{"value":{"text":"Tautologies over implication with negative literals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583801$FD83520E-656B-4DBE-BC04-B2915594638D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eb1c86d85a932134c59391fa899d3bbcc41f1e8","datavalue":{"value":"1196.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583801$5E36C47E-CAF4-44FC-8B5D-BFA92B71B166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e549d6f3c94e54bcde904397ecde45a0745bc58c","datavalue":{"value":{"entity-type":"item","numeric-id":213142,"id":"Q213142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$3D3C3371-0E82-4B40-8634-5BE810DA4888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b35478b4a24e45fa6a3a10e422c54976753b7ee","datavalue":{"value":{"entity-type":"item","numeric-id":408541,"id":"Q408541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$E7B9859E-C244-4E0F-BCF5-B834D0A01C68","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":"Q3583801$05250EA4-98AA-4BA1-9ADF-F65D494408D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97aff449d8605a092d1a036d9ff7ec3f35e80cbd","datavalue":{"value":{"entity-type":"item","numeric-id":547280,"id":"Q547280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$A7F9C446-3476-48FB-9397-4381753C93A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$4F88AA57-E9E8-427A-B080-C35C5A03AF7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583801$80595E63-5188-4F1F-8755-A61B1E966216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583801$1FD0CCA8-63A1-4C76-B243-32D77F2A2C93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c13cf50880de32efe4fd21cef368cb4e32e0ef51","datavalue":{"value":"5772367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583801$797D0C59-CBB6-4948-A40F-6FC39B0DB61B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9301aec7b010c5fd5332137354aa8db3b3470094","datavalue":{"value":"implicational expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583801$F4521C6B-788C-41E8-BD5B-C12EE1B28B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86d402dfb3ea7c253b0efaf5c9b1c42bfc5d34","datavalue":{"value":"Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583801$BD16F7A9-7023-4147-AB91-21E8BADD3176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911bc200d6c450de272a08fa5c19ef28484b1d94","datavalue":{"value":"tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583801$34359AD0-D2C6-4DB8-A62D-00F4DB6A34FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130d4d8ba196b05e16ed90a178ca34dcbfa704f","datavalue":{"value":"analytic combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583801$1BD3A5B8-1871-48DD-BF9C-DF81CE098407","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":"Q3583801$14A7AACF-2179-48A8-8784-0FED71C6770E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69e27ac3f33aa2c1308480dc0eb158b2cf0868c3","datavalue":{"value":"https://doi.org/10.1002/malq.200810053","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583801$A877AFB9-7F5E-4F60-BFC3-FDEE8D421B73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67a959ec6af317a110160e400c29b84cd1af69a2","datavalue":{"value":"W2034294280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583801$3CD5A8E3-7922-4C13-ACBA-7EDE7D36B006","rank":"normal"}],"P223":[{"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":"Q3583801$C5F0FD45-4249-478F-94CD-8AF1847529A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d324cc9019a698adf4b1a1a457ddc273746c6","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$72144578-62C4-46DF-B203-9F474B5A00CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f295e7ff1351709dd7ac59c0bf9a79c555515647","datavalue":{"value":{"entity-type":"item","numeric-id":5485333,"id":"Q5485333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$860BF414-E036-4C16-A28F-101D90010E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88702723fea5b6b97e1042d4acf67888c8df5c82","datavalue":{"value":{"entity-type":"item","numeric-id":3605535,"id":"Q3605535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$C19A22E8-D3D0-4F72-A0F4-E15B5BC4AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cabf06681199e171b04114332ca650f5bea849","datavalue":{"value":{"entity-type":"item","numeric-id":2959884,"id":"Q2959884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$3B680CFD-FB25-4F55-85F6-A04A29FCF789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc18661736fda7e6fa1768b1f4fa7132c7f49c4","datavalue":{"value":{"entity-type":"item","numeric-id":3499752,"id":"Q3499752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$412BA626-1486-4AF4-A340-37802A5C7185","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":"Q3583801$329308A1-5383-492E-8409-296564FEC012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c59502386ab0935a0a4cc3783e2e06ddda8042c","datavalue":{"value":{"entity-type":"item","numeric-id":2959882,"id":"Q2959882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$632600D6-0D74-4A8D-AECB-5D8BF1BFF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e490830422733799ff095386c99de6c58ddee7","datavalue":{"value":{"entity-type":"item","numeric-id":4344226,"id":"Q4344226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$106F8EF1-420E-4F6F-9F35-E6DC2D21B010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec4311617c14c921498b5b085b13de49763cdf2","datavalue":{"value":{"entity-type":"item","numeric-id":2851696,"id":"Q2851696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$2EA8F2E4-67B1-4F82-B058-C39F0D8F0EF4","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":"Q3583801$AF88EBF3-5B9A-4575-9E56-F8D97F810223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583801$3A70FE7B-158D-4272-B150-09A67598B935","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":"Q3583801$CEE13F54-2315-4298-99F8-90A6D483971D","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":"Q3583801$43CCEEF6-ADE0-42C4-B4DD-CAF8F214A7E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"277bd64d7760eb48401df36d63cbf940b309dd58","datavalue":{"value":"10.1002/MALQ.200810053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583801$7842DDB0-EF17-40C9-A6B4-66C552D90DFB","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":"15508cc9eacbc9fac5cbb5bc3bf12e7440c6caa9","datavalue":{"value":{"amount":"+0.7764817476272583","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":"Q3583801$0E6DBC30-18AB-4A7F-A12C-3BDB9AA4DF79","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":"ad26625efdb94d205e23104c439b5b41dc0b7e7d","datavalue":{"value":{"amount":"+0.7689722180366516","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":"Q3583801$9291D64C-1BF3-4E83-8640-72A1DE9867E8","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":"403f626484f060efdc13a6e5d95e1e4b056fc651","datavalue":{"value":{"amount":"+0.7506222724914551","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":"Q3583801$94A4E572-6F91-4084-B2C5-BF6BA9222C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d30ba1210f65fc4c87faa1035d00c5a6eec79d3","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af42370c3e8350c79d8582dd64f701a5501b1ca","datavalue":{"value":{"amount":"+0.7478703856468201","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":"Q3583801$142475ED-AE98-4138-AA9E-00253C56F327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809c0f49e326cfce53d877e3cb3b9171838a99f6","datavalue":{"value":{"entity-type":"item","numeric-id":3599140,"id":"Q3599140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1902006ed685cb13d42368bdfead8231f7eb0b","datavalue":{"value":{"amount":"+0.735758364200592","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":"Q3583801$99DE6D26-9286-4DC8-8C30-06C64BD455C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tautologies over implication with negative literals","badges":[]}}}}}