{"entities":{"Q1924776":{"pageid":1935518,"ns":120,"title":"Item:Q1924776","lastrevid":43426648,"modified":"2025-07-25T17:48:52Z","type":"item","id":"Q1924776","labels":{"en":{"language":"en","value":"Propositional truth maintenance systems: Classification and complexity analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937273"}},"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":"Q1924776$94D7EDD9-D2EF-40A8-8593-729FDBF3C29D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc4e01c6eb8533e1c88896f57ad077b18eb66295","datavalue":{"value":{"text":"Propositional truth maintenance systems: Classification and complexity analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924776$90474A67-E7A4-4341-8687-9617E0F9B6F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f175c3e836334346b4960f3e66bde996be87106c","datavalue":{"value":"0855.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924776$A44D81A7-AF4A-4478-B496-9F532A3207B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8d9c24f4fdf3b9085ead18ec5aba62a43117914","datavalue":{"value":"10.1007/BF01530952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924776$79C4FB95-370C-429D-93BB-270FC2B298F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43476ed2d1495e6d60cb295cdbf36f7fad8e6c42","datavalue":{"value":{"entity-type":"item","numeric-id":1924775,"id":"Q1924775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$D6A49A99-49DE-4031-B03E-51338AA23F20","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":"Q1924776$F8AA3458-AD4A-4363-88DF-2BF4E050222B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0be8ff382edb32f3da22feee8dc070930911f718","datavalue":{"value":{"time":"+1997-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924776$188B7158-EA9F-40C6-8234-1F0F4E511B1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924776$34D9AE56-8F95-423B-98AF-29964BEE330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924776$B2EAB442-46E8-491E-A840-E7631F3D1826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c0eacf50950725f18d3b496b1342ae98ee9d9e4","datavalue":{"value":"937273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924776$724A9463-BD41-4838-88C4-8AC583269E6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f10393c8aa650c332ff66825401aced2c5f5ca","datavalue":{"value":"truth maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924776$889E19F9-D3BE-4C7C-B947-6160E8431AC1","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":"Q1924776$5FB4C307-2D13-4537-A998-8B808B51B3B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$F6CFB531-E5C9-4815-91AE-7E2F82A9ECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab648e1689febccc7daffba18fb70c2f3e13c50","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$7A79EAB2-F25D-4AA4-B3A4-E80B84962D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$17DB4DF0-6ED0-4A8A-9AEB-40475D17CE64","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":"Q1924776$F70E8017-6CAD-4098-8042-8BFF4C6D34D4","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":"Q1924776$E8C82F09-FD6F-4D7E-B2D8-4ABFDD9E1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$6309DB1E-0921-4498-A1AA-9B0880031E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b382547d8fad964f6c32dd98e9936f8afb92f192","datavalue":{"value":{"entity-type":"item","numeric-id":1230637,"id":"Q1230637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$D67B54A2-EAB5-4EFC-8240-E8493D7EDD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9fc617a75bbc645ab34f65e69e8e28dbe32bef","datavalue":{"value":{"entity-type":"item","numeric-id":4725766,"id":"Q4725766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$CE01BE29-07E2-432C-9365-8809879E7096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$A47DC359-BDBC-4EB7-943E-9C20CC0BA150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$8332923F-E11D-46CF-8BA7-344556A8DFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53931acda4d1de6fffc8c785b472a64b77dbbda9","datavalue":{"value":{"entity-type":"item","numeric-id":5402565,"id":"Q5402565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924776$7279C3B4-CB0E-4864-8F63-BC7450A0D82D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4470c7e3c99ddada0d37e42c4f284902b207f8","datavalue":{"value":{"entity-type":"item","numeric-id":4035685,"id":"Q4035685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d2b4ca0182ababe2381ef2c8de0d7bfe7ea911","datavalue":{"value":{"amount":"+0.92446065","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":"Q1924776$F1697F17-6FCE-4A9B-A9C0-137FFDD4AF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3514a4a6a4a248864735094514e2ce6a0d1e68e8","datavalue":{"value":{"entity-type":"item","numeric-id":293437,"id":"Q293437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8efcf5c48757ddbef4adc72b93ec0602103fb5","datavalue":{"value":{"amount":"+0.87628114","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":"Q1924776$021AAB46-FCEF-4B0E-B5B0-EC35218BE4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967f966053211f834e0f058e218a76d4086af1bb","datavalue":{"value":{"amount":"+0.87234706","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":"Q1924776$CB96073A-2BFB-4CA8-B19F-E9326D03E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848775e0917e83ee6bad63bd920fc3df853dd8df","datavalue":{"value":{"amount":"+0.8681963","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":"Q1924776$3B342F9C-6F70-4EAA-A5BF-B8B20763F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c700ecd58890d5cd47754c9d26b54634b47687b","datavalue":{"value":{"entity-type":"item","numeric-id":5470752,"id":"Q5470752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e27efa68975fe0994ac6bc5ef88775b38f5cd22","datavalue":{"value":{"amount":"+0.8678643","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":"Q1924776$E75484BA-C534-494F-A92C-8A8A84DF4A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09de83c0f1ff62ca08483cf5ee3fc3ee955da790","datavalue":{"value":{"entity-type":"item","numeric-id":4287520,"id":"Q4287520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea53614e4e509cf0e2cfe8586d5857abccbb3cac","datavalue":{"value":{"amount":"+0.8670699","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":"Q1924776$FC8A3D3F-EEA6-4D3E-BFCB-72D5F8EAAC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6cfdd8e7dd7ccbda5410609aded9d45cf794ac","datavalue":{"value":{"entity-type":"item","numeric-id":1595914,"id":"Q1595914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7971b25984a4050bf0c94cb52f7c36452fa868a2","datavalue":{"value":{"amount":"+0.8661519","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":"Q1924776$192A01E5-C4E0-4409-AD98-DF0B963E6CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966d209593d6af9ee5495f85b8b34c7b4136c0dd","datavalue":{"value":{"amount":"+0.86414766","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":"Q1924776$DDFCA496-CA9B-4551-B02F-E13553236092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd1e396d0a98e0e8a6a35165d5765cfe4a7a292","datavalue":{"value":{"entity-type":"item","numeric-id":3165755,"id":"Q3165755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5fafddd709998efb871f98bc6ad2ff3f251f20","datavalue":{"value":{"amount":"+0.86399436","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":"Q1924776$5A41724B-70B5-4B8A-AB3C-E093741A545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e15a383b009026b7fa3b9b7bd3e6044779b5a7","datavalue":{"value":{"amount":"+0.8606275","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":"Q1924776$1F88CD48-2533-434C-B7BB-65C022513499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924776"}}}}}