{"entities":{"Q689286":{"pageid":691135,"ns":120,"title":"Item:Q689286","lastrevid":63499197,"modified":"2026-04-11T13:34:30Z","type":"item","id":"Q689286","labels":{"en":{"language":"en","value":"Legality concepts for three-valued logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445056"}},"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":"Q689286$0E890E6E-A59C-40D1-8709-1CB46B4773BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"361c804d6c78971b2c9c10ee45dfc7c1b6f80e51","datavalue":{"value":{"text":"Legality concepts for three-valued logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689286$FA019E9C-823B-44DE-8D10-D7CD8641A48F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6551490acf9e5149af784bc8f27c6a4bb578737","datavalue":{"value":"0788.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$E03CDAF3-70B5-47EE-B96C-7A1C199D5C8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09a3b6e5889c144918f33e399887ab8999700c16","datavalue":{"value":"10.1016/0304-3975(93)90244-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$4943A3EF-0E39-4676-B27E-D3B0DC1EEEF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18c6fb27ec8564a35c4f2077f31fb535ada98d8","datavalue":{"value":{"entity-type":"item","numeric-id":689281,"id":"Q689281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$646064DD-5A9B-419B-BAB5-6CDA99162B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9223aedcd4491b02c5610f4832dbaf201d9bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":689282,"id":"Q689282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$57A15626-E814-4F8D-B5A8-8DDDBAA4DC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9232a3d021a77122da240e88c09e9d47485a870b","datavalue":{"value":{"entity-type":"item","numeric-id":689284,"id":"Q689284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$BE4AD3F5-153A-4089-84AD-105FBACDECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31aa252c3bcbc7deb150098ceab3ead4f4aad095","datavalue":{"value":{"entity-type":"item","numeric-id":689285,"id":"Q689285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$15504B6D-9900-41F9-B079-28269E76FCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48646ee0a88f542429d2244fe169e8b1fc98c1e","datavalue":{"value":{"entity-type":"item","numeric-id":1110313,"id":"Q1110313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$52329046-AA92-47DF-9460-6F2AA4E2E853","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":"Q689286$4D4B7A8C-4749-4FAC-BA9E-DF4629B53467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689286$D31608C7-C167-49EE-8A31-5FEEC542A5A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a14085e67dd36766ba1a3910fa9d9930ddcd92c1","datavalue":{"value":"The authors consider three-valued propositional logic and interpret the third truth degree (besides 0 and 1) as ``illegal'' or ``unacceptable''. With reference to a background in computer science they get (unusual) truth tables for an implication and -- noncommutative (!) -- conjunction and disjunction connectives. And they add a ``legality'' connective indicating that some formula has a ``legal'' truth degree, i.e. one of the degrees 0,1.   For this logic they study Horn clauses and logic programs, introduce Herbrand models and fixpoint semantics. For the class of ``legal'' three- valued logic programs the use of the SLD resolution algorithm is proven to be sound, and it is shown that this algorithm too can be used for a legality check.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689286$C6F14DE9-3680-4944-838C-53B81017D36B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$A70E3397-69DA-4FE9-9172-3DFE55A00C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$E111FB03-B068-4D97-8147-621ED62E6FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$5D03E6EE-3C9C-4778-BCE6-D8F57F800EA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"038d5cfbbce2a936d0d3a9bff8b5f76f23ac204f","datavalue":{"value":"445056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$43CF26E9-6D1E-4B6A-A9E1-8A4F5D6AADD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q689286$AF1E2147-DBB8-41E3-9A4E-CB7D259B607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689286$3F680A0F-9FEB-4484-B8BA-444A0A73111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q689286$3934CB8D-C87D-4A2D-98B0-609B5FA6F23A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$7FB6BBF5-9943-41E4-952E-7178717E953B","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":"Q689286$5AB71224-4B59-4AD0-8C82-AF476CEACE86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"517189ebeb1cc9884e1c2ddaba2f54a86ab4d405","datavalue":{"value":{"entity-type":"item","numeric-id":4951952,"id":"Q4951952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$E894F03A-678B-40D5-A613-6FADE74EACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$C58DDE68-F9E0-4B2E-89EC-F5491B2ED865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d70a50048f4b2fc6a6dd00308d467e114d32fc","datavalue":{"value":{"entity-type":"item","numeric-id":753474,"id":"Q753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$C42B26BC-8C19-4BEB-BE52-BE56F552F2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$A353E023-6E53-47C0-ACFF-FDFD4364FDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a4b796930ffb0cc350d2b58d3e4942daf2e724","datavalue":{"value":{"entity-type":"item","numeric-id":4287488,"id":"Q4287488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$76D5C841-7DFC-47A3-AC25-DA0EDF9636EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$56F1FEE2-D409-414C-B887-CADCFB0F7883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b7a1d134a856bc125567aa80d7392f42d01ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3706525,"id":"Q3706525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$0C26C883-DC45-4D6F-BE2A-692C48EED29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a91f73927a3d80eb5f206237090d7c2fd8fcd1b","datavalue":{"value":{"entity-type":"item","numeric-id":3786031,"id":"Q3786031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$2CE3372D-7999-422B-A888-7657377BC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$EF131589-F9D1-452F-8308-B4E475CB8910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$6119ADFF-0665-4739-82A7-40684BD602FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52896cd88a5f2799c73a3e4eeec032de3bfddd9","datavalue":{"value":{"entity-type":"item","numeric-id":3334069,"id":"Q3334069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$E8399705-5472-473D-B5D8-5A562E56337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$35C47B76-DBE1-483D-8651-E92452BAC91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99908e985936f3b3fcd2ddcff7767476f95f7b30","datavalue":{"value":{"entity-type":"item","numeric-id":1102939,"id":"Q1102939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$C32BCE4D-C982-493E-AD1A-A1BC93F72FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6934ca2892b5948aaec3f09c4b46ce3ed4a10d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3348392,"id":"Q3348392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689286$EDE94BF8-FD45-4A01-8367-7629EA7F5FC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d3b03464645be86d002493b03ee8654608b4e46b","datavalue":{"value":"Q126527283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689286$B84750C2-1DC9-4CE5-B086-7ABA68F8AA1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0356c80e14b8710a7c22a5ce411c6e66a0499414","datavalue":{"value":{"entity-type":"item","numeric-id":753474,"id":"Q753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611c6c294b365044285505aaf28c2508ef80533b","datavalue":{"value":{"amount":"+0.7964739799499512","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":"Q689286$E5B4CEA6-E343-4066-85FA-D38E7C427F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba17f946120dde62b5a9d8694354763163071c71","datavalue":{"value":{"entity-type":"item","numeric-id":3991300,"id":"Q3991300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d752eab41a2893dd8ff29e4b7d8fc32190dcafa2","datavalue":{"value":{"amount":"+0.7956803441047668","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":"Q689286$C64828FA-03A9-4608-9C8C-F89B3D3DCCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d752eab41a2893dd8ff29e4b7d8fc32190dcafa2","datavalue":{"value":{"amount":"+0.7956803441047668","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":"Q689286$287394A9-46B0-4405-B897-6FB06214C1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b4b71f34a593219610bd179be8ab9818b436cb","datavalue":{"value":{"entity-type":"item","numeric-id":5482275,"id":"Q5482275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f460d0164f324bb9ef5ab02cf62015e5e1841dc1","datavalue":{"value":{"amount":"+0.7922656536102295","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":"Q689286$DA7D47FF-CD24-49C3-A472-9ABA85CF0917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da0a28387918989a7a4fec9c5dbc834095dd29be","datavalue":{"value":{"entity-type":"item","numeric-id":3786473,"id":"Q3786473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2ebeb02db2de1bb06201bafbdf8caf74855d12","datavalue":{"value":{"amount":"+0.7916569709777832","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":"Q689286$50F17A2F-F207-46CB-B35E-9B0B7A9F9636","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Legality concepts for three-valued logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Legality_concepts_for_three-valued_logic_programs"}}}}}