{"entities":{"Q1181715":{"pageid":1192464,"ns":120,"title":"Item:Q1181715","lastrevid":67050189,"modified":"2026-04-12T14:35:39Z","type":"item","id":"Q1181715","labels":{"en":{"language":"en","value":"Relevant logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28717"}},"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":"Q1181715$8B253082-B950-4819-BCF6-4A5258830696","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8539c7e8bad00ea40ad259424c1c7c6b81e66e9","datavalue":{"value":{"text":"Relevant logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181715$F37904FA-73F2-477E-975D-73918653889D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52df087a566de75ebcd6ac79a0a1128e382e6c5d","datavalue":{"value":"0745.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$9C496A01-A765-4F0C-8B56-F543333D75C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c2503c2254150080f2563e2cb4e798a0156111","datavalue":{"value":"10.1007/BF01880329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$BBED5B34-0127-4846-9850-711940DC766C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2a18e42d2b0498b4deca6c1d052a993ce22fc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1181714,"id":"Q1181714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$C6BBCCE9-4146-46A6-A3F1-648B7567780B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$DB490C60-0907-4E3C-BE6F-737DC85B9661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181715$8A206F3A-D56B-4612-B0AA-F68F484045CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eed81e79953752afb14bf12c034b14074116d297","datavalue":{"value":"Several authors suggested extension of Horn clause programming using bottom-up proof search in Gentzen-type systems for intuitionistic logic with suitable restriction of the language. The author describes a similar program based on the relevance logic LR\\(^ +\\) without negation and distributivity axiom. Language is restricted to banish negative occurrences of disjunction. For this fragment, relevance logic R is conservative over RL\\(^ +\\) as the author conjectured. This is Corollary 1 in the reviewer's paper [Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 32, 90-97 (1973; Zbl 0374.02017)] .","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181715$090B0E1B-65EC-46F7-80ED-6E0EE3C47C1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$C63D7DBC-7028-4773-8589-FDAF80D6FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$246502D2-31F4-4333-80E3-756152990CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$12D80DF7-4A4B-46F4-8E1E-7D0D717D8431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$EBF606D2-C7F4-4F27-AA89-B59D66D81317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8eec619368e58ec438292c44efa01392be633d2","datavalue":{"value":"28717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181715$68776B0F-64EE-4835-802C-605AD572A576","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181715$F1EAA64D-A8F7-4910-BA03-0C23D5AAF63C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$BF5146FE-E383-4490-B75F-B9EE1ED127BA","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":"Q1181715$485A4364-BA11-4896-AA1F-A7B352967292","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$20304701-8C13-4C8F-8B98-C46F7F24FB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66ec60ab1ee33a785f9b6fbc4190c5c691c386b","datavalue":{"value":{"entity-type":"item","numeric-id":3784040,"id":"Q3784040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$2F0C1671-E0B2-41C9-BAB0-E6D989C10C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$CB30F073-AE08-4F96-BC28-B32EF1C87E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d482f64dc32214208a1dac51ed6b08eadbfb","datavalue":{"value":{"entity-type":"item","numeric-id":3768366,"id":"Q3768366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$51A48F7F-5996-48FF-B23A-FD3C25FD433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c7774a17b83f967cda2ae8c5b7fb8e1f4343b1","datavalue":{"value":{"entity-type":"item","numeric-id":5522820,"id":"Q5522820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$43CE669B-51D3-4AA2-996B-8B0AA12A7F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$55580210-18C0-4EE8-A08B-414C6008B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$F01633C9-20C0-4ABE-BC2B-73D7249A0207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$23AFB0B0-957D-4477-BC06-C692E462D962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c63370afcd2e95ad75268f7b713db229a66b6","datavalue":{"value":{"entity-type":"item","numeric-id":3690195,"id":"Q3690195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$B345BC54-FAAE-4805-932C-0B02617B4527","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":"Q1181715$36D37109-7385-4210-929C-A0C411DE3F3D","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":"Q1181715$09F14434-B0B7-4AAB-9C0F-DE657CB35CE0","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":"Q1181715$134D6EC5-B1CB-426F-8468-55D6DEF3C106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19548802bfe11b0289eac0ed9366f1135645c8ec","datavalue":{"value":{"entity-type":"item","numeric-id":4077983,"id":"Q4077983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$76D42903-C79B-470D-9F8F-A108478AC972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$5B9408C7-8B4C-4FE9-9EE6-ACFCEDCEC208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f4ac2c4d2314fae83403dbcb7eab5f78434cd","datavalue":{"value":{"entity-type":"item","numeric-id":3864488,"id":"Q3864488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$49840088-C67E-46FC-B313-1367891A0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf7364534ee99cb868d82fbda46e45f8706f1b8","datavalue":{"value":{"entity-type":"item","numeric-id":1068812,"id":"Q1068812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$14DCE3CE-97C3-401D-A392-D7555F395BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a21243111cda15893417183dd35870b92788e3","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181715$4FBCC45A-4C9C-475D-8A33-1E44652393F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98feae1d06fd8c743d43434738fc6e44687bf403","datavalue":{"value":{"entity-type":"item","numeric-id":4244294,"id":"Q4244294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455344fc17c61df64f93d1d5e6b7cd850faf0dda","datavalue":{"value":{"amount":"+0.7828375697135925","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":"Q1181715$1EE7CFE2-646E-493C-BEB9-830E17AC8E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f1031a45b4cd5f7e3350daff411c86ab8841d9","datavalue":{"value":{"entity-type":"item","numeric-id":3210889,"id":"Q3210889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ef11bb06ef6660f11a7cd812ad80833bc9e256","datavalue":{"value":{"amount":"+0.7796509265899658","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":"Q1181715$1F97298A-F7DD-4203-96AD-358A71ADEEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1661bb1dd475af6dfd1c1c06c72c6603da3968c3","datavalue":{"value":{"entity-type":"item","numeric-id":4319164,"id":"Q4319164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9152db23baac5ee3bd0449e5b0faee6f420fcaa","datavalue":{"value":{"amount":"+0.7714078426361084","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":"Q1181715$6099C7C5-1292-491D-BB15-05F9132739B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef7c9abfa574d2e2737a98c2950b91f83c13688","datavalue":{"value":{"entity-type":"item","numeric-id":1188837,"id":"Q1188837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd28f5d19a8e7b184ca85ab5ab03c01425370dde","datavalue":{"value":{"amount":"+0.7711582183837891","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":"Q1181715$F3CC8EB8-C449-4AAC-AAEB-95684BCE4231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d398de4c9e5a07d73005357c5296ac2b4c7b2fdd","datavalue":{"value":{"amount":"+0.7704876661300659","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":"Q1181715$F49DA2AE-7F21-47BE-8F54-4CCC1C9217B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevant logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevant_logic_programming"}}}}}