{"entities":{"Q2376845":{"pageid":2387588,"ns":120,"title":"Item:Q2376845","lastrevid":43978821,"modified":"2025-11-18T17:15:01Z","type":"item","id":"Q2376845","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing -- SAT 2013. 16th international conference, Helsinki, Finland, July 8--12, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180354"}},"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":"Q2376845$5DC96ADC-369B-4FF8-B957-E128E80C9055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e71d28c1d5daba24b862e0614d5880d10ca9f6f2","datavalue":{"value":{"text":"Theory and applications of satisfiability testing -- SAT 2013. 16th international conference, Helsinki, Finland, July 8--12, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2376845$F358437B-6AC9-4DFF-804C-6079A260B758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20527e0a8d10c954608f92aa611b150ee6694f37","datavalue":{"value":"1268.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$E8ED9BC7-06C5-44FA-A4A0-EA4E256E70A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0c55a67c391e48f4e7ef8bd46449a65dd1fcf87","datavalue":{"value":"10.1007/978-3-642-39071-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$97553E52-1F83-41C1-9899-2AA6D8277AEF","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":"Q2376845$9C1899E2-6B73-4E6D-A60A-BB238B1FB630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2376845$D74F7020-17D6-4078-9B03-F2D1BA1D35E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$9518E858-E800-4AC2-8E6B-766A606EEC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$7D01BEB1-3E7E-44C6-B016-8F505057DCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$A0BD693A-A0EC-447A-BE73-42495D5F6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$B608C134-3EB0-423B-848F-E2CAB3368F14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ece352d1975e168f018b01ef4d219944be9ae92","datavalue":{"value":"6180354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$56C1B351-26B2-4BC9-B985-941B89E5C6EF","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":"Q2376845$C7E66DA2-A71F-43B0-9C94-95594A8CE384","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b2f53aeae2c1964176de0136889e11657d0e314","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2376845$EDD117B0-4969-463C-9270-A45FE6AFA278","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e177c82982533560d50c8c50bb10708b136d46e","datavalue":{"value":"W2496733561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376845$80D3BD94-637E-4A08-BCCF-30699E26A487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2376845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2376845"}}}}}