{"entities":{"Q2929583":{"pageid":2940303,"ns":120,"title":"Item:Q2929583","lastrevid":42517436,"modified":"2025-07-01T12:29:43Z","type":"item","id":"Q2929583","labels":{"en":{"language":"en","value":"A novel SAT-based approach to model based diagnosis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369223"}},"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":"Q2929583$2D4851B0-6A9A-464C-96E7-852BB79034A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e13a1869ecacb542488fc769be29af9a1dd515a8","datavalue":{"value":"1367.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$9DFABF91-5D1C-499F-ABDF-A6DE593A7F43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ac7fda5340f2ca23638f7bd6268c9599fc47a27","datavalue":{"value":{"entity-type":"item","numeric-id":2929582,"id":"Q2929582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929583$45E76BBC-4E75-40A9-A624-DF7BA7F8B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c980435601ce6f741202d0a3f682e5e47c2907","datavalue":{"value":{"entity-type":"item","numeric-id":360143,"id":"Q360143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929583$3DBDCD3F-0CE4-478F-8826-82D727870EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed10d849b2a24e828c3a8f97818fb1773401839a","datavalue":{"value":{"entity-type":"item","numeric-id":506744,"id":"Q506744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929583$BAF3E8FF-3876-4117-892A-BD556CF7BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929583$281D3BAC-07F5-485C-BB1A-05F3977138ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c62651f95a56155ca689baf347b077b1fbdec8f","datavalue":{"value":{"time":"+2014-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2929583$348D7119-9EBA-440F-97F4-22CC2C54C9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$3A1709C5-6125-4069-97C9-4B1A59992ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$3BFA8F27-378D-4EAC-AE6E-DD9FCB937485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73610949a2eadeac530814b9423764bd70f531de","datavalue":{"value":"6369223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$3BFBABD6-E837-4A98-A822-1A21865B006C","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":"Q2929583$56D45F11-34BE-43F8-BD5D-02B4D570FB0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c797369e26869c0bd6bea017307717898536798a","datavalue":{"value":"https://doi.org/10.1613/jair.4503","type":"string"},"datatype":"url"},"type":"statement","id":"Q2929583$3B0FD4FA-5EEB-4DFF-AD51-C04257DE05D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c641c1c51a0d66f6a448376cae92b16e697d50a7","datavalue":{"value":"W2115436681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$031E2F6A-9E97-46E2-ACDB-A5CCAA7D2B02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f56a083671da75f3aa43342ec3ad427bf1d0952","datavalue":{"value":"10.1613/JAIR.4503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929583$5AE2E167-2705-4D3B-A2E5-830CA9335A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad1d4e575cd3ef8f28afd375fc4b8bcfa3f27f9","datavalue":{"value":{"entity-type":"item","numeric-id":5950284,"id":"Q5950284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaaaaaca99b16972de70fa74aba8a6cb298e484","datavalue":{"value":{"amount":"+0.88384974","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":"Q2929583$6B9D216A-449C-4295-B82F-0492FAF460B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd428aa6f84f4e46341e6e5ea79a42c416fec734","datavalue":{"value":{"entity-type":"item","numeric-id":4397012,"id":"Q4397012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285234d026d5d0ddb6a0f6eded3dc3e42d543179","datavalue":{"value":{"amount":"+0.8756461","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":"Q2929583$A85F1819-CFE8-4A41-B662-1213E16585DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c3f6cc5953f995104530aa92ecf2ec0f85ca56","datavalue":{"value":{"entity-type":"item","numeric-id":5237332,"id":"Q5237332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933494f0a897a4512f7f146ee80de312cbab708d","datavalue":{"value":{"amount":"+0.86926174","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":"Q2929583$43A2D46E-78CE-40C6-99A1-E6502F15A0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2991402eea81c2e62cabb99a4801bc78862a70","datavalue":{"value":{"entity-type":"item","numeric-id":1069318,"id":"Q1069318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89451fa11f63154093750843cb3e063581287b7d","datavalue":{"value":{"amount":"+0.865757","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":"Q2929583$04DD07EE-EC32-4E43-9A0B-05CD9CA6BD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b54f346a9c5c3dd1a7fbff7b7be4f6ef1fcee3","datavalue":{"value":{"entity-type":"item","numeric-id":1924811,"id":"Q1924811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6988641ff52f0dc20c960137030a0c3c44b587d","datavalue":{"value":{"amount":"+0.86495596","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":"Q2929583$653F0D46-85A4-4051-B641-1E22FEB40CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50883ff08c93e9524cd3cc9f90303468b241391f","datavalue":{"value":{"entity-type":"item","numeric-id":1382155,"id":"Q1382155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b53b57bdeb4c4377e14d530e80d7570997878f","datavalue":{"value":{"amount":"+0.8576864","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":"Q2929583$6AFEBF33-5167-4B51-9477-0819148F1309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f5f0b94206e3e9d0143afb5a3aac3811770191","datavalue":{"value":{"entity-type":"item","numeric-id":3638148,"id":"Q3638148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9d736c04ba74c0f1f96ec8e46d431d1de45caf","datavalue":{"value":{"amount":"+0.8564006","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":"Q2929583$351CB3A8-830F-4FB7-8F3B-F94B598506C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b912999888ac3c285781a3d54172651e737b5e33","datavalue":{"value":{"text":"A novel SAT-based approach to model based diagnosis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2929583$CE9B821B-DC71-439C-994A-CBA3D9FE41D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929583$3AF25D7E-D5D1-4E20-AE18-A37C39609CFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2929583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2929583"}}}}}