{"entities":{"Q5756567":{"pageid":7786118,"ns":120,"title":"Item:Q5756567","lastrevid":41527651,"modified":"2025-05-04T10:13:14Z","type":"item","id":"Q5756567","labels":{"en":{"language":"en","value":"Satisfiability Checking of Non-clausal Formulas Using General Matings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187225"}},"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":"Q5756567$4C0C8149-640E-4488-86D8-0CA1817BEECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"045de442bb4824eee8c3a120199cf9deb00c2f9b","datavalue":{"value":{"text":"Satisfiability Checking of Non-clausal Formulas Using General Matings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756567$4171B969-CC8B-4A00-AD9B-D6E636B36C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27fd9b34557127680e1e013d2b157f418c64ba9f","datavalue":{"value":"1187.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$FDD6EAEC-9B2C-4352-B524-F04ACC73020B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf4b1a6c1e789abe4a5a119e474a2c4a05ddd79","datavalue":{"value":"10.1007/11814948_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$0C6EBD32-2DE2-47BF-AF0C-85C8FF00FC00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bb50a41c77d7e8d02bdc9543d86f572411de9e","datavalue":{"value":{"entity-type":"item","numeric-id":1039846,"id":"Q1039846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$E5F9CC5F-D073-488F-8B0E-8F061C56F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2aa8fd9d95c405c3a22805eb4497c524afe8a64d","datavalue":{"value":{"entity-type":"item","numeric-id":3552048,"id":"Q3552048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$7E95068C-C73A-4EBF-9B69-FAC774BE1C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$C17A71CC-F8CB-43D2-B7C3-495E4C972DA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$85FE4B1A-8D9A-492E-855F-13879F074328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756567$BE42F265-702B-4A28-B332-4A6DF0ED5892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$D32A872D-9E63-46E4-A7E2-CADB2B0B625D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$90B2E6E7-9E6F-40E0-9BA6-483982A5F42E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d52d56fd4e5970a3d153b8620904ecc03a7885b","datavalue":{"value":"5187225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$38692F19-6C96-4570-98A8-CCB7BFB20C1F","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":"Q5756567$A5B5D39E-FC94-4481-BF27-003C938E2E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$B47B01E5-59EA-48F5-AC6E-D5856C7BEF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756567$2F190B70-3F71-4999-813C-69DCF1073973","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":"Q5756567$84C13DC0-991D-4C06-BA24-E8838287516D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5272d8a10f6d73053a01cd97a49f1569a387dfbb","datavalue":{"value":"https://doi.org/10.1007/11814948_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756567$119DB124-CE9F-47EC-85DC-28249D870E6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dbb74d70cc33d06060eabc496d641b0586f2fa4","datavalue":{"value":"W1839246176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756567$F70839FD-E4A4-4808-86C5-0889AB79739E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f79b1729636ce57d55e265f1655f3ed08999e3","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1708fe5d801d9acfc73f6075568e94ad165f39f0","datavalue":{"value":{"amount":"+0.8976381","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":"Q5756567$A1CD56FC-AB2F-4BF5-8DD9-E5D243B15075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f679d47fabb5d6ebee39b4858aea6d32be17e58a","datavalue":{"value":{"entity-type":"item","numeric-id":3336732,"id":"Q3336732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1708fe5d801d9acfc73f6075568e94ad165f39f0","datavalue":{"value":{"amount":"+0.8976381","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":"Q5756567$82EE4DCD-FFDD-479E-89A7-DA0A84012DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650fb4121216a624ee646be9799d3418d3867838","datavalue":{"value":{"entity-type":"item","numeric-id":4571125,"id":"Q4571125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e6ca56da077819ade69c40613bb5be29903600","datavalue":{"value":{"amount":"+0.8860912","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":"Q5756567$C2968823-841B-43D6-9EBA-54EF0D60953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb0810148c40a92c990df16da2d5e65d93968d96","datavalue":{"value":{"entity-type":"item","numeric-id":5268815,"id":"Q5268815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7be98b4d9db79c7a8bbd5867f6ed5204b17fdd4","datavalue":{"value":{"amount":"+0.8749181","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":"Q5756567$349E1A34-E611-414A-A444-7644B0B554F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8291a7e9aad0c2147a7666d09ebb91d528772d","datavalue":{"value":{"amount":"+0.874072","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":"Q5756567$30C3489B-3C8B-4B3B-AC5E-53A00CC460DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb0532f11836114d3cd8510f27f5289f32f072f","datavalue":{"value":{"amount":"+0.8727927","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":"Q5756567$58890A05-DE38-4BBC-8F15-58FC0CC002C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47f218630e3a65921925fa215162a48c4394e4f","datavalue":{"value":{"entity-type":"item","numeric-id":997066,"id":"Q997066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceb2205a32c7a79acb783f97770b55315a64178","datavalue":{"value":{"amount":"+0.8704767","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":"Q5756567$6D9BC98C-7CBA-4C5F-9E6A-98425C195E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed83f0ffb95ecde1797b4f9f2d7eb9f6c3f9526","datavalue":{"value":{"entity-type":"item","numeric-id":5253544,"id":"Q5253544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445a695ea90add902882062190436d3ec2374465","datavalue":{"value":{"amount":"+0.8698921","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":"Q5756567$CEAB09E7-2CC4-4FD1-A20D-1DD87D4D1EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08576fbce313a10bbe0679c2f6562288ffe9317","datavalue":{"value":{"entity-type":"item","numeric-id":2762493,"id":"Q2762493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a45aaaf455fb04b2664c5adcca4cb5ff9a3ac4","datavalue":{"value":{"amount":"+0.8698262","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":"Q5756567$AD15B53F-E5F3-4D7B-8957-21AB43E72842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa560bb2f14c8e40c30f2ae2b06ffe5efdd65862","datavalue":{"value":{"entity-type":"item","numeric-id":5705953,"id":"Q5705953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9653d60932df9a001d12a0cbd06d7e8e39ccdc","datavalue":{"value":{"amount":"+0.8690427","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":"Q5756567$3C04B657-2AE8-4BD2-81A3-F9F7C1DA238E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756567"}}}}}