{"entities":{"Q884950":{"pageid":886798,"ns":120,"title":"Item:Q884950","lastrevid":79758206,"modified":"2026-05-06T14:38:42Z","type":"item","id":"Q884950","labels":{"en":{"language":"en","value":"Provability in predicate product logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162353"}},"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":"Q884950$2E7C7B96-54C1-48EA-884B-3839BF5EA625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b100749518c2d5537574d776e774fed363e87df","datavalue":{"value":{"text":"Provability in predicate product logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884950$581AF126-A4BD-4081-8690-5CA1F043DEA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"945c4450fa846387e2d5de1328056b20a248c375","datavalue":{"value":"1121.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884950$82C3D150-6F1B-4F1A-B364-7B01CC831DB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd8e5f2095f99f36e956ad31b26130278c4df0a","datavalue":{"value":{"entity-type":"item","numeric-id":884949,"id":"Q884949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$36F23D78-D32C-4F96-8261-27AA39D9D9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad82ea677d9252aa5ae95627c4706e056386aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":1203761,"id":"Q1203761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$D4DA757B-942F-4DB5-BBFC-E7F1520D2E8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$ED757841-0075-46A8-9E66-D411773E6A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q884950$F0BDE012-A88C-4825-9349-031E7FD7B28C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1861cc7f983bc533866c54b4e8fd19e38bc032b1","datavalue":{"value":"The paper extends the theory of BL-logics introduced by \\textit{P. H\u00e1jek} in 1998, exploiting the connection of the cancellative conjunctions on BL-algebras with ordered abelian groups. Then a sentence is provable if and only if it is a tautology (completeness). Moreover, closed models and the lexicographic sums are discussed and the completeness of BL-chains which are initially dense (or which are not initially dense) is studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q884950$91F48703-9CC4-4EBF-BC7C-E65930E34D2A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0b7e8bba2607231d291833ec35db8abb2a31f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":221206,"id":"Q221206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$12FB4110-F905-49D0-AFB2-6FD0C6259605","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884950$5FB98E14-3174-4AA5-9122-C47D4FD22167","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cf975eb645aff6c1bc73061b48ea86c5aa1e795","datavalue":{"value":"5162353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884950$F19EE415-E493-41CA-9C33-2F640E2BB9B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6efc458d4369344f3e7cc55f2ff1e22f990b5d8","datavalue":{"value":"BL-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884950$01833DB2-1E00-4CB5-A334-DD908DFBFC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a93382b177aa95e874ccb899c01265af3ed5dad","datavalue":{"value":"predicate product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q884950$EEC5B09F-A120-450C-A33F-D053CD95F45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q884950$97D9A637-9228-498A-96F1-D870633DCEF2","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":"Q884950$8B22C9C8-3AE0-41DF-9787-3CFC3E1A077C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14cd2065a024020ef4d79c38b1346b4d7d6c2921","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0036-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q884950$5BB9D435-DF48-4F9E-A325-E33D78CCE573","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c7e586847c45aecaca4c1f645c20d9a75017df9","datavalue":{"value":"W1993301779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884950$2DDC4A60-B714-4A97-A662-0D4CB34D0ED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e37f5c6ad9215e6242c5ecba57233f2ca0bfc6","datavalue":{"value":{"entity-type":"item","numeric-id":5829057,"id":"Q5829057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$7ECF4FFA-9C3C-4DC8-B00A-9745EDAC7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$D7670234-D621-404B-92A0-975B08DCF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$139FFBE6-443D-4993-A303-68290DBDA5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64cac9c5d866ee8163f939d81484514b558806c1","datavalue":{"value":{"entity-type":"item","numeric-id":1867635,"id":"Q1867635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$7F0839C3-DB9E-41EA-B5AC-75FA59C420B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af07ec97a320b992c259ec749089cb0c1ec291d","datavalue":{"value":{"entity-type":"item","numeric-id":2577686,"id":"Q2577686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$D8CE6F86-42A8-4399-B776-029383F4AD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6240387d1f22d12014301b49d4f390878abd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884950$E9918DA2-40F5-4D52-97E3-04719AB292EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf953952da2d823aec6f9a17a4efcf10d99cd0da","datavalue":{"value":"10.1007/S00153-007-0036-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884950$2BF384AD-C68E-4F40-831D-7C46AE548B19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccaf793fa24846e685f735544b908c58d0206e42","datavalue":{"value":{"amount":"+0.9201806","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":"Q884950$680036B0-526F-4566-A153-7A6FB24C01B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e924dfcd6e785685cc76af5a0ded71b348080a72","datavalue":{"value":{"amount":"+0.9195348","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":"Q884950$135E9118-993B-4F42-859B-8DE301118E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b826ef5cda30a1157e287a75867f2245504cb11f","datavalue":{"value":{"entity-type":"item","numeric-id":1176101,"id":"Q1176101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd4441937335d5a19b05f32c74da134a68b2c53","datavalue":{"value":{"amount":"+0.9179638","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":"Q884950$CE1DBBBA-B6F7-4FA4-B172-02E071B25610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906fe9042acb8a02d10ec870605c8b3a63a07064","datavalue":{"value":{"amount":"+0.9178313","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":"Q884950$962BFD05-6277-4B91-A063-0B196173BBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cb8f02b8efe6e60196d99a4ea3566af199e94","datavalue":{"value":{"entity-type":"item","numeric-id":4376078,"id":"Q4376078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1efd643c5da03e9378d828ae734463621ca079f","datavalue":{"value":{"amount":"+0.9178302","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":"Q884950$32EF59EF-75EC-4CEC-B437-29E596056F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38dc7409dd4cf70b35b1a480a6ec992e1b9e945","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0250596b76c0b5494cd241e636928074b681bc6c","datavalue":{"value":{"amount":"+0.9176227","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":"Q884950$86E0AF80-6E1C-4CF1-BA68-E60FC0D803D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a46bd3760e1b0c1fcd3d657458ac5072d228b4","datavalue":{"value":{"entity-type":"item","numeric-id":6040535,"id":"Q6040535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2abd494ae641bc662036143c6e84387767a265","datavalue":{"value":{"amount":"+0.9162468","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":"Q884950$615895EF-7CDD-412D-9B88-A3A183EA058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3e311928ce48f3b1ae122c1b91b996f3066b72","datavalue":{"value":{"amount":"+0.91516834","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":"Q884950$A7ABDE38-38E1-4D99-8D92-04B08C1AA116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befb9a461e871f7f261b389674d72f54c5fb59f3","datavalue":{"value":{"amount":"+0.9147107","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":"Q884950$B4A6B493-7FC2-413A-A9E5-B7DB7AA6EBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b570c54fb418d02948153733e3db325643bcd48","datavalue":{"value":{"amount":"+0.9140708","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":"Q884950$43BD007D-911F-4A15-9759-9EFF4C304820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provability in predicate product logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provability_in_predicate_product_logic"}}}}}