{"entities":{"Q3142267":{"pageid":3152983,"ns":120,"title":"Item:Q3142267","lastrevid":45536653,"modified":"2025-12-10T09:29:35Z","type":"item","id":"Q3142267","labels":{"en":{"language":"en","value":"On the restricted equivalence for subclasses of propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446226"}},"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":"Q3142267$A8868AD3-F4C7-47E0-B58B-78C0F85D8400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0719dcac9513911d73966ed9253d8494187c7599","datavalue":{"value":{"text":"On the restricted equivalence for subclasses of propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3142267$2B5489E8-E2B7-48AC-A142-050C91BCC112","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"236be94916f68096043e4b32f2b6a0f8a2e02bca","datavalue":{"value":"0787.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$168CE96D-95F5-4A0F-8FE5-C768BCA50317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac996a237b94a5b3e24bb9c831c679e125ef8072","datavalue":{"value":{"entity-type":"item","numeric-id":1891158,"id":"Q1891158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$E3A2BDFA-E64B-4704-9359-EAA0EB375A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$435462E5-56D8-4110-AD21-7907A4A205E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d3da02c79fb32792a49a2fc9273637c5be8a44","datavalue":{"value":{"entity-type":"item","numeric-id":1823696,"id":"Q1823696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$EFBB907E-8C24-4275-9A24-F328AAAB1AB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$0130B9A0-6EA3-439A-8CF1-20681AFB7534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-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":"Q3142267$406CC39C-C5A2-4902-81F3-AF870616F47A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c188f2606c9eda8ef506abbe951607cd351f4ed","datavalue":{"value":"http://www.numdam.org/item?id=ITA_1993__27_4_327_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142267$50564D37-9B44-4DEF-8652-13B4B2E59611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"416cbc1ded9d43db40903c744d0d4ba5931a4873","datavalue":{"value":"https://eudml.org/doc/92454","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142267$CEA0AED4-37BB-4544-84FC-D5A80469F19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$E287A5E6-A414-4F19-B4B3-39855FFCABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$82B99E59-BDBE-4A5A-942D-9DCD4027ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$CC1A03D0-1525-4B61-969C-2B684CC64F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$F443EC0A-5B40-4152-8C94-49B7F87984D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49adeac80977488390467d00c202ce0e0ed87584","datavalue":{"value":"446226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$4517F106-11A0-4C16-831C-561B80801CBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f3a4b115c125cb00db26c3b940400892393980","datavalue":{"value":"restricted equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$929CD5BD-4AC8-4FD5-9420-4DEAA13C9C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4af92bcae6f0b4e1d269990585222768628678a6","datavalue":{"value":"restricted implication problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$8E8E00AB-34F1-42E6-8A77-6FD5875EDA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726ea26c80892d7c81cf1d637ae3ff1f13db546b","datavalue":{"value":"classes of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$9090289A-87CA-49C5-9D1B-C33FBEDE20A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$AB397E41-2030-4E54-90A7-8AF56F2C6F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$02277034-C6D1-4782-833D-571E3B3BB97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d74ad1c8aec98e6e2f91730386b48287897ebf","datavalue":{"value":"quantified definite Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$BFC005AD-1FBB-46C2-A037-F2709124922E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$948DB64A-4EBB-4DB1-8703-E385ED39E9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52eecd91439e7898db06944369979a98ee02bc0c","datavalue":{"value":"quantified 2CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142267$29BDEF99-E003-41C4-A557-4FD955288EE4","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":"Q3142267$8D7FC14E-940C-49BA-91B5-DFAF8F279544","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6f2b1651d9fad010d2781bc0177ec46dec02c76","datavalue":{"value":"W106552629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$E947D7E1-417C-4518-80BC-BE2E9B35ABD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$AEB4CAD2-25A3-414A-97FF-D9B1465F91E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bafb57993c5d7a3d62a6af57eb9d15591c6501","datavalue":{"value":{"entity-type":"item","numeric-id":4013771,"id":"Q4013771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$F574C4D5-7AE9-4B81-9976-86E23F3ED29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea274d189348acfc297f41064d4b5b9750242f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4202942,"id":"Q4202942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$B03F51E4-10D9-4D00-8D27-6551C12F641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$D9938D7E-E6C4-4BA8-9BE7-6EBD28AB094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$F22A4CC8-98B8-41EC-840C-38C7D0ABAB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$43B6D936-A298-4645-B1D5-6533039DC9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142267$6469CD22-5113-4E3D-85CB-416FBBC889FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"647333805c1572c18df9c72b321d79d405e92826","datavalue":{"value":"10.1051/ITA/1993270403271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142267$EB627A23-F371-42D8-9AB2-7CA72CD43CB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f066185c63784ad00febea98f64282726d2cfc07","datavalue":{"value":{"entity-type":"item","numeric-id":4901489,"id":"Q4901489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d91bec9c8f2c320415bab2392a588bb86781687","datavalue":{"value":{"amount":"+0.91728723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$86D8A663-7FE4-4BA0-A0BD-78752AEAF9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451627c97c7bcb404d1ad78fccddd9aad412225d","datavalue":{"value":{"amount":"+0.9023524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$4D7DCDD5-845A-480F-99D7-39F0CB33AE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43edba7a579df09160c287c55e2f8f7d8e08f208","datavalue":{"value":{"entity-type":"item","numeric-id":3837726,"id":"Q3837726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2123b4f9f539f0ff69928c85381983525f196692","datavalue":{"value":{"amount":"+0.90023863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$29023F44-4849-453D-ACC1-0983D40345EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44ec4883e27f70b1374607c7ecb26df42896b57","datavalue":{"value":{"entity-type":"item","numeric-id":1580653,"id":"Q1580653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfd8d75411825b99b5d4d11a76ccc4a8fd352cd","datavalue":{"value":{"amount":"+0.8925205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$632DFF59-7E31-4159-B197-A60B51F09046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceddee807fb8b21e54578ede18aad07a1b5163b1","datavalue":{"value":{"entity-type":"item","numeric-id":2678340,"id":"Q2678340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c23bd8a8a87da9ca50ce685d6f4282ca27ea0a","datavalue":{"value":{"amount":"+0.88448554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$E5FFF41A-C44C-4E8D-B2CB-89C641F2E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee3d3f0347b1858daafe74975eac0b1b36d0c81","datavalue":{"value":{"entity-type":"item","numeric-id":5411411,"id":"Q5411411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fd54825eb057a3714605085da82dc676ab30a5","datavalue":{"value":{"amount":"+0.88426274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$842F20CA-13D2-4F38-A9D6-D6F063983797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46418a1d6f9eb14a82a7323aab223943ffa1574","datavalue":{"value":{"entity-type":"item","numeric-id":3474636,"id":"Q3474636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07737326079282c6a6359f022f41471a5e67b99","datavalue":{"value":{"amount":"+0.8836818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$DBD9C142-746E-467F-8F0D-AE754650171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e4a4d10925902a1ac398f433e1df2b704cd0af","datavalue":{"value":{"entity-type":"item","numeric-id":5283963,"id":"Q5283963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df67a5f3a3144762c8e332a96bcdbe7451cb506","datavalue":{"value":{"amount":"+0.8832358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$4F7C67EB-6014-4B8B-8E14-127BDE12247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb1e4ab839007add54a7ccfae1da51285dc439a","datavalue":{"value":{"amount":"+0.8826482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$A3C0B438-9E61-4241-B8DB-1DA1E2AEACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91a233866ea99ea02ae87e1c853dc05d76836c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c77fb5ba50047b90a11aea16c665d77af1344","datavalue":{"value":{"amount":"+0.8821825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3142267$4D5CE0B0-4A7C-4C10-90F2-6324ED9B7526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142267"}}}}}