{"entities":{"Q2399093":{"pageid":2409836,"ns":120,"title":"Item:Q2399093","lastrevid":44021850,"modified":"2025-11-19T02:22:45Z","type":"item","id":"Q2399093","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing -- SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 -- September 1, 2017. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6762975"}},"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":"Q2399093$E3CDBD54-4E0B-4BE6-B3A7-4B9BD4792775","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f79f3d1f9eec96399b1707c7856bc8b70e0ff9f3","datavalue":{"value":{"text":"Theory and applications of satisfiability testing -- SAT 2017. 20th international conference, Melbourne, VIC, Australia, August 28 -- September 1, 2017. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2399093$985B2C3F-F65A-49CA-97E2-CEA91213AA4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d790ee1f08c2e69a04c98ee4776b8f90bb4ab5b1","datavalue":{"value":"1368.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$222DF306-1684-474C-866E-0A122B294EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"176b34f6f80dc16a14bc2050389f278c2bf49ee0","datavalue":{"value":"10.1007/978-3-319-66263-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$38BE860E-E23E-4469-8A80-EFF69C9810B6","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":"Q2399093$ACBA5B57-8FFD-4621-B813-19C62AAA717E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2399093$7779EC75-3EC1-4A61-8C24-8CA89241F5C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$EB684DBD-6457-419C-AA91-8B0C7B2DE824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$B1A867DC-CEE8-43D8-8904-82AC9CF3E5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$2B918F0F-A8A1-4C20-A9F5-503A07C18B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$FB2215C0-20A9-4F2F-AFA3-75D02103AA17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bec3430b92822024afcb52104048aab81c6112b0","datavalue":{"value":"6762975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$98A4B6A5-AA95-490C-B771-F6DFE851503E","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":"Q2399093$84CDE1F7-DA49-4472-82CD-F7FAAE7D36F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6e9eeb850317f432506c790e7f1a0de523004a2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66263-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2399093$9B1B4432-4347-442C-AAAF-25FD7239E721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4c8b1aed9b5e99227fb4d4378c41f7d8023b756","datavalue":{"value":"W2744714759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2399093$C2D2F4A2-6FF6-432D-AF82-550CD9C6CADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2399093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2399093"}}}}}