{"entities":{"Q1978019":{"pageid":1988761,"ns":120,"title":"Item:Q1978019","lastrevid":43458661,"modified":"2025-07-26T01:26:09Z","type":"item","id":"Q1978019","labels":{"en":{"language":"en","value":"Lemma and cut strategies for propositional model elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456918"}},"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":"Q1978019$7FA69AFA-1AAE-4754-8379-50325650F9E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60fab726c0ea33dc301239755f54cdae63350c0d","datavalue":{"value":{"text":"Lemma and cut strategies for propositional model elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1978019$5A873AAD-9299-4F93-B73D-F8D16CA9E837","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da9c0989fb176b2560c63722a7057520c8017bdf","datavalue":{"value":"0940.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978019$7375E962-C639-486F-8A1D-3CBDB93CB7C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afc45ffee656eae0875200dd59547f585616f93f","datavalue":{"value":"10.1023/A:1018950727018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978019$E5CC6BF6-7BF3-480E-A86C-A95BE8A7914B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d135fdb5d9cabc45110bc7ef12c6bf6347c59da","datavalue":{"value":{"entity-type":"item","numeric-id":1430297,"id":"Q1430297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978019$AD9D517F-2EE4-4536-A09A-14A9CEF1CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978019$D47566AD-482E-4B84-B210-B8393532A931","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":"Q1978019$0EEA29CB-3CF7-4E00-9D02-EC59A7FAB5D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1978019$BA8BB519-9020-418F-B939-1B114A28857C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978019$33B4EE09-06BE-464E-9140-3B659C5CAD47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8935bc2b560e989ed6310d6d5075826a257b64f5","datavalue":{"value":"1456918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978019$1AFAC814-1BBF-4AD5-B5BE-C0F74F444E7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978019$EC0579D8-D493-4462-9084-3E8C21672BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7911c2ef7e609f5a879f07648f4b323a50097f67","datavalue":{"value":"modoc","type":"string"},"datatype":"string"},"type":"statement","id":"Q1978019$1B23E79B-1172-4668-8C25-8DD6A73A764B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978019$66CD45E2-03C3-4C96-83B0-46ECAD5A7891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1978019$37CEA03B-25BB-42C2-BBCF-806B0A560F01","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":"Q1978019$D88D383B-EEB3-4E59-94D2-B5CFAAD0A3EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ab45c6ef0f02d3afc8b74080e5ebfb6670acf3","datavalue":{"value":"https://doi.org/10.1023/a:1018950727018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1978019$98E488D9-CC0A-4D9B-B0E4-DDEE0EE260A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fce2214d8a62732506c83fe78012d91da297838","datavalue":{"value":"W1573983406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1978019$77FE3C83-E455-4C5A-8285-83E7197443B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37e6bc1ff1c304acb48d69ae63e3dcff635d47a","datavalue":{"value":{"entity-type":"item","numeric-id":1430298,"id":"Q1430298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750bc8416e0dd13f6840df3ca4e95772e6985586","datavalue":{"value":{"amount":"+0.88984716","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":"Q1978019$5D43D15E-B22C-4EB9-A99E-FCC956AFD211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc7dcb36534d725dbe66fe4ae665f9ac033b253","datavalue":{"value":{"amount":"+0.88824934","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":"Q1978019$AC404090-F445-4BFA-9875-A05A3C991522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0230feeb85e9575cf80d1face694f8f1e83ec3ce","datavalue":{"value":{"entity-type":"item","numeric-id":2144620,"id":"Q2144620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b607abb2195fc33135afd881aedf027229e1c6","datavalue":{"value":{"amount":"+0.88701856","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":"Q1978019$4C13DF64-07D8-40C5-9D63-57F1EFDAB45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba67e2817f44d9f3978eab80105f1e99842b107f","datavalue":{"value":{"entity-type":"item","numeric-id":5450573,"id":"Q5450573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfeec801763393c122945871b68da71e39a852cd","datavalue":{"value":{"amount":"+0.880423","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":"Q1978019$8297BFA8-031B-4333-93E0-F20DBACD3328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42647f135887c4045bd4e507e478b23aebe3c72d","datavalue":{"value":{"amount":"+0.88027817","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":"Q1978019$CC6A191D-0A8A-435F-8BEA-9B9F84BA9880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42647f135887c4045bd4e507e478b23aebe3c72d","datavalue":{"value":{"amount":"+0.88027817","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":"Q1978019$E5A4E6ED-1D8B-4B40-BB0C-9C44A5B41CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13c5579dca73c0f4caad1f3934529b31f1ac08","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876dcbde4a407f2870e1218ba59be857b5580f9d","datavalue":{"value":{"amount":"+0.87521255","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":"Q1978019$709A38D4-BC5D-413C-876F-95BD20A6EEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9aa1f6270f25ab280ca77f8719a4af5e633e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3010370,"id":"Q3010370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10970bbaf661009983bb9ab8e333fb1f70e63512","datavalue":{"value":{"amount":"+0.87382185","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":"Q1978019$DF0F1C78-9DF1-47F9-AFCA-97718E297B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688097b90429aa4f8533ca1191a1489ce51f94bc","datavalue":{"value":{"amount":"+0.872489","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":"Q1978019$CAE53F9E-9F87-4D17-92C5-8B0334649597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a930ff5c9adece419f62dc2654a2cd9e398e044","datavalue":{"value":{"amount":"+0.87166166","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":"Q1978019$2716DAA9-3A60-4467-8483-18E398FB27E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1978019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1978019"}}}}}