{"entities":{"Q1978009":{"pageid":1988751,"ns":120,"title":"Item:Q1978009","lastrevid":43458652,"modified":"2025-07-26T01:26:01Z","type":"item","id":"Q1978009","labels":{"en":{"language":"en","value":"An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456909"}},"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":"Q1978009$C868067C-15C5-49F6-9F97-CBDF455037EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"584f3d396d8551678d3351b9d8f1d81d0fd41428","datavalue":{"value":{"text":"An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978009$474C7ADE-539D-46C7-9540-E606219CD3BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9892e996dac2a858563365e8032b9939d0fba9d5","datavalue":{"value":"0940.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$9E11E017-55CE-4254-8E23-C04BD6306738","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b962e9c82784f5ab7fea2fc97e143949bf960058","datavalue":{"value":"10.1023/A:1018982106545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$65231B8C-9E2C-4FAB-B7AE-57C87E756290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978009$8704273A-6082-4ED6-94A9-FA3B918762AB","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":"Q1978009$E49BF4B7-AFD9-4226-93C6-C4A65D383B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978009$C7AA7A13-271B-419A-BE1C-1B0EADD959C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$461F4D06-47E6-40CE-8F8D-72AAE746FE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$3295F0A2-B7C3-4D10-A8AB-2995730B4F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e10eec6d46757a06d8241c91a3a375f9bfdef5f9","datavalue":{"value":"1456909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$B9A48C9C-F508-486D-A294-213192D8189C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ef41b5a2e4c75492d9524d1a463aa0cdbb44f4","datavalue":{"value":"Kripke-Kleene semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978009$6A72EAC1-FF06-4948-96B8-6CD38943B4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f90c941552ddcf71484279ee5e93058d4934bc","datavalue":{"value":"smodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978009$153D2011-559A-4C0E-8F86-C19073F35E52","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":"Q1978009$A9C96DD4-8B0A-4AD8-8DCB-3B56B7B14949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cb67bde8d6d4e8fcb4ca4eeda736711f1274e9d","datavalue":{"value":"https://doi.org/10.1023/a:1018982106545","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978009$5C584AB6-ECCF-4B07-BDF5-901779CACB6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4266761301bfbd7e2cc58c4d7882af4d6d0a43","datavalue":{"value":"W1527351072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978009$2B41A60B-93C5-4C3C-B4DC-667AC175C5A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bdcee741aef3ac42dc512a16ef99b0aaf6f7c1","datavalue":{"value":{"entity-type":"item","numeric-id":4941889,"id":"Q4941889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dd90fa085ae7817cb6932835267e1dcf86ce32","datavalue":{"value":{"amount":"+0.869278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$5CFCB28D-F804-45DD-A43D-9F5061B72B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379421ea6d2a162700d4a2c7087f24c00ba0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1346215,"id":"Q1346215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c172668767629d9a45c092849f012ac648ce91","datavalue":{"value":{"amount":"+0.8578207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$57896344-8B4D-48CC-A156-1756CA6A0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20030f29bb822bb442a2deb9448e16fcecdd02d","datavalue":{"value":{"entity-type":"item","numeric-id":3541044,"id":"Q3541044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff53affa825495a2505f1040b20a88d0253ce393","datavalue":{"value":{"amount":"+0.8501226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$B13079F6-EC66-4680-B778-617F073FC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582cc5d81d126c875df4e82b5032d1985fd1f7c","datavalue":{"value":{"entity-type":"item","numeric-id":5297333,"id":"Q5297333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02fc47d4ec8640aa88ff7c0857babef1eb32329","datavalue":{"value":{"amount":"+0.8416822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$93DB52AB-B8FC-43F5-9055-CD39643F658E","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":"9af0ab83b2a228678c89bbada53660777b0aa026","datavalue":{"value":{"amount":"+0.84160745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$95FC758D-ACD6-4ABE-8259-2CB260FF674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85faa142d8e1c29905a8f2348acadd309e054c9e","datavalue":{"value":{"amount":"+0.839936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$DE643A96-92BE-48E1-A320-0B40B8E2B6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8da8f10c21b92ca85b11b9cc30a73c0e767fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":1876086,"id":"Q1876086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6894195a6b8edfe1cd83d4fbb4b18d89cd27f615","datavalue":{"value":{"amount":"+0.8392298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$66C04F8D-6F81-401A-9834-81A327CE11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf2e07187e1998a0a32a830cda0f99509ad1f01","datavalue":{"value":{"entity-type":"item","numeric-id":4999462,"id":"Q4999462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b8776e56f3cd39d510d745799bc3e42665ae03","datavalue":{"value":{"amount":"+0.8359857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$8A3B495C-E178-4B3C-813B-0326BE533209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9508a8fd1eb401967eff83b45395388c42141c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fb216d25d58319ec0694d9bcb7cb6f125fbf32","datavalue":{"value":{"amount":"+0.8350143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1978009$AD4F780B-C1CE-45B8-A438-C1F27D1A0347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978009"}}}}}