{"entities":{"Q1333372":{"pageid":1344111,"ns":120,"title":"Item:Q1333372","lastrevid":43035899,"modified":"2025-07-17T02:46:59Z","type":"item","id":"Q1333372","labels":{"en":{"language":"en","value":"On the relationship between TMS and logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638743"}},"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":"Q1333372$15187613-4186-40D3-9AF6-2E52A08A991F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ff73fb92d31a6a3de56358b0f1c879ab9e9f309","datavalue":{"value":{"text":"On the relationship between TMS and logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333372$07652E0D-6C44-4572-8399-00D01AB2CA6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45c2c371bbecce04548855d0fdb30a70e10fa565","datavalue":{"value":"0814.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333372$95B751CB-CA8A-4118-AFDC-845A837604DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66b0c89de9ec84f4b188724a7099f1532c47addf","datavalue":{"value":"10.1007/BF02939505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333372$2626B7B5-6240-4763-9576-961D29CD973B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb18cb299d1e4385789f17c3a1d1e5b204ec71b","datavalue":{"value":{"entity-type":"item","numeric-id":1333370,"id":"Q1333370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$FAB4E87D-3E15-4E6C-83E7-FECB8430676B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$D9AEAE38-B091-499F-9723-43BF86FA37E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1317ae177818003130b64fa95d7268c6ee125eca","datavalue":{"value":{"entity-type":"item","numeric-id":1333371,"id":"Q1333371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$85E41B86-317B-483B-9CF8-C0442FCAB6E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$9A82E2E4-58CC-491E-BDF1-417F1157C17A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f372641ec08eb7e207a747fbb409927d029ac18","datavalue":{"value":{"time":"+1994-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333372$7BCD94B5-8FF8-4997-A112-55BD320F7FD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ec188726080442e3875d0600d591c668b9563ee","datavalue":{"value":"In the present paper the relationship between truth maintenance systems (TMSs) and general logic programs is studied. For every TMS theory \\(J\\) a general logic program \\(GIp(J)\\) is effectively constructed such that a set \\(E\\) of propositional statements is an extension of \\(J\\) if and only if \\(E\\) is a stable model of \\(GIp(J)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333372$D220962B-FE43-400A-AF0F-A7FE1AECB5FC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d4140b9edf009e8313c4518427a6256184f5df8","datavalue":{"value":{"entity-type":"item","numeric-id":1277801,"id":"Q1277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$EB66A912-B077-4833-AD4A-EE53CD71F383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333372$6D66D164-D247-4687-89D3-0173EBFD1DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333372$B366F33C-0673-4007-B8E5-F3E04654B5D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3915939d7e0bcbcc60e851fc3515f6aaafae50c0","datavalue":{"value":"638743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333372$520F0BEF-C49D-4C87-A1AF-9391734849C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf509a57edc4ef5770a9df45b8b93fe72c26e7b","datavalue":{"value":"truth maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333372$CB1CCAB7-3CEC-48E7-BFE7-D422FA3D8C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333372$796CD4A7-193C-4B05-B413-8F21E0BA7751","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":"Q1333372$7D162065-9374-4F94-86DD-F4080430E829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$5034669C-B5F9-4EC4-9806-3F24AF322FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$0D350671-2AE6-44C6-849F-7F85467D5D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab3bfd484ba524e34216a7dac1d185009ff5c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5750427,"id":"Q5750427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$1B5518D9-A589-43F4-8169-92EC9F97D7A4","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":"Q1333372$75AEFE76-C87C-4D05-B713-7CF063CA1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac2740fb7ce36eacfbad2659a2fbb39d1c9d68d","datavalue":{"value":{"entity-type":"item","numeric-id":4012211,"id":"Q4012211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333372$F4A43568-777E-4DA8-BBE1-FC6BC290596A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c4ea07e310e3f5d52e99d37306f548c348199","datavalue":{"value":{"entity-type":"item","numeric-id":4940937,"id":"Q4940937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f48117196d876ed76b206fec28575549db0c7a","datavalue":{"value":{"amount":"+0.8734715","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":"Q1333372$302CA92F-6B4A-4529-A431-F3BFC00F2DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7307de4cf232bef004269d8304d0b72926879b99","datavalue":{"value":{"entity-type":"item","numeric-id":4012211,"id":"Q4012211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a9e8c67061b3b98c57697fccff24f4d5a068e4","datavalue":{"value":{"amount":"+0.8494191","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":"Q1333372$F12F0D4C-89A0-4E75-937C-4F6B83AE5DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da83be6bf8de53cb7c71692cc63387049e831355","datavalue":{"value":{"entity-type":"item","numeric-id":5750424,"id":"Q5750424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c11a46f0734b8ab3a26cad2d21ac0d88e236f2","datavalue":{"value":{"amount":"+0.84725165","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":"Q1333372$5FF4AFC6-7470-4E83-BE5F-A400BB0D2B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074fc49899c2af0bbba15842ddb799ce0c6efe54","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d27782169aad155609d3e3fe8303ec7033f4b5","datavalue":{"value":{"amount":"+0.8468359","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":"Q1333372$A3AEE94B-9D0F-4A46-8960-7D0D4DE70ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26ddc2033dfa90228c63db3e1dbd80cd7945595","datavalue":{"value":{"entity-type":"item","numeric-id":1353915,"id":"Q1353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83cbe6cd4c1f9c8cf370798ddb148794dd27e1a","datavalue":{"value":{"amount":"+0.8433353","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":"Q1333372$AA38F892-7749-4409-8761-7A93F0A73251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b2bd45934edaac6cbf102247a692959387d1f","datavalue":{"value":{"entity-type":"item","numeric-id":1884268,"id":"Q1884268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e4adbae3e6f777dbb1817a96a36c600d718ff4","datavalue":{"value":{"amount":"+0.84257364","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":"Q1333372$F6CE1D2A-A940-40A7-8A05-145292A3EBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8abe13e1e22c2d30de8b462293c9efd77a0bdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1106839,"id":"Q1106839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3de8325462a3a74e4d651364cf66ec681d64a6d","datavalue":{"value":{"amount":"+0.84039354","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":"Q1333372$532F51E4-5D41-4770-A403-3C60C3633614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17dd83f86208610f13eb80e9de916ea8fc0d86f","datavalue":{"value":{"entity-type":"item","numeric-id":3341879,"id":"Q3341879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f95804caf715fc7390eed53248f6c2e47850a78","datavalue":{"value":{"amount":"+0.8389808","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":"Q1333372$AB94B76C-0821-4571-8F34-BEA9FF2D97EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef593b1ea83090fed957fd823e81fccaa841850f","datavalue":{"value":{"amount":"+0.83665955","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":"Q1333372$85402A5C-98A8-469A-B937-4A0B09E0F050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624a540748b4e158f71ea38175e16e629b1bd78","datavalue":{"value":{"entity-type":"item","numeric-id":3476794,"id":"Q3476794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bbab72956073bc55433f15fbea81e80f103faa","datavalue":{"value":{"amount":"+0.8363372","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":"Q1333372$8BB5FFC1-2A9D-4E36-9025-1A616B4BCE3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1333372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1333372"}}}}}