{"entities":{"Q1924819":{"pageid":1935561,"ns":120,"title":"Item:Q1924819","lastrevid":82049504,"modified":"2026-05-06T19:58:58Z","type":"item","id":"Q1924819","labels":{"en":{"language":"en","value":"Propositional semantics for disjunctive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937302"}},"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":"Q1924819$85F93392-6BAE-407C-B453-713CD02C2247","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7804c7e28206a547f69640ba14ba8f2b6fc1c7f6","datavalue":{"value":{"text":"Propositional semantics for disjunctive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924819$45B0ED14-154B-42D0-ABA6-75FAB336F4FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"633f34d22e1faf260d5f2851485f1b9be7582e6b","datavalue":{"value":"0858.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924819$859EACB9-5BC6-4D9F-994F-BBEED90BC52F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e380e834af32d8e80bc5a555e28a2baecfea945b","datavalue":{"value":"10.1007/BF01530761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924819$A14E3F42-85A4-4128-BF43-7DAFBA0F773B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebc16da0076a87e7f942c6c122af0f909000e36","datavalue":{"value":{"entity-type":"item","numeric-id":1380413,"id":"Q1380413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$DA4D395E-669D-4345-BA4D-742668097A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"460eb0ad62dfb02500155a265d74683a6914d8f6","datavalue":{"value":{"entity-type":"item","numeric-id":513335,"id":"Q513335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$15F008E3-1D49-4D01-AF96-65E6C62F74AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$F954BD0A-1C35-4795-9E41-07E03E037FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-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":"Q1924819$4CD09650-C608-45B8-9B38-4B9DA86791AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924819$12E35400-7A64-416C-9B7A-4DBFDADFA23A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e86e99abff400980a98add025111ee0483b1f5","datavalue":{"value":"937302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924819$DC37A040-C5BA-4E17-B364-4EB2457D1ED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"164fb5594ea208c71baad39e2bf27e05968b17df","datavalue":{"value":"head-cycle-free extended disjunctive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924819$8E259926-7565-448F-8810-6472610A3765","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":"Q1924819$FCE8E0BC-DDE7-4DB6-8D58-265068970091","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"770bb68de47752f527df3eb5fd0239815f0bd638","datavalue":{"value":{"entity-type":"item","numeric-id":3751595,"id":"Q3751595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$EDD2B6DF-EADC-43A1-9D5B-0E892820AFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$EAB7A2EA-DD44-4EFD-849A-CAB17FADFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bdfe9e8ce1cefa466590964d38f16789200ff","datavalue":{"value":{"entity-type":"item","numeric-id":1116363,"id":"Q1116363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$FE4468B1-FFC5-43AD-AB47-45D8D0B14427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$EAA3A467-B9DA-4796-8450-BA41C905EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217a03352cffc36561a374c3fe3e37d7c69edbe","datavalue":{"value":{"entity-type":"item","numeric-id":2638808,"id":"Q2638808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$4A8B3BF1-42B7-4136-A7DE-CEC21D81BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$08CDF376-1ED1-4BDA-B99C-F62279528F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e807cad96e78d6ed80e9767e538b1f542dbf4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3771663,"id":"Q3771663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$58FE0305-BA5B-4C0C-8BFE-C39818049304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$83D4FDFA-72CF-4391-96F8-74D13C60A197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09beb0344c5f8c044554764d6ce151998549bf67","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$D71DF3A0-FFE9-440F-A325-67E982AB7626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332460cbeb294015a8f58711538d8a310fd2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$4F574341-ACC3-42AC-8A42-979C7D9F8990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$4B498F9D-8620-452D-B43F-186B6E9E7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$FB6866C7-0664-4EA4-A1E4-E3BADAED64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$B7861604-8C8E-4F87-B856-C709F92C58AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924819$3E104668-96B7-4A7D-9411-C8A0D8F8666D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7662bf62316859e1e110290de01a1895fbcee798","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51c5243d4a7c2b89934c0c861f82f51a460ca7f","datavalue":{"value":{"amount":"+0.8166577219963074","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":"Q1924819$8316BA37-1A25-4C4E-AB53-C1095701772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccec06a193bd2266487682d8a3d6e97a5e1474c","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d7ff160ba8a50c78ee970784df69d7c5e1dd1a","datavalue":{"value":{"amount":"+0.8069232702255249","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":"Q1924819$941FBCEF-6F96-4370-8F3B-AD38962170D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95af72a740fe59154e7babd5a9bdf788598e2130","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a4e44aa70a443a090a97c968a8da67ccbbcfe6","datavalue":{"value":{"amount":"+0.8011740446090698","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":"Q1924819$3D2B566A-5D12-49FD-A6F2-17F05EC44171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional semantics for disjunctive logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Propositional_semantics_for_disjunctive_logic_programs"}}}}}