{"entities":{"Q2638808":{"pageid":2649551,"ns":120,"title":"Item:Q2638808","lastrevid":49453570,"modified":"2026-01-07T04:42:33Z","type":"item","id":"Q2638808","labels":{"en":{"language":"en","value":"A rational reconstruction of nonmonotonic truth maintenance systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182858"}},"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":"Q2638808$99C1ECA6-5699-4FF4-AEC8-923513E532E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eae56e3754b4d3ea77ddd9988dabf6e236551010","datavalue":{"value":{"text":"A rational reconstruction of nonmonotonic truth maintenance systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2638808$04201D89-DE8B-487E-B9BF-DD9468B7E3E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2fd409a30627f3d3ed8d1cd1e81d0cb93bd04ea","datavalue":{"value":"0717.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$08B6F569-FCCC-4FAC-B17E-6D6B22C92509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d70667a29ed929ec8107b82726708a578c389179","datavalue":{"value":"10.1016/0004-3702(90)90086-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$684ABA0C-EADB-48BA-9F90-336DFA8DC2C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e39790160a83df43bc1012fdb525367a55289c3","datavalue":{"value":{"entity-type":"item","numeric-id":177561,"id":"Q177561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$E53DB017-8F43-4140-A6EB-4ED3EAB84046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$4AFD91FD-78A3-4857-9973-EF4ACD39AE9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2638808$CBD46A73-E9C8-4FA9-9FCB-C7D58CFEC42B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$7DF9510B-2E95-4C9B-8E81-14F142F4FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$012C6443-CA1A-4EBE-A9E2-6BB41096AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$7E7A0899-761F-48C0-B8BE-7DB69B02B949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b81fc5a3db043fb6edd55c3d9c16796c81d7003c","datavalue":{"value":"4182858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$BF33B184-B2B3-467C-963F-9DB25EE9650F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7707b80ec979df857308d3d3711acb924a0ab312","datavalue":{"value":"nonmonotonic truth maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$3257DBD6-B567-466E-B3F8-46BC1B5BD54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$B7462A5B-B9AD-4CEF-94D4-68B3BF0FE70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfd68376c55fd0734ff7c975de0a2640d58646fd","datavalue":{"value":"stable set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$BB08BEB5-1291-42DD-A80D-4292E07AB28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$3F8638BA-23D3-4C9C-A819-FF1F1D1CB476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1729e7965ce01466da03a6f10776264b99194b7","datavalue":{"value":"dependency-directed backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$1600EF00-D6C5-4643-8707-13D53A6E234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52719e4b10b41f067dee8a696e96fadca675176f","datavalue":{"value":"NP- complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2638808$6C8C2E90-50BC-4AC3-AB53-41CAF01DEE73","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":"Q2638808$F596C5AA-ED07-47FE-BA72-16D45893EB06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6663910585b5930e84f2c3150425eb885be7880","datavalue":{"value":{"entity-type":"item","numeric-id":3829533,"id":"Q3829533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$BA8B5BA0-3AE3-4363-8CCF-75B833EF4F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7ac24fd531f581fbac6bf121377ab8b25a4774","datavalue":{"value":{"entity-type":"item","numeric-id":3667969,"id":"Q3667969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$ECD449BE-8DF1-48C2-9359-FA5BF351A5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$FD2A5EA2-26B5-453F-A312-555AB0795C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$26A1EFA9-5525-45B3-BA03-FE96F34F348D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$B64710D1-BAD6-4725-9F99-5F958200FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0457dd2a82e840b759bd2d889fdc59da2ee2167","datavalue":{"value":{"entity-type":"item","numeric-id":3198885,"id":"Q3198885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$F9BA90B5-1E20-4BE9-9DEC-1ED4069C5D46","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":"Q2638808$09118DA4-7278-4CFD-94A6-93BFA82BA358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2638808$D2B9BE04-CA35-4402-8244-B1D802AC30C2","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":"Q2638808$30244444-2295-4B64-A478-AE6181D4BE6D","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":"Q2638808$D0FF599F-60D1-422D-A549-A80B940BA8E6","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":"Q2638808$75DD27F0-8BCA-4322-A794-51452A4CE4AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80a31467a5dfd94e54ac997ee5cc916158dd972e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(90)90086-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q2638808$0C5F736E-9BBE-47A9-92A5-BF759FAA1F84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e8110870a295cf4d0f89c54f77ee949fbbfa698","datavalue":{"value":"W136379439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2638808$37C93EAA-6608-4805-BEA4-9266DBA0ED8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7915e819ad618376769ea2fa0f38571b6333f174","datavalue":{"value":{"entity-type":"item","numeric-id":3975143,"id":"Q3975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d026992a58bfbdd1d22949f3978c2492cdd41b4a","datavalue":{"value":{"amount":"+0.9127554893493652","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":"Q2638808$EBF352C5-F956-4864-89BC-58C0591B6CB7","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":"d026992a58bfbdd1d22949f3978c2492cdd41b4a","datavalue":{"value":{"amount":"+0.9127554893493652","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":"Q2638808$55623637-621F-447C-B49D-537DDFAB3371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3103f87929df635d2be45b7d6a2f3bbd8054fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5750427,"id":"Q5750427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97998e85d09244c2a62ce10a6c9d475fd493bd3","datavalue":{"value":{"amount":"+0.8682453632354736","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":"Q2638808$920A2BCF-7FE6-4F96-AFC5-582E7E3A293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3db6b6cb5ad3bebddaf7e876be490f0ad2a2a69","datavalue":{"value":{"entity-type":"item","numeric-id":4357779,"id":"Q4357779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac0a6124282941c8a956721f53aeace189da6aa","datavalue":{"value":{"amount":"+0.8381912708282471","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":"Q2638808$E617D762-C085-4C13-BB19-B7A78569D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4feb748cd900355d9a6cf4b1cb7052b6729e72","datavalue":{"value":{"entity-type":"item","numeric-id":4028824,"id":"Q4028824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0540f16a12f63b9df985cf9c18200fc295ceeb","datavalue":{"value":{"amount":"+0.8359248042106628","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":"Q2638808$E2295DFD-3959-4703-A97F-7E405DD37E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2638808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2638808"}}}}}