{"entities":{"Q544456":{"pageid":546223,"ns":120,"title":"Item:Q544456","lastrevid":62663445,"modified":"2026-04-11T07:36:56Z","type":"item","id":"Q544456","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907907"}},"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":"Q544456$0ABD0234-12CE-41B7-8E7B-3ED656BCBF39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e4ca69d3a4a7cb2aea5d306ba989d6577d15162","datavalue":{"value":{"text":"Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q544456$AB2D22CF-D40F-4042-BA20-AD9AF4B67190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e9aeda8f5b7dd85eb7918bc01cb210c6d3b622","datavalue":{"value":"1215.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$BF45807F-4C79-46D4-B143-674E449FD90B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e9a4d5eac56d3d1d2a2735fba996fc24cea5e8","datavalue":{"value":"10.1007/978-3-642-21581-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$75447564-DEF6-4CE1-A2A7-4344DC0E6A64","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":"Q544456$25A99289-3BEC-4DD2-ABFA-788EFDD094B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b2b50ba7a4f5a1aad90db4fa17f9e7a261c738","datavalue":{"value":{"time":"+2011-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q544456$7529659E-3B59-42AC-9D52-4795ACB22BCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$5D99CB0E-4BB0-474A-8594-D29B158C3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$413A8F9D-CA06-42D7-A61C-52C253C3DAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$DCBAC9A7-2EEC-4890-8821-91F8F93C375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$56C54058-47FE-4D93-9684-E1F87063EC58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741427ea67939855414af7786b183f3ff6ed4f09","datavalue":{"value":"5907907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$AF3C1F6F-0E6B-443A-A19C-A39F6BBB142C","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":"Q544456$D12E04B8-4314-46A8-8A76-8C611C1BEF16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36534fff1920ef320cb9965a23c798d2d174aa7d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q544456$0C5A8136-4D24-488D-BFDF-E6E43BCB39D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb6d85f5aa550cead1ddbe667b47ba1defda9880","datavalue":{"value":"W2490197295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q544456$D70A38AF-9E48-450A-B9A3-D0C9D3CCA057","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9258f38f00895c603a13ba08582d153f69ead717","datavalue":{"value":{"entity-type":"item","numeric-id":428474,"id":"Q428474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95feb9ece43458c1b00d5835cc83468e423c57f2","datavalue":{"value":{"amount":"+0.92249346","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":"Q544456$6F6B33DB-8DFE-4B53-85C9-ADB0F9ECE9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d85f42a05284aef05387e5793f115bda959d03","datavalue":{"value":{"entity-type":"item","numeric-id":983525,"id":"Q983525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a049bdf53da9bd0c723471f10bfa2c2c8bc222e","datavalue":{"value":{"amount":"+0.9089549","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":"Q544456$D9955D86-0A66-4584-949D-1B24AB5F1126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b89a2c100f8aadd0ab8d30579aef1d53135040","datavalue":{"value":{"entity-type":"item","numeric-id":496123,"id":"Q496123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74167ff24ae467a36b4308b7ed23cb71a56d3de","datavalue":{"value":{"amount":"+0.9056382","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":"Q544456$17BE8D36-1A55-49E9-A1BF-E9A9E82BE1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b257624a4851ba31b9df613326a3396cd21c268","datavalue":{"value":{"entity-type":"item","numeric-id":2376845,"id":"Q2376845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0881830b78de92038bbff9609bbc58f828a8fb","datavalue":{"value":{"amount":"+0.90230364","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":"Q544456$9BCFD967-5ED4-4CD0-8CD4-7ED623644AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d9f75f71e50bd8dc2e113022a207e02612e722","datavalue":{"value":{"entity-type":"item","numeric-id":2427301,"id":"Q2427301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984fcc6bc938d3d3ba76d7ba16a3fd567cbba875","datavalue":{"value":{"amount":"+0.90017104","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":"Q544456$953C6924-9C80-44F7-92F2-895B3D4A2210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e608f90ed0106c8c4491410b977a56ce446199b5","datavalue":{"value":{"entity-type":"item","numeric-id":295835,"id":"Q295835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bed9967915ded47774d42f3a4f96334a75d2f0","datavalue":{"value":{"amount":"+0.8988435","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":"Q544456$FEB2D7D6-DC0D-436A-B952-A886FF688210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c06623395f2194e77cced37c0fd619a601bac7","datavalue":{"value":{"entity-type":"item","numeric-id":1027644,"id":"Q1027644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5d7438006bb29040710f39e802cb0fd56502ae","datavalue":{"value":{"amount":"+0.89719486","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":"Q544456$3F49CE08-2AD5-462C-8899-85CA61B15CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805c3ae07fe713e6091a6ff4def8291fff5748f0","datavalue":{"value":{"entity-type":"item","numeric-id":2370661,"id":"Q2370661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0969336f7a76f9ca0a9bac3d753cfaea1410129f","datavalue":{"value":{"amount":"+0.8937671","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":"Q544456$18087BEE-811B-43AF-923D-E44112A0D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e52a559b247cf927cf76062b2286422a2d933d","datavalue":{"value":{"entity-type":"item","numeric-id":2042066,"id":"Q2042066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b338194f1bab74db10935b79faeffa2eeee7c20","datavalue":{"value":{"amount":"+0.8936191","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":"Q544456$AE5C22A4-2A74-470B-978B-814ABF0A6F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70cb2490c4138ae1af196c61a63afebe969b3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2250556,"id":"Q2250556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a172cdca996d8e1c1fe6fd5f522310957c64f4","datavalue":{"value":{"amount":"+0.8905976","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":"Q544456$DCCBB991-451B-4F81-8E64-81911C00A6B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and applications of satisfiability testing -- SAT 2011. 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19--22, 2011. Proceedings","badges":[]}}}}}