{"entities":{"Q1027644":{"pageid":1029492,"ns":120,"title":"Item:Q1027644","lastrevid":69454974,"modified":"2026-04-13T07:06:48Z","type":"item","id":"Q1027644","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571527"}},"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":"Q1027644$D97780BD-6366-4341-A167-4C512CA0E0E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2551a512dc8179bdc8ec756848de7271d3377dc","datavalue":{"value":{"text":"Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1027644$10CE3BC0-3D78-4975-9267-840097291FAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"569b147c017a9965bd851386a8c41083437f9b8b","datavalue":{"value":"1165.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$E09FE330-EB9F-4C7F-AE04-7BC3380209F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d646d7999400078fcc381b5b03824b4e1c0d0cd","datavalue":{"value":"10.1007/978-3-642-02777-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$844639DE-3FBA-4888-BF93-5C2285877BC2","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":"Q1027644$4732CA5C-8387-41C6-8887-FBB95EFEDEFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1027644$0D33B193-29C7-45B1-95F6-B0E6CA1885F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$63438F9F-613F-44D1-844C-CC490C48A519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$46DD89FC-71D2-45DF-AC1F-595004163DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$F8DE1D1D-57D7-4ED9-A30B-3D89A6F9AD86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"041c4233737238baee7b2b805714e06337b2cadd","datavalue":{"value":"5571527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$E14B4AC0-55C3-40C0-990B-7834F1A2CE47","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":"Q1027644$460CDD18-3032-40F5-B62F-0202317EF4B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b512428ef5f04484fd8d5cf76a3b735016296007","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1027644$B3AD38C6-612B-4460-9142-8860CEA9467D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"962978263de0791feb9b7ea32ecb01262e066f2b","datavalue":{"value":"W1594550269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1027644$23D59F0D-0A5F-49FF-9E27-6866C7CDC587","rank":"normal"}],"P1643":[{"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":"b71b64d798a4c799e7768053408d818b00130604","datavalue":{"value":{"amount":"+0.91965735","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":"Q1027644$4AFD84A2-AA42-45F4-AEA1-DFC271B6EB0F","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":"4a46dc6ad299425374148c6ec3366580d812192a","datavalue":{"value":{"amount":"+0.91526675","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":"Q1027644$2F823CB4-3181-4DE1-9F45-1A34D72E1E56","rank":"normal"},{"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":"4ef8a447009d321149de531c87198e1af73a2103","datavalue":{"value":{"amount":"+0.9086229","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":"Q1027644$3C592628-99B7-4AB0-B0A4-1D917D67D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9791095a4ddb714a9ca15db1e78248fe9ecc9cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2282176,"id":"Q2282176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7cc32d9785453112738ab617413f066f5b653f","datavalue":{"value":{"amount":"+0.90603536","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":"Q1027644$F3042BFA-07FF-4D3A-95DA-8F0C97C7FFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b0d40d1387b802c9e705c80bf4fdab39a593ab","datavalue":{"value":{"entity-type":"item","numeric-id":2574654,"id":"Q2574654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1535a42f63ef429f37c64aa900b70f45c88a3dc2","datavalue":{"value":{"amount":"+0.9038672","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":"Q1027644$FDA2CA59-67B2-4767-9EF9-5CD762C4FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27c63276c284d48fd788a6896ac7354ea9d4612","datavalue":{"value":{"entity-type":"item","numeric-id":544456,"id":"Q544456"},"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":"Q1027644$0CE6E8E1-9558-4050-B7A0-979A2BCE4005","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":"e34e53720ae95495037fef37d579a92613057d37","datavalue":{"value":{"amount":"+0.89312184","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":"Q1027644$099D29DE-A6D8-48D5-8FA5-7D402BEF7CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd03d63f7d80fa5ef86356651493990f4fcbf61","datavalue":{"value":{"entity-type":"item","numeric-id":1422036,"id":"Q1422036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7968badc5fecb9f2f6e5cc511af8d209808603ac","datavalue":{"value":{"amount":"+0.8923531","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":"Q1027644$BBF49FA8-7386-4A99-83C3-22F7C84D52B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cce4d50d01f6c52e4ad284561f300e979c158c","datavalue":{"value":{"entity-type":"item","numeric-id":2212794,"id":"Q2212794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61296191271980aeee7e2e9479ca93a0ba520a4","datavalue":{"value":{"amount":"+0.8904809","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":"Q1027644$0B86CB80-857B-42A2-96BD-9BBEF558B092","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":"1338c48dc90aa14bfe91008e19bb79507e414cb6","datavalue":{"value":{"amount":"+0.8858699","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":"Q1027644$0F427374-1A79-458C-B577-2610C81C53DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and applications of satisfiability testing -- SAT 2009. 12th international conference, SAT 2009, Swansea, UK, June 30--July 3, 2009. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_applications_of_satisfiability_testing_--_SAT_2009._12th_international_conference,_SAT_2009,_Swansea,_UK,_June_30--July_3,_2009._Proceedings"}}}}}