{"entities":{"Q6560374":{"pageid":14171529,"ns":120,"title":"Item:Q6560374","lastrevid":55691971,"modified":"2026-02-17T21:06:31Z","type":"item","id":"Q6560374","labels":{"en":{"language":"en","value":"An inference engine for propositional two-valued logic based on the radical membership problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869782"}},"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":"Q6560374$95F73394-D9BD-480B-B490-B291FB1862ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084a2f8483cc1b09740f3e99e48ec1e3bff85b89","datavalue":{"value":{"text":"An inference engine for propositional two-valued logic based on the radical membership problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560374$9B2143CF-FB57-4AD6-B2E7-407FF1DD4B26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd6d84fa14c0ca467cb413801ec82d6dbbc89772","datavalue":{"value":"1541.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$DC9CD2BA-7737-40B8-80ED-AE51ABD0DB14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7c9ed65caf3cb9b2297c6fcf7f7842fcd048ffb","datavalue":{"value":"10.1007/3-540-61732-9_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$B0AD5CB5-3BA3-42F2-BF03-7922C74077CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f974c4e2073d25817d007e006334edb99dfef9e2","datavalue":{"value":{"entity-type":"item","numeric-id":417946,"id":"Q417946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$B6468B61-BAAE-49DF-A5BF-31893200D331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e11b0e88ee50fa9f165f88aee506f9526524568","datavalue":{"value":{"entity-type":"item","numeric-id":417949,"id":"Q417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$ADA9D7C8-9970-4C3F-BDEA-DBAF320B7D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"959f74873f841a4325d037d791106c9124a08aa4","datavalue":{"value":{"entity-type":"item","numeric-id":692318,"id":"Q692318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$58C3307E-8934-40B0-8885-0A9F67D9D90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560374$E88F90D3-094B-473A-9081-A5F7BD9F66EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$E99E13DE-3547-4178-90B5-95D0A1A0C1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$8CC443C7-53B4-4703-B7FE-A4C99B112995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$2E6F5F6C-6666-4555-84EB-14E75B612AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$A2D87F2A-68A5-4A51-9346-AF5856D0A3FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c56f0c3a5e62793ae44455432a6521ca651076c","datavalue":{"value":"7869782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560374$C1993C1A-F78C-46C8-8756-D87B6E6BA07B","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":"Q6560374$2D486228-3BBE-4D8B-B8A1-02D935BA3144","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be044367029598c27d0840fa7de39ad3281546a","datavalue":{"value":{"entity-type":"item","numeric-id":3798768,"id":"Q3798768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$08586F85-DA41-4EE5-B53F-2534AFC8C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$5210A2D2-7CFF-4891-984A-28F40A24516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d878fe39fb5e422372741863ab11a3320c49a105","datavalue":{"value":{"entity-type":"item","numeric-id":4770999,"id":"Q4770999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$0BF6C001-8F7B-4746-9DD6-DF0EB66CD8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c856fd16cf31edd4a2dc03ccf2e5a1d34f1b8ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3136296,"id":"Q3136296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$5D9217EC-A428-4396-9CDE-5AE69460DBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$7E556490-5D9F-4F0B-BC6A-6FD02751595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1547c463d66ca245603178bf8c281716e766136b","datavalue":{"value":{"entity-type":"item","numeric-id":1842811,"id":"Q1842811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$4B9F5AC7-70FC-4F2D-8C53-140DD4980229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560374$A375D2DA-2EC6-438F-BF18-6A96F5B86C16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6604cba0c5210b2fbe8c30bcec94fa20f507429","datavalue":{"value":{"entity-type":"item","numeric-id":1994361,"id":"Q1994361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d38b0b9f5bb864af9533ad94642e8b29785d5e","datavalue":{"value":{"amount":"+0.7442412376403809","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":"Q6560374$A4063A88-9131-4A04-8034-69D39802C852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14d713b5916ad46eaa462fffa55722167e3ca7a","datavalue":{"value":{"entity-type":"item","numeric-id":4236072,"id":"Q4236072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173ce986a4010604ac6ee36a21869dcc5e2c1891","datavalue":{"value":{"amount":"+0.7072368860244751","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":"Q6560374$9AEC0333-DBC4-4256-8792-E4D0A080C635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d9767dac5ec0f003ef625383627713210f9da8","datavalue":{"value":{"entity-type":"item","numeric-id":3123888,"id":"Q3123888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ebf8d916a68a16bd3cff0bc91e830c7f023dbd","datavalue":{"value":{"amount":"+0.7066178917884827","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":"Q6560374$A47A7625-E7B5-4EED-BEE6-F4982C37B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea791b4284738d94812851902428cc57c212899","datavalue":{"value":{"amount":"+0.7019652724266052","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":"Q6560374$2AF8D56A-6223-4652-9A71-83A39BB32CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a9505e60779595e9abf6d5f27a38d72613af70","datavalue":{"value":{"entity-type":"item","numeric-id":5748884,"id":"Q5748884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b779755afcaf52b3f46075ad13d8dddf5e07fbe","datavalue":{"value":{"amount":"+0.7013044357299805","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":"Q6560374$E895FDE6-6C98-4102-8CB3-5E514CD0D903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560374"}}}}}