{"entities":{"Q4302849":{"pageid":6332450,"ns":120,"title":"Item:Q4302849","lastrevid":47265097,"modified":"2026-01-01T04:23:15Z","type":"item","id":"Q4302849","labels":{"en":{"language":"en","value":"The well-founded semantics for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622329"}},"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":"Q4302849$A7FCF683-B220-4E24-AEA7-26DB5499EA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07a1b702b8193e98023d86001560aae3813c6a7f","datavalue":{"value":{"text":"The well-founded semantics for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302849$0A9653A6-5ED8-4221-9EF3-A94D854E0CBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e02799aa47c496ca5093a39245db0fd694c8ec5","datavalue":{"value":"0799.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$E7E428BB-F56E-4DDF-94B9-A68DF312FEBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"672722e77e9e97ad94703937d30437f63134f069","datavalue":{"value":"10.1145/116825.116838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$979062CC-0A93-4A97-98EC-248963C5D4A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb287f6fc535237ff737ede8746c54c1c06ed4b7","datavalue":{"value":{"entity-type":"item","numeric-id":207606,"id":"Q207606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302849$3C1E5E92-DBA7-4918-A04F-69FDAE7D90D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302849$8C349BE7-955A-44C3-8A6A-19E4DD1D19D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302849$03A1338B-FEE6-4DFF-8C60-B01FF2A1A44B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302849$2C961E8A-2E17-4AC6-82D2-4C6A7B09C4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83b85ded45bcd964fa18adf073d88c5a52b60391","datavalue":{"value":{"time":"+1994-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302849$8C9EC3EC-CA04-4F89-8EEC-B4D06D67B232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$609BC381-1EA6-4253-B52C-E8E4917F3F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$315000F8-E619-44C1-9981-E57C7C315DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb88c05a82276efc771d1d9f399af4af611b0ac","datavalue":{"value":"622329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$FCA0B3EB-0D8A-43EE-BD33-AABAE7D38E79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$A445A6C3-A0AE-4D7D-B12B-DF401ACAF90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a08e08f872840295dbf046acbd62339159b17e","datavalue":{"value":"program completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$5D4F6076-1078-459D-8C5A-A4414A779BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$D545C876-E5B1-4AFD-B56A-0AD6B2976428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$3CB54BB8-F530-40A0-8762-2A5F98AE0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974e15e104747009f6efcc185228020545092b7c","datavalue":{"value":"elementary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$2EE64440-44F1-49A9-88DE-89D1CFE533D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$6DF141E6-C5C2-4C1D-ABB4-52437849B0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5db2dcaf926d9cf16a461c86aed42873d886eb0","datavalue":{"value":"3-valued interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302849$474C66C7-67B2-4323-B0CA-80EDF3045067","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":"Q4302849$56C4619B-18CE-4F85-A145-412EE89A73BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f25f433bc738aabdc98edc970662a2dd33498dd","datavalue":{"value":"https://doi.org/10.1145/116825.116838","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302849$CA6128AB-63A6-4409-828B-2513EFCA5138","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cc39c1db81b947f11163204c241af3fd70d583f","datavalue":{"value":"W1968513265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302849$1CBD62C7-CA9E-4085-9C8B-08CCD1124825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f89ae176d732d6fee29c2e267d7757dc151483","datavalue":{"value":{"entity-type":"item","numeric-id":5930853,"id":"Q5930853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9489a54a53e848bde30941ea6be0136c98b3d8a","datavalue":{"value":{"amount":"+0.874445915222168","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":"Q4302849$87EC317E-A050-43C8-9FBD-7BB9ADA2A463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213ea9a9031d7732040880595449a301d3a8ade","datavalue":{"value":{"entity-type":"item","numeric-id":6488525,"id":"Q6488525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202c6d61031ec277c3bf096aeab7595474154972","datavalue":{"value":{"amount":"+0.8610004782676697","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":"Q4302849$23C0CB71-C83C-4462-B34F-4AC1C8116635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4340cc0ae49581af59dd0b2c9ea71d6b3c62e67e","datavalue":{"value":{"amount":"+0.8468500971794128","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":"Q4302849$FDC7577C-CB31-431E-8F23-175D9AAC240C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd958883deeb9bba04aea55b296dd671709f097","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d5e8e7507522ecbadfc136acc51469c0831221","datavalue":{"value":{"amount":"+0.8448043465614319","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":"Q4302849$213626FA-065E-4582-8305-741199B39DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfeb1a5ebcbd213c438151d5684c25bc7c343de","datavalue":{"value":{"entity-type":"item","numeric-id":4902254,"id":"Q4902254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce80f5dcd97ad9df77a0d05d5d645f3a04322091","datavalue":{"value":{"amount":"+0.840735912322998","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":"Q4302849$74C6A461-29D7-4237-BB75-FE8D79BF1C44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302849"}}}}}