{"entities":{"Q672705":{"pageid":674554,"ns":120,"title":"Item:Q672705","lastrevid":63462969,"modified":"2026-04-11T13:20:11Z","type":"item","id":"Q672705","labels":{"en":{"language":"en","value":"Contributions to the stable model semantics of logic programs with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985145"}},"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":"Q672705$CD2CBBD2-0E04-442B-B9D4-1DC96CA23441","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e72d448cd6d9bd8b88803c4b5d0cc4af44c29c6","datavalue":{"value":{"text":"Contributions to the stable model semantics of logic programs with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672705$3D9E8AD6-64C1-4F6F-810C-0D276786AFB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6927ccac07897f66390085f48f36f16e38dda6f7","datavalue":{"value":"0874.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$A71DC75C-1C9C-454A-8078-028067CE396C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cf3e95bae618ba8f8f02af6d3961b7ad9a06a46","datavalue":{"value":"10.1016/0304-3975(94)00259-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$EE32B197-6808-411E-98B9-8426C0B28E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$1C80D9EE-3C2F-4B33-BAD4-A0F8A45DB656","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":"Q672705$655F2920-BEC1-4D67-9AFD-30A6060DAD2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672705$9CF59C4E-89B3-47CD-BA1C-E404EC0C58FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$8979CDDE-F86F-4CFD-BD54-3B8764E8A66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$E654171C-DA61-4912-B217-EE7E04D00345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eafea1c12a8b5db1b11377615a38b45b64ca3156","datavalue":{"value":"985145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$3CD25729-6894-4A0F-BC37-858987EDA002","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q672705$020CDA6A-9A90-4987-818E-10327834D267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a703f46ce0e8a870f41f76128c07ef1759a1df6","datavalue":{"value":"nonmonotonic resoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q672705$DE74A595-E46E-4804-ACB4-3402F21F33E7","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":"Q672705$C645919D-995E-4563-BAAB-188C95DDA432","rank":"normal"}],"P223":[{"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":"Q672705$E48B18B8-C530-4771-90CF-5C99F7C6A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d945268f787ab4471bb29666ec1dc5f623009063","datavalue":{"value":{"entity-type":"item","numeric-id":4484728,"id":"Q4484728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$1C0586BB-D34E-4D38-A1FF-0505CF5A8528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10368cc323e5ed62787e3912961c1f5384475a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4015962,"id":"Q4015962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$8EA3971D-496E-4104-AB3C-2525ADBCDC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993c778586dc5a57003fdba48cb224dbf03b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":1309675,"id":"Q1309675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$5A448D5A-5E6E-4CE9-A14D-5ED62CE4E031","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":"Q672705$2BC761CD-7663-466B-9F8D-0956D3913F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$BAA48E0B-8369-456C-82C8-BDC24A7344E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425c0d083fcab621e3600d7dcfaeea3f70a92e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$0398F628-1307-4312-AB69-DEE2C46E0671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d739c0bf348bfc24c63db03e858095ed23f9d6","datavalue":{"value":{"entity-type":"item","numeric-id":4028824,"id":"Q4028824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$076965AE-C939-4367-ACFA-9A904D44717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$A3BA6CC3-DDC4-458B-BFDC-6A265DFBFEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672705$2C891806-BB1E-4564-91E0-5F37B2B742EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56ff1f09ee794198fb1f73773ebd38c7c8718a0a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00259-l","type":"string"},"datatype":"url"},"type":"statement","id":"Q672705$17749C32-EC46-4B9F-819B-0F991BF27380","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01ded7c2a8c327e75f567b76ec633a55edf6b50e","datavalue":{"value":"W2161628186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672705$C3CCCF4D-40ED-478A-92D7-A7031636FE16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b39ed8f6fe10c128ad67618d28aa82afc98979","datavalue":{"value":{"amount":"+0.9389669","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":"Q672705$AEE5C403-7EF6-4558-A40E-C0F8C03E506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9683d70a90859a0c56090c74ee51b5fff4aec43","datavalue":{"value":{"entity-type":"item","numeric-id":3129493,"id":"Q3129493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0e428f68e9efe344e108e372b607cb83bee41b","datavalue":{"value":{"amount":"+0.9354527","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":"Q672705$66CF8D68-0C20-4C88-A46B-35983DE1E7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a09b5458b41ab308a800a3115fe712c8fe4ee26","datavalue":{"value":{"entity-type":"item","numeric-id":4353611,"id":"Q4353611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c2ed1350c89855fe3e5113f8544ea9b99e73c2","datavalue":{"value":{"amount":"+0.930635","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":"Q672705$49219B0D-AF13-451F-933C-46AA83FFB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02df4384e19a4185c5f0fe9afa06e878ee3230d8","datavalue":{"value":{"entity-type":"item","numeric-id":5425397,"id":"Q5425397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236d55d2438ccbcd5eab711cfd564d57ca62d3c7","datavalue":{"value":{"amount":"+0.92162645","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":"Q672705$9DD9AA44-01AF-49CD-BD13-2AAA75877434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be13f8f54e6cdd49feb173cc54dd59a7a8a3f429","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e6cc359fbef42d65d0043d61897f331739acf0","datavalue":{"value":{"amount":"+0.91617155","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":"Q672705$D3DCA893-6495-49CF-A43B-5AAA68D6C75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0fa60208722a54def6d80634156107be78d15a","datavalue":{"value":{"amount":"+0.91459143","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":"Q672705$6E7A5E64-E8E1-4B0C-A199-75D7765D7C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3991d346ddd214fc3110421947ee830abb8997","datavalue":{"value":{"entity-type":"item","numeric-id":3183130,"id":"Q3183130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537773fdaf69c08cacaf48158c53bbc0e26aa264","datavalue":{"value":{"amount":"+0.91310734","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":"Q672705$1AD0D738-7B54-414E-8811-06DCDF43D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7757fac41d1e24adfaf0d63a0120e77e994b6459","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b92fb20ae229b614c0bf5c342347184c031f52","datavalue":{"value":{"amount":"+0.91191465","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":"Q672705$431FBE1D-31D6-4D2A-8E81-9444A7C5074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb3d048709e5fd751ef6d025e3f8a662e20838d","datavalue":{"value":{"amount":"+0.91144574","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":"Q672705$CF564009-5ECF-4A8A-8A13-1AB9A4B8A071","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contributions to the stable model semantics of logic programs with negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contributions_to_the_stable_model_semantics_of_logic_programs_with_negation"}}}}}