{"entities":{"Q6154459":{"pageid":13288812,"ns":120,"title":"Item:Q6154459","lastrevid":55585306,"modified":"2026-02-17T19:15:41Z","type":"item","id":"Q6154459","labels":{"en":{"language":"en","value":"On structures of regular standard contradictions in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805366"}},"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":"Q6154459$F83AC0E8-AAD8-496C-8D60-A2E0C09782D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64f4e3703bc437cdcaea24103ae9265b0d71020","datavalue":{"value":{"text":"On structures of regular standard contradictions in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154459$C25A928F-2040-4FAB-B67F-2311575B10A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640f6c9b6467c65e5adfb3e2db056ad452469f0b","datavalue":{"value":{"entity-type":"item","numeric-id":416299,"id":"Q416299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$22161DCF-6A7A-46AA-828F-2E2455DF292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27d34d065c9deec99633d7a027505eee2e992bea","datavalue":{"value":{"entity-type":"item","numeric-id":416297,"id":"Q416297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$F6D37D50-8499-48A4-A877-B2174E483AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15056bd01dfea0c09beb464fc287898561e6ded0","datavalue":{"value":{"entity-type":"item","numeric-id":781298,"id":"Q781298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$821F127D-DE9E-4343-ACE1-F076C6F7C25D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$BEF3BB71-F746-431D-9FC8-083DAF1B3278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"834447d7af7a0a91c46ff80f20f13e46279f1a14","datavalue":{"value":{"time":"+2024-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154459$58550D17-14CA-42DC-ACBA-7C6DABBD84E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154459$E46A0B1A-0A6B-4464-8965-E3AFCC44A136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8d738c17361eae28639b015465bfbfc3e737313","datavalue":{"value":"81-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154459$E1CF9824-39E5-4189-8CFF-D411544A55A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d775119197771834412a1db8abb500b89a5fc4","datavalue":{"value":"7805366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154459$61C59032-1CCA-4D0B-A048-E8CF3A2B8B9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4594f770ba24f8762ba738942e03981e704463","datavalue":{"value":"regular standard contradictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154459$9DE6897C-94DA-4F1E-9522-947D43E0E034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cab066d3c87be64abea7a9e0c513e9a1b78816e4","datavalue":{"value":"contradiction structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154459$88B50928-33F8-4DEA-867A-ADCF45F6B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"577609b4fcdb526e25b666ec07518c6afe79019a","datavalue":{"value":"deductive inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154459$1C657AAC-4A8D-4FDC-AA34-38D170D52944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154459$25092E67-D821-454B-9F62-8F54FE10E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6154459$AC7680B5-CD90-4426-A39F-177CF3C61316","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":"Q6154459$B83A0A31-169C-4A7B-AD10-783C973462B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7012e45954fe37f1d24357cd0f3bc3366767c3b","datavalue":{"value":"https://doi.org/10.1016/j.ins.2021.11.053","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154459$1EBF7BE2-C787-4FC6-A8D4-0DC369303404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0ac6e51e773dfeceb70f0c50bce1e2ab4a3934a","datavalue":{"value":"W3216154863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154459$DFC07F30-4750-4EA9-91B1-0C2BF6FFB09F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$E078B82E-7C71-4D55-9989-582CE11BB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27fb393ac8f67685d6f7819a6abe6c2becacf74","datavalue":{"value":{"entity-type":"item","numeric-id":6086313,"id":"Q6086313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$F109B2C9-8E61-41AF-BAEE-ABDAD50C88C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bb838c7e639f19e46b8d77bf1ccefdb37c3152","datavalue":{"value":{"entity-type":"item","numeric-id":2013317,"id":"Q2013317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$7823C990-2F00-4862-A38F-B9C1645EF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$582F239F-99C1-4179-80D3-477AD622B4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846d9472cfcb3192859eb2fe36f36f72739b01b8","datavalue":{"value":{"entity-type":"item","numeric-id":670704,"id":"Q670704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$1DE5A825-2788-4694-B206-8D74C6343009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$DE7963B0-FC0B-4F11-A622-A82967F42930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08067296a778be982332271922f05534568e2cf4","datavalue":{"value":{"entity-type":"item","numeric-id":5600875,"id":"Q5600875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$331683F0-C5D1-4A2F-BA7A-27BD19B43CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc32380a801af8bb19b7fe48bc238e9339feb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2303247,"id":"Q2303247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$68D551FF-6FBC-44A8-94C4-4A3775BC6175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$494E884A-0221-44BD-8C91-C9BCB3DB2CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc30eca61452c90db6ccb19485dac54a36250ff","datavalue":{"value":{"entity-type":"item","numeric-id":2417950,"id":"Q2417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$574857F0-26F8-43CD-AE98-3EEF4D620021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f20d0265bfeffe57194cce3d2a09764d8168afa","datavalue":{"value":{"entity-type":"item","numeric-id":3454079,"id":"Q3454079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$EE36C4EF-6196-4D42-984A-FEA623D62EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$39150BC0-44A9-4780-9624-DF046CCD6735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$3C10F0DB-E899-4BCC-8FCC-CBA57C6C2294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$5770B60C-61A5-4E86-A5F5-CFCA32069D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38602d2b7fd482d2c85a2b53c450a23a2740fb43","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$8468378A-2EB5-475E-8B37-94BC5378258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$1208D32C-AC9C-4D3D-8968-5DFA3E9914CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$61000E58-F8CE-4185-9F15-1A5EBE0F5559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9079a10c988f3ae0569543369f115593ea27861","datavalue":{"value":{"entity-type":"item","numeric-id":5145447,"id":"Q5145447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$B28D2BEA-DE68-4760-BA6D-DA39BEFE9175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d7f3718748c1529f8e53c69f24865fbcaada27","datavalue":{"value":{"entity-type":"item","numeric-id":2305438,"id":"Q2305438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$C8C7E5F7-1E57-41BB-9CDF-4AFF1ECF368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$56A3E01B-7E65-403C-8FCA-A59A158A6E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de61fdcccb88d2f352f7a27c4d3d90e13a3d174a","datavalue":{"value":{"entity-type":"item","numeric-id":2198231,"id":"Q2198231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154459$4EDC0C4C-5E9F-4AD3-B28A-442E7A75D27C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17a5e8fd10bcdc93bd4789ec9e0164e1599d8ad9","datavalue":{"value":"10.1016/J.INS.2021.11.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154459$333CD9C7-DEFC-4ECA-84BB-0298F6F32BE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b061a2652edc91623dd0d351540c98a652f42","datavalue":{"value":{"entity-type":"item","numeric-id":6086313,"id":"Q6086313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472fd894bc6ffb9f4e2343dc381e2e872c2bb7e6","datavalue":{"value":{"amount":"+0.7542479634284973","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":"Q6154459$C98EFDAC-E8D8-4496-8241-9C6D8A91C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e346798312fc2ae56c6447ace420f94f2307ba","datavalue":{"value":{"entity-type":"item","numeric-id":2198231,"id":"Q2198231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46cae8041395cec1cb9653cd3ae02554565087b","datavalue":{"value":{"amount":"+0.7443613409996033","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":"Q6154459$139E355A-16D0-422B-B76E-808CD1BC6E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a3418accbdabdd4caee0cfe0d12fe355df75dd","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272b7303e4e4e3be66d4885fcc5242d19bd06443","datavalue":{"value":{"amount":"+0.6814847588539124","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":"Q6154459$403854A9-74DA-43C8-82C2-128D609BB97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d42ca2abff624a53ee906c0eb02f92eb37d5f1","datavalue":{"value":{"entity-type":"item","numeric-id":788710,"id":"Q788710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f4fa74d8a1b8e3d91df683c09e38246e863062","datavalue":{"value":{"amount":"+0.6663456559181213","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":"Q6154459$3155D8BA-D5A6-41F0-8C8F-3AB5A3B5A74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262cee6a0be04917e8b2aa10f7c3d46b849f70c9","datavalue":{"value":{"entity-type":"item","numeric-id":4503913,"id":"Q4503913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805f9a048e0b5e4284773ab551f1670a0377884b","datavalue":{"value":{"amount":"+0.6641950011253357","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":"Q6154459$61944EDC-360C-4A5C-9314-ACCEAC98CA8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154459"}}}}}