{"entities":{"Q4443390":{"pageid":6472989,"ns":120,"title":"Item:Q4443390","lastrevid":48218257,"modified":"2026-01-04T00:10:42Z","type":"item","id":"Q4443390","labels":{"en":{"language":"en","value":"On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024811"}},"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":"Q4443390$A3C0D1D8-A54E-46C0-9B74-4BEA407628E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8e8d2c7a4e2b93bfac8a5d31b7cc59f8b9a0c72","datavalue":{"value":{"text":"On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443390$ACE7CFA1-BB22-4ECB-997E-B099E9BF9F68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48a0693fcf07a3bc92066b91faaf489a921ae927","datavalue":{"value":"1033.03505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$ADEEFC7F-6C20-428E-9B08-B32F02C14302","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$C7CD30ED-8285-4922-B9DF-84E5425A9102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443390$34CE4D0B-AA13-49BC-8881-1D06EEBED41E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$35EE4A24-DFAD-4512-8E0B-77660D06E1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$216A14DD-5A5B-4016-8678-A820F3BF9C43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd91fafa8dd0f84fca00b7b1bc4fbe2ca237f084","datavalue":{"value":"2024811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$FF9406A1-9D25-44FF-A662-EF4C4483E9A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff7086c700c06e99880c04f2de1ecb5f045714e","datavalue":{"value":"counting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443390$9530BD1A-08BD-4050-B0D7-38963FC8EAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443390$6353AEAF-1FA3-429B-B341-16479D57F837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49f10393c8aa650c332ff66825401aced2c5f5ca","datavalue":{"value":"truth maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443390$32271B52-E0B9-45A9-A48B-B5183793BCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443390$95F35476-38EC-4F16-8528-EE984BA07E47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab581a8596fa2f5f17dcb9bcf516e7db4560e5f","datavalue":{"value":{"entity-type":"item","numeric-id":511783,"id":"Q511783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$02CAEAA0-729A-4D64-96F9-2FD5C5EE4497","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":"Q4443390$05AFC4F1-3167-403D-A114-E4C4D6E61754","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97cb248a94e91873f968740199dcf6444eb396e9","datavalue":{"value":"https://doi.org/10.3166/jancl.11.11-34","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443390$B15A1178-8277-4AF5-97FC-5EA25C72C2BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fdd18daaa7cd83cc2bbe7dd3922954712dc0c09","datavalue":{"value":"W2010438070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$499AA143-60D7-4A0B-A6FE-FA486144F755","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$BF7EB584-AD99-49CE-A423-C77802570961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eadff71e14f5a047a93d30fd600d33144eb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$BF5AC4A0-AB9A-4BA1-AFB2-D6B3B892FC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d2b94aac8ba26462cfd6031196f24a22ea395a","datavalue":{"value":{"entity-type":"item","numeric-id":1127351,"id":"Q1127351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$23EBD85E-631E-40A9-97DF-91E341621FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d378182b028bab2f1343f70a2eaf578c68f0c054","datavalue":{"value":{"entity-type":"item","numeric-id":5944710,"id":"Q5944710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$35C7585C-9BD9-415E-A088-6EB17437BF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$0838089B-7C73-49E8-A450-79028A89DEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5039c52541b2931fa57b96687238afdd3a752346","datavalue":{"value":{"entity-type":"item","numeric-id":5424856,"id":"Q5424856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$9EE2E6F0-A838-4012-B768-5B6DE2BAFFBF","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":"Q4443390$EB2946B0-AA06-40DF-B59F-19D352296F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2779c135e276cb2ba89f1577b854a83ed2c3554d","datavalue":{"value":{"entity-type":"item","numeric-id":4419787,"id":"Q4419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$36480916-05E3-4A67-8BF1-15469A01E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"977365d4df24f4adfa30324a85501e255344512f","datavalue":{"value":{"entity-type":"item","numeric-id":3773162,"id":"Q3773162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$9576CB4D-20FF-4808-ACBD-E299C9712F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd29d824dbce9664110e60e74e7edbbffcc7c5d9","datavalue":{"value":{"entity-type":"item","numeric-id":673788,"id":"Q673788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443390$A2ADEB71-FBCD-4E6D-8BF6-379D09397355","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f55a008a8434353ccc2d52d9f8d1e0b9fd815a3","datavalue":{"value":"10.3166/JANCL.11.11-34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443390$918F417F-AD19-40BC-AEF7-619866317CD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09c930288a0b558482e09e0111f519ec7bfb628","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3023acf34b57fb8c0d14f1d5d32abaf9d17e588","datavalue":{"value":{"amount":"+0.7974395751953125","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":"Q4443390$727A8017-518A-4803-A460-2BE520F71081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335563a3b9c4efc8bb5e5aacf2f176428c5db3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8239133d5da44a15b1b537993574af0c942bc8","datavalue":{"value":{"amount":"+0.7855119109153748","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":"Q4443390$585E566C-2E59-4800-AFE7-E5A94A3055C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17b52661034df5374c86ab4f485183199c7bc9a","datavalue":{"value":{"entity-type":"item","numeric-id":3643123,"id":"Q3643123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25395ac5701ceb271aa22e29d72fa39f6fbb9fec","datavalue":{"value":{"amount":"+0.782379686832428","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":"Q4443390$E575521B-8F47-4AD0-B01C-568D0C522D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49621e7fafbdb5c2123ce4d8fde4a6976e045973","datavalue":{"value":{"entity-type":"item","numeric-id":5012574,"id":"Q5012574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37c94d47f8decddd83e9eecd65ffbe7bf8680b7","datavalue":{"value":{"amount":"+0.7737081050872803","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":"Q4443390$9AA73FC4-DC5A-4F42-9BB5-3202C4349A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc2b4381ef69bd64378c556a57934b24d6356cd","datavalue":{"value":{"amount":"+0.7700790166854858","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":"Q4443390$6C3EE7E8-197B-41FC-A7BB-43F71F862B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443390","badges":[]}}}}}