{"entities":{"Q1276262":{"pageid":1287012,"ns":120,"title":"Item:Q1276262","lastrevid":46617453,"modified":"2025-12-25T05:57:07Z","type":"item","id":"Q1276262","labels":{"en":{"language":"en","value":"Resolution and model building in the infinite-valued calculus of \u0141ukasiewicz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243222"}},"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":"Q1276262$5688EC0E-1702-4B11-9FF8-1DF319480E30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d91f1452a9d8432831c3bbd2d80554c181503868","datavalue":{"value":{"text":"Resolution and model building in the infinite-valued calculus of \u0141ukasiewicz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276262$4AB481FF-577B-46B5-995B-6438F9877B79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06657e76aa49ca425eb99dbad422bca9c214dfe7","datavalue":{"value":"0921.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276262$F61F3609-DEB6-4124-8E64-576AFA2FEFDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568c550a223f390e481e7ee4cd4a3d9f449b83a1","datavalue":{"value":"10.1016/S0304-3975(98)00012-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276262$16F5A53A-3F5C-43B8-A190-EF5C8674DC72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$7173826A-5EE6-4DA1-906F-88E962DA275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$2AFDD07C-7A00-46EB-B405-1E8279CB1C54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$EBBBC6BD-1294-4606-91DB-89C142B1845B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276262$6CFCD3A4-81A6-4D1D-918B-9C486559C21D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88ea69abdb70de965153c0c721d15bda75b804f6","datavalue":{"value":"The paper presents a resolution procedure for the infinite-valued calculus of \u0141ukasiewicz. Problems of resolution, model building and their complexity are discussed. The notion of \\(\\Theta\\)-satisfiability is introduced. Then the authors prove that the \\(\\Theta\\)-satisfiability problem is NP-complete. In the particular case of a finite set of Horn-clauses the authors provide decision and model building algorithms that are polynomial. The same is proved for a finite set of Krom-clauses.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$79829FB5-5D16-4199-8AB8-2F84FFFAB73E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276262$D1CA63AF-44D3-4B7F-AE75-03F8FE1FC579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276262$1358BE9A-B1B9-4208-B626-FF179AC73818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4dbf78e621bbe1ed8f4d3792938d9e3ade887a8","datavalue":{"value":"1243222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276262$AA3C5692-0180-4810-864B-7E048B66CCD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$65D739ED-7053-4A3B-9314-78FD5BEC585D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c62a556914cbc25b93d368e5742ba9953aa708","datavalue":{"value":"resolution procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$D6981934-7645-4D71-AF88-19D4977E9741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9fe01670a8686e208e92cd459d70aaa81dbb63","datavalue":{"value":"infinite-valued calculus of \u0141ukasiewicz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$C71F584E-209E-4FDB-9824-4ABB525A865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$7E6363DD-548F-4A52-A48B-92B4D55A6442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276262$047D444E-4568-41B5-AD97-FFBC9F037C33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$5ECFF13E-EC79-4A6E-A887-E0994624C7A1","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":"Q1276262$376E900D-A94E-4E2C-8EE0-A33FFDC93939","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff59f31845065999d806b9ab3e88fa5355e4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4868234,"id":"Q4868234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$E0B18E77-E34E-41CB-B41B-CD397A13229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55ec7d85a1a4f4c7b58781d8b4afa8d0029ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":5607225,"id":"Q5607225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$A79DF29D-4C86-409E-B025-6AAA5CC60BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$42219C33-BD99-47CE-B8EC-E43D7B9C8DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$DF0B6FE5-4FBF-4249-A7DB-F1121EA5E816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b718ed2d20bb0b572d45cbe639b6f1fc59194a8","datavalue":{"value":{"entity-type":"item","numeric-id":1325668,"id":"Q1325668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$27AF6D34-1615-411A-9F86-5FD7A63A1CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5defc076e55799f41af7a0ea8ed54836872aa07b","datavalue":{"value":{"entity-type":"item","numeric-id":3837739,"id":"Q3837739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$7BA3C3C6-D5EF-431A-B593-F7ED2EB2730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60825ed7b4f2a863785659851ee077d2258463df","datavalue":{"value":{"entity-type":"item","numeric-id":1391131,"id":"Q1391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$132195A0-891D-41FB-805A-CFAEC7A06CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276262$55A9F06E-46ED-4F31-8267-9EC51F7B362F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abc20eaf93ee7c89f9e8fe502bbf6f16ab620b2","datavalue":{"value":{"entity-type":"item","numeric-id":2784792,"id":"Q2784792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53adcf0ff98d5782de3571974034a977eba56cc","datavalue":{"value":{"amount":"+0.8200258612632751","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":"Q1276262$10DC7649-F5C6-4905-860A-3B1C64673871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fdd04b9e97b9f626cd619864ff72df85008701","datavalue":{"value":{"entity-type":"item","numeric-id":352963,"id":"Q352963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697351e083ab9324771d22168293de69d3742626","datavalue":{"value":{"amount":"+0.7801758050918579","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":"Q1276262$245D4284-A575-4202-A47A-320B5719BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd91639dd24ad8e72a51f52648096ace710f67f6","datavalue":{"value":{"entity-type":"item","numeric-id":2317509,"id":"Q2317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fea679fc1c2356a2fa54846c45beed953e682e","datavalue":{"value":{"amount":"+0.777224600315094","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":"Q1276262$233574DD-7F4D-487B-BEAF-688B9EF82D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f44ee2467f181929d105aca807c957fbc89930","datavalue":{"value":{"entity-type":"item","numeric-id":2209555,"id":"Q2209555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11743ac25d24c62beee506101a44b38b4d28878","datavalue":{"value":{"amount":"+0.7761465907096863","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":"Q1276262$546DDABF-0789-4A96-9820-CDFB1185871B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69cbf2e865577743980df66dcd0e2ffe57c0aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4287516,"id":"Q4287516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1504ae0427e3fc796b78dd0d07e6daa400a733","datavalue":{"value":{"amount":"+0.7732964158058167","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":"Q1276262$11642C27-BD78-4220-A18C-172771B914F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1276262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1276262"}}}}}