{"entities":{"Q5941135":{"pageid":8117937,"ns":120,"title":"Item:Q5941135","lastrevid":47657941,"modified":"2026-01-02T08:49:31Z","type":"item","id":"Q5941135","labels":{"en":{"language":"en","value":"On strongest necessary and weakest sufficient conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635300"}},"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":"Q5941135$D589D15C-B075-4981-823F-33081D12B8B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55e65521395e84113cec8dcd33c71e1ddd2827b3","datavalue":{"value":{"text":"On strongest necessary and weakest sufficient conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941135$FC9B690E-C1A9-40CD-9E00-B528D31B3CC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35dc4a61394ff4b20c0e32d062d01aa6211a1154","datavalue":{"value":"0971.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941135$519CEC74-1EF6-4E38-99AB-77FC3C026069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b40d8b51335b1f4468c56f1eb9a33adfd552083","datavalue":{"value":"10.1016/S0004-3702(01)00070-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941135$583C05C1-3C07-4C79-A0A2-CA86CF1E5F98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$9447138D-F16E-4449-998E-F4791F443506","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$99CCBCB8-3197-4369-B11F-1921BF60A684","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941135$CE99C633-13FC-4F1B-9ED4-00E90343A528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941135$87476411-769A-4947-B613-5595A6A8306C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8d15714d96b8f7163f3fb696a38403f47257b3","datavalue":{"value":"1635300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941135$BB859796-5672-4221-88AF-69C2293D56B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941135$B6230EE6-0D00-41F0-A380-2AE398E685D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941135$7934DCE4-60F1-4862-BACD-A5D0A1B458D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941135$2E372281-D0A9-43D7-A821-374D634C9ADA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$C2FC4ADF-8BDD-4D2D-8024-205BC5C27BAA","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":"Q5941135$BF86F485-11A9-49F1-8C5D-3FBF21A5ECCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0bc89814af24000e25c779d2545d67fb85860","datavalue":{"value":{"entity-type":"item","numeric-id":3361915,"id":"Q3361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$02EBE5B5-7205-4423-962F-578F44403A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d2b94aac8ba26462cfd6031196f24a22ea395a","datavalue":{"value":{"entity-type":"item","numeric-id":1127351,"id":"Q1127351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$E2DDF1B2-12D0-4104-AD44-BF275540478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$9A2852F4-CA3A-429C-AEE1-865E3905038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09c779e5d6d079a37d546f5f690f995dccaf55b","datavalue":{"value":{"entity-type":"item","numeric-id":989166,"id":"Q989166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$677DF3F9-E4AF-406E-BBB8-073EC0B5E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd47987217bd889828e760fd7d9ac44edceb361","datavalue":{"value":{"entity-type":"item","numeric-id":1402735,"id":"Q1402735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$47B1D442-D2B6-4807-AE5F-BAA2EBAFFCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ca7cf29fa3b9b76b77526aacd17b18a7c5ac51","datavalue":{"value":{"entity-type":"item","numeric-id":3837294,"id":"Q3837294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$CC7B5E60-8B36-4C59-9E8C-9AAC8A605DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f13e9796239331d939e625569fbad83f53d15e","datavalue":{"value":{"entity-type":"item","numeric-id":4002238,"id":"Q4002238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$05A3CFA9-6212-468A-85A1-4C27579C41CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626c123db209a96199c3bd030c9d2d4cc54215e0","datavalue":{"value":{"entity-type":"item","numeric-id":5822353,"id":"Q5822353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$4E80B662-EA3A-4CC4-BDD3-3A6D5CC1F5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941135$8D42083A-F10C-4847-8AF0-62FF125CFBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec36f65fff6098ac6f64a77367e1ff28f7935407","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(01)00070-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941135$DE433D61-4BC0-4546-804C-B16D3964296C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a07ec924dd004a8142583a501d00526526d01881","datavalue":{"value":"W2104907826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941135$317394A6-D287-4DD0-9EA0-A0B5DA9AB45E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552bbe33d4a0585b0ae024407b657747f6cb0613","datavalue":{"value":{"entity-type":"item","numeric-id":2500817,"id":"Q2500817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a732cf0da1091422b9e1b5244cb2172837f4e877","datavalue":{"value":{"amount":"+0.673654317855835","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":"Q5941135$75EB4BB7-523E-4BD3-B663-61CE9EA7359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db61009c8595e707fedaee053662fe8388ff2d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4870558,"id":"Q4870558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f5835e09b2cef658f40b6a3c26a6e9f752124b","datavalue":{"value":{"amount":"+0.6639887094497681","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":"Q5941135$5C2B491A-F225-474F-A419-A9281CA14508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e0de8eb9f09912d0bdf6eb983ba0dabd14d70d","datavalue":{"value":{"entity-type":"item","numeric-id":4230938,"id":"Q4230938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f5835e09b2cef658f40b6a3c26a6e9f752124b","datavalue":{"value":{"amount":"+0.6639887094497681","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":"Q5941135$DE4ECF88-C306-45E1-9743-E48D5137AD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9eb16d7f8ca4797fa8d9259b2bd5a3279e4dab","datavalue":{"value":{"entity-type":"item","numeric-id":5285639,"id":"Q5285639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2562b15acfec1e65c380fb082751e3989e7791","datavalue":{"value":{"amount":"+0.6535079479217529","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":"Q5941135$DA807FBA-9683-44BB-854D-224F416C7D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a7e4f0d97cec3fc8cf43e2a75d01ffb33a1cc4","datavalue":{"value":{"entity-type":"item","numeric-id":1852858,"id":"Q1852858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a2230887827acb5c31b84c672ac967f175c9d5","datavalue":{"value":{"amount":"+0.6518402099609375","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":"Q5941135$1F1F3045-9B06-4559-AD51-1FC61C55F82A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941135"}}}}}