{"entities":{"Q5714765":{"pageid":7744319,"ns":120,"title":"Item:Q5714765","lastrevid":48614092,"modified":"2026-01-05T09:39:53Z","type":"item","id":"Q5714765","labels":{"en":{"language":"en","value":"Theory and Applications of Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2239214"}},"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":"Q5714765$BBA15544-B47E-47F3-8E62-EB40B32E67C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af242482719519b4548624feb679f823aedd048a","datavalue":{"value":{"text":"Theory and Applications of Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5714765$1DFEA1BE-A107-42C9-9814-C83B358C9D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9244c4b837da93f95e8aba61d264a16ffb13b635","datavalue":{"value":"1122.68609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714765$265F8C34-23F5-4AA9-911E-231F4C68861E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a48a3dfa0d354243a51541128362dee50e19df96","datavalue":{"value":"10.1007/11527695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714765$BFA4AD68-286B-4E5F-93E3-6863CF31B89E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c341599c3e863949eea97745bc45533d1828de0e","datavalue":{"value":{"entity-type":"item","numeric-id":814565,"id":"Q814565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$03EDBF29-9D88-42A7-B625-7F9B4BC24924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5030f3a1f4f4cc7743a44d19430b0381408bf85","datavalue":{"value":{"entity-type":"item","numeric-id":630953,"id":"Q630953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$D3DDEF05-28B8-44D9-9FD9-B5BA2E42A036","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":"Q5714765$9F3957E6-DCE8-43F2-826C-4788B40A84AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7af9b091289bbb4f18bee8f10ed01e53ec3c6aba","datavalue":{"value":{"time":"+2005-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5714765$E07A9670-5660-41BC-8C95-BE62EF0BBB4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714765$42EA5C53-62A6-4518-B639-B37B78F6F796","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"150ddc6ab12910b689c36fe809ac53c769f3f59e","datavalue":{"value":"2239214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714765$59205BF7-B906-4702-AA01-A3EDA61EDD93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f45483019c7f9e14c0a19d95a0b3886ffd24bf0","datavalue":{"value":{"entity-type":"item","numeric-id":13737,"id":"Q13737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$20F2C480-E30B-46AA-BE03-9F5BD754F39B","rank":"normal"},{"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":"Q5714765$60BC7853-AB35-4A29-8508-99C8DA28848B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$914F3809-8688-4002-9EA3-83B6939F4C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$B21221A0-6831-4C25-8329-109FB6301412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$98249413-B8C9-4A0A-AD38-9ED5402D6951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"593225e35565bc9b6cbd92dadddd5563d424d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":14294,"id":"Q14294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$7BEEB470-3323-4F38-A2B2-47FEBD7AADED","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":"Q5714765$6BB5C0BF-E68B-49BE-B76B-E88D1BCA6097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5714765$6E7ED392-916E-4A5D-92F9-E3BDCD7E2186","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":"Q5714765$D4F0977A-1E9B-468A-B801-B3BF33494B19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49eef03730c7232baa82cce9577df730a2ef6945","datavalue":{"value":"https://doi.org/10.1007/11527695","type":"string"},"datatype":"url"},"type":"statement","id":"Q5714765$51637C85-7918-42A4-8205-05BC2460BA6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e466963db77981029fd6e92f0cd97b0af5bac31b","datavalue":{"value":"W2483910514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5714765$D730D99D-FF6D-49BF-9891-406B48EB69AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2643e601498b0a07c3125e9fd426278846b0b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325882,"id":"Q5325882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c746f58ceec78422deb8aa7e0efff4b848cb508f","datavalue":{"value":{"amount":"+0.8749310970306396","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":"Q5714765$7D7DC9E5-92DB-473D-BC4F-3DA69ACE8945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbaae398e0aaa07309bf04e033ca61a6b97578e0","datavalue":{"value":{"entity-type":"item","numeric-id":3429157,"id":"Q3429157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250fb557d2c672cd11c3e7312b5a5d1af8506c08","datavalue":{"value":{"amount":"+0.8443207144737244","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":"Q5714765$92008C8A-2A17-47D6-B713-54D19DFF2D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011cb9d26934e99a913eb5dc48e906869727f7d2","datavalue":{"value":{"entity-type":"item","numeric-id":3429166,"id":"Q3429166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8e938296983f330ae9374cc0495c0a8fa0385c","datavalue":{"value":{"amount":"+0.8076866865158081","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":"Q5714765$C0DC9A9C-A9D7-4D26-A293-BFAD4612A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a33f977bf33eeab9e2b7dcbeaa58b3cd8de0609","datavalue":{"value":{"entity-type":"item","numeric-id":2060693,"id":"Q2060693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f3025f4550ba2b36cccca6a070d0c3f93fbc2e","datavalue":{"value":{"amount":"+0.8002973794937134","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":"Q5714765$EDEC69B6-5FD7-4B6A-B8DF-C44C480325FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8956bfbb84a2c8f9d9995162c1b85482734240ee","datavalue":{"value":{"entity-type":"item","numeric-id":334795,"id":"Q334795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40491c546b2b2a6642548c82ec0cc061b652aac3","datavalue":{"value":{"amount":"+0.7914960980415344","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":"Q5714765$0C81D7A6-A0CD-4EFF-A14E-DF8159A7D88F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5714765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5714765"}}}}}